{"id":"https://openalex.org/W3200255461","doi":"https://doi.org/10.1016/j.jlamp.2021.100719","title":"A probabilistic approximate logic for neuro-symbolic learning and reasoning","display_name":"A probabilistic approximate logic for neuro-symbolic learning and reasoning","publication_year":2021,"publication_date":"2021-09-14","ids":{"openalex":"https://openalex.org/W3200255461","doi":"https://doi.org/10.1016/j.jlamp.2021.100719","mag":"3200255461"},"language":"en","primary_location":{"id":"doi:10.1016/j.jlamp.2021.100719","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jlamp.2021.100719","pdf_url":null,"source":{"id":"https://openalex.org/S4210169521","display_name":"Journal of Logical and Algebraic Methods in Programming","issn_l":"2352-2208","issn":["2352-2208","2352-2216"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logical and Algebraic Methods in Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075704365","display_name":"Mark-Oliver Stehr","orcid":"https://orcid.org/0000-0001-7200-5001"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mark-Oliver Stehr","raw_affiliation_strings":["SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, United States of America"],"affiliations":[{"raw_affiliation_string":"SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, United States of America","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100670947","display_name":"Minyoung Kim","orcid":"https://orcid.org/0000-0003-4273-7118"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Minyoung Kim","raw_affiliation_strings":["SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, United States of America"],"affiliations":[{"raw_affiliation_string":"SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, United States of America","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090498111","display_name":"Carolyn Talcott","orcid":"https://orcid.org/0000-0003-2845-7144"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn L. Talcott","raw_affiliation_strings":["SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, United States of America"],"affiliations":[{"raw_affiliation_string":"SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, United States of America","institution_ids":["https://openalex.org/I1298353152"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5075704365"],"corresponding_institution_ids":["https://openalex.org/I1298353152"],"apc_list":{"value":2810,"currency":"USD","value_usd":2810},"apc_paid":null,"fwci":0.136,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.551262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"124","issue":null,"first_page":"100719","last_page":"100719"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9786999821662903,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9679999947547913,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.701131284236908},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5966803431510925},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5532808899879456},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.5522400140762329},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.4389202296733856},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.4280795454978943},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.4071328938007355},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.20156079530715942},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15296033024787903},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.13815957307815552},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.13552182912826538},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.13243824243545532}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.701131284236908},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5966803431510925},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5532808899879456},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.5522400140762329},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.4389202296733856},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4280795454978943},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.4071328938007355},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.20156079530715942},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15296033024787903},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.13815957307815552},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.13552182912826538},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.13243824243545532}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.jlamp.2021.100719","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jlamp.2021.100719","pdf_url":null,"source":{"id":"https://openalex.org/S4210169521","display_name":"Journal of Logical and Algebraic Methods in Programming","issn_l":"2352-2208","issn":["2352-2208","2352-2216"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logical and Algebraic Methods in Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2007260840","display_name":null,"funder_award_id":"W911NF-14-2-0020","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":118,"referenced_works":["https://openalex.org/W34871118","https://openalex.org/W76358617","https://openalex.org/W230007979","https://openalex.org/W1504007491","https://openalex.org/W1506806321","https://openalex.org/W1508044906","https://openalex.org/W1524172054","https://openalex.org/W1540808775","https://openalex.org/W1554205565","https://openalex.org/W1583837637","https://openalex.org/W1594223874","https://openalex.org/W1668251188","https://openalex.org/W1778696417","https://openalex.org/W1803169573","https://openalex.org/W1824971879","https://openalex.org/W1899249567","https://openalex.org/W1959608418","https://openalex.org/W1959840315","https://openalex.org/W1973398549","https://openalex.org/W1976195354","https://openalex.org/W1977970897","https://openalex.org/W1986767090","https://openalex.org/W2006654540","https://openalex.org/W2023922858","https://openalex.org/W2024065710","https://openalex.org/W2033663641","https://openalex.org/W2039204373","https://openalex.org/W2050409658","https://openalex.org/W2058604155","https://openalex.org/W2099471712","https://openalex.org/W2127426251","https://openalex.org/W2136026194","https://openalex.org/W2138857742","https://openalex.org/W2145094598","https://openalex.org/W2146989110","https://openalex.org/W2150222193","https://openalex.org/W2154770372","https://openalex.org/W2167433878","https://openalex.org/W2238987678","https://openalex.org/W2295739661","https://openalex.org/W2296268288","https://openalex.org/W2399803916","https://openalex.org/W2427182019","https://openalex.org/W2472390137","https://openalex.org/W2523246573","https://openalex.org/W2559655401","https://openalex.org/W2612690371","https://openalex.org/W2617837836","https://openalex.org/W2617995259","https://openalex.org/W2621167405","https://openalex.org/W2767656849","https://openalex.org/W2888251377","https://openalex.org/W2912918068","https://openalex.org/W2914552032","https://openalex.org/W2914584698","https://openalex.org/W2915480215","https://openalex.org/W2919115771","https://openalex.org/W2947849253","https://openalex.org/W2951610569","https://openalex.org/W2952300142","https://openalex.org/W2953384591","https://openalex.org/W2954996726","https://openalex.org/W2962915600","https://openalex.org/W2962933129","https://openalex.org/W2963446085","https://openalex.org/W2963572185","https://openalex.org/W2964074409","https://openalex.org/W2964121744","https://openalex.org/W2964327384","https://openalex.org/W2966850631","https://openalex.org/W2973508567","https://openalex.org/W2990138404","https://openalex.org/W2991095556","https://openalex.org/W2996141621","https://openalex.org/W2997574889","https://openalex.org/W3012181199","https://openalex.org/W3089611792","https://openalex.org/W3090317370","https://openalex.org/W3117713512","https://openalex.org/W3128447168","https://openalex.org/W3137695714","https://openalex.org/W3154934604","https://openalex.org/W4231078147","https://openalex.org/W4285719527","https://openalex.org/W4299977738","https://openalex.org/W4300193108","https://openalex.org/W6601423307","https://openalex.org/W6603149611","https://openalex.org/W6631656437","https://openalex.org/W6638588478","https://openalex.org/W6639437036","https://openalex.org/W6639736602","https://openalex.org/W6640963894","https://openalex.org/W6643783168","https://openalex.org/W6648383299","https://openalex.org/W6660602884","https://openalex.org/W6678846912","https://openalex.org/W6680137543","https://openalex.org/W6680300913","https://openalex.org/W6681096077","https://openalex.org/W6681804681","https://openalex.org/W6682777927","https://openalex.org/W6684809622","https://openalex.org/W6685380521","https://openalex.org/W6690138163","https://openalex.org/W6697546013","https://openalex.org/W6713134421","https://openalex.org/W6713348437","https://openalex.org/W6736021936","https://openalex.org/W6736221594","https://openalex.org/W6747381837","https://openalex.org/W6751691560","https://openalex.org/W6754176449","https://openalex.org/W6754584241","https://openalex.org/W6763485134","https://openalex.org/W6768099952","https://openalex.org/W6773565847","https://openalex.org/W7024047875"],"related_works":["https://openalex.org/W2371210594","https://openalex.org/W4362598739","https://openalex.org/W2000405953","https://openalex.org/W2225666389","https://openalex.org/W1037614398","https://openalex.org/W311149281","https://openalex.org/W4378221898","https://openalex.org/W2228846761","https://openalex.org/W1855805902","https://openalex.org/W2114185696"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}