{"id":"https://openalex.org/W4385763852","doi":"https://doi.org/10.24963/ijcai.2023/632","title":"Approximate Inference in Logical Credal Networks","display_name":"Approximate Inference in Logical Credal Networks","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385763852","doi":"https://doi.org/10.24963/ijcai.2023/632"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2023/632","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/632","pdf_url":"https://www.ijcai.org/proceedings/2023/0632.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2023/0632.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101514813","display_name":"Radu Marinescu","orcid":"https://orcid.org/0000-0002-7551-0414"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Radu Marinescu","raw_affiliation_strings":["IBM Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066647898","display_name":"Haifeng Qian","orcid":"https://orcid.org/0000-0002-7189-6903"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haifeng Qian","raw_affiliation_strings":["AWS AI Labs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AWS AI Labs","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005255629","display_name":"Alexander Gray","orcid":"https://orcid.org/0000-0003-0337-7359"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexander Gray","raw_affiliation_strings":["IBM Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057827968","display_name":"Debarun Bhattacharjya","orcid":"https://orcid.org/0000-0002-9125-1336"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Debarun Bhattacharjya","raw_affiliation_strings":["IBM Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076877502","display_name":"Francisco Barahona","orcid":"https://orcid.org/0000-0002-4829-7515"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Francisco Barahona","raw_affiliation_strings":["IBM Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101590044","display_name":"Tian Gao","orcid":"https://orcid.org/0000-0002-8009-0602"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tian Gao","raw_affiliation_strings":["IBM Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004106714","display_name":"Ryan Riegel","orcid":"https://orcid.org/0000-0002-5204-6524"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ryan Riegel","raw_affiliation_strings":["IBM Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5101514813"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5694","last_page":"5701"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998999834060669,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9811000227928162,"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/T11106","display_name":"Data Management and Algorithms","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/inference","display_name":"Inference","score":0.7752304673194885},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6372027397155762},{"id":"https://openalex.org/keywords/belief-propagation","display_name":"Belief propagation","score":0.6328511238098145},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6031813025474548},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5556176900863647},{"id":"https://openalex.org/keywords/approximate-inference","display_name":"Approximate inference","score":0.5215353965759277},{"id":"https://openalex.org/keywords/graphical-model","display_name":"Graphical model","score":0.5096640586853027},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49000802636146545},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4535554051399231},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4508504569530487},{"id":"https://openalex.org/keywords/conditional-probability","display_name":"Conditional probability","score":0.43783876299858093},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4237777590751648},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36684688925743103},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3210890293121338}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7752304673194885},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6372027397155762},{"id":"https://openalex.org/C152948882","wikidata":"https://www.wikidata.org/wiki/Q4060686","display_name":"Belief propagation","level":3,"score":0.6328511238098145},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6031813025474548},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5556176900863647},{"id":"https://openalex.org/C2777472644","wikidata":"https://www.wikidata.org/wiki/Q16968992","display_name":"Approximate inference","level":3,"score":0.5215353965759277},{"id":"https://openalex.org/C155846161","wikidata":"https://www.wikidata.org/wiki/Q1143367","display_name":"Graphical model","level":2,"score":0.5096640586853027},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49000802636146545},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4535554051399231},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4508504569530487},{"id":"https://openalex.org/C44492722","wikidata":"https://www.wikidata.org/wiki/Q327069","display_name":"Conditional probability","level":2,"score":0.43783876299858093},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4237777590751648},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36684688925743103},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3210890293121338},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2023/632","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/632","pdf_url":"https://www.ijcai.org/proceedings/2023/0632.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2023/632","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/632","pdf_url":"https://www.ijcai.org/proceedings/2023/0632.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4385763852.pdf"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W137550785","https://openalex.org/W1511986666","https://openalex.org/W1516482594","https://openalex.org/W1582613186","https://openalex.org/W1585529040","https://openalex.org/W1594404814","https://openalex.org/W1664678313","https://openalex.org/W1860880244","https://openalex.org/W1918137460","https://openalex.org/W1998372142","https://openalex.org/W2012105789","https://openalex.org/W2058547430","https://openalex.org/W2072545857","https://openalex.org/W2123871098","https://openalex.org/W2162273094","https://openalex.org/W2169250070","https://openalex.org/W2173851113","https://openalex.org/W2586210924","https://openalex.org/W2906443679","https://openalex.org/W3034909281","https://openalex.org/W3036143115","https://openalex.org/W3202123725","https://openalex.org/W4231570205","https://openalex.org/W4250143236","https://openalex.org/W6630853966","https://openalex.org/W6635646120","https://openalex.org/W6637200073","https://openalex.org/W6758955009","https://openalex.org/W6803771590"],"related_works":["https://openalex.org/W4388627352","https://openalex.org/W4297812452","https://openalex.org/W959529772","https://openalex.org/W2962950510","https://openalex.org/W2153267847","https://openalex.org/W4286382505","https://openalex.org/W2562956507","https://openalex.org/W3180766726","https://openalex.org/W1520194733","https://openalex.org/W2501500329"],"abstract_inverted_index":{"The":[0],"Logical":[1],"Credal":[2],"Network":[3],"or":[4],"LCN":[5,24],"is":[6,78],"a":[7,26,35,61,91],"recent":[8],"probabilistic":[9],"logic":[10],"designed":[11],"for":[12,40,96,106],"effective":[13],"aggregation":[14],"and":[15,43,139],"reasoning":[16],"over":[17,31,66],"multiple":[18],"sources":[19],"of":[20,28,34,37,60,71,125],"imprecise":[21],"knowledge.":[22],"An":[23],"specifies":[25],"set":[27,36],"probability":[29,45],"distributions":[30],"all":[32],"interpretations":[33],"logical":[38],"formulas":[39],"which":[41],"marginal":[42],"conditional":[44],"bounds":[46],"on":[47,122],"their":[48],"truth":[49],"values":[50],"are":[51],"known.":[52],"Inference":[53],"in":[54,99],"LCNs":[55,126],"involves":[56],"the":[57],"exact":[58,137],"solution":[59],"non-convex":[62],"non-linear":[63,119],"program":[64],"defined":[65],"an":[67],"exponentially":[68],"large":[69],"number":[70],"non-negative":[72],"real":[73],"valued":[74],"variables":[75],"and,":[76],"therefore,":[77],"limited":[79],"to":[80,141],"relatively":[81],"small":[82],"problems.":[83],"In":[84],"this":[85],"paper,":[86],"we":[87],"present":[88],"ARIEL":[89,130],"--":[90],"novel":[92],"iterative":[93],"message-passing":[94],"scheme":[95],"approximate":[97],"inference":[98,138],"LCNs.":[100],"Inspired":[101],"by":[102],"classical":[103],"belief":[104],"propagation":[105],"graphical":[107],"models,":[108],"our":[109],"method":[110],"propagates":[111],"messages":[112],"that":[113,129],"involve":[114],"solving":[115],"considerably":[116],"smaller":[117],"local":[118],"programs.":[120],"Experiments":[121],"several":[123],"classes":[124],"demonstrate":[127],"clearly":[128],"yields":[131],"high":[132],"quality":[133],"solutions":[134],"compared":[135],"with":[136],"scales":[140],"much":[142],"larger":[143],"problems":[144],"than":[145],"previously":[146],"considered.":[147]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}