{"id":"https://openalex.org/W2396614187","doi":"https://doi.org/10.1017/s1471068418000273","title":"Constraint-Based Inference in Probabilistic Logic Programs","display_name":"Constraint-Based Inference in Probabilistic Logic Programs","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2396614187","doi":"https://doi.org/10.1017/s1471068418000273","mag":"2396614187"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068418000273","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068418000273","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/AB5ED7E94AE807A38F18AA7F71BFD7F9/S1471068418000273a.pdf/div-class-title-constraint-based-inference-in-probabilistic-logic-programs-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/AB5ED7E94AE807A38F18AA7F71BFD7F9/S1471068418000273a.pdf/div-class-title-constraint-based-inference-in-probabilistic-logic-programs-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071372773","display_name":"Arun Nampally","orcid":"https://orcid.org/0000-0002-3533-0857"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"ARUN NAMPALLY","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, Stony Brook, NY 11794 (e-mail:","Stony Brook University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, Stony Brook, NY 11794 (e-mail:","institution_ids":["https://openalex.org/I59553526"]},{"raw_affiliation_string":"Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076367115","display_name":"Timothy Zhang","orcid":"https://orcid.org/0000-0002-4002-7705"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TIMOTHY ZHANG","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, Stony Brook, NY 11794 (e-mail:","Stony Brook University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, Stony Brook, NY 11794 (e-mail:","institution_ids":["https://openalex.org/I59553526"]},{"raw_affiliation_string":"Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112629679","display_name":"C. R. Ramakrishnan","orcid":null},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. R. RAMAKRISHNAN","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, Stony Brook, NY 11794 (e-mail:","Stony Brook University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, Stony Brook, NY 11794 (e-mail:","institution_ids":["https://openalex.org/I59553526"]},{"raw_affiliation_string":"Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071372773"],"corresponding_institution_ids":["https://openalex.org/I59553526"],"apc_list":null,"apc_paid":null,"fwci":0.8462,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.79480175,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"18","issue":"3-4","first_page":"638","last_page":"655"},"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.9936000108718872,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9853000044822693,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8005315065383911},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6962540745735168},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5795221924781799},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48142144083976746},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.46410974860191345},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.45625078678131104},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.4451585114002228},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26506128907203674},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15190982818603516},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.142081618309021}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8005315065383911},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6962540745735168},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5795221924781799},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48142144083976746},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.46410974860191345},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.45625078678131104},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.4451585114002228},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26506128907203674},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15190982818603516},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.142081618309021},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068418000273","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068418000273","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/AB5ED7E94AE807A38F18AA7F71BFD7F9/S1471068418000273a.pdf/div-class-title-constraint-based-inference-in-probabilistic-logic-programs-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1471068418000273","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068418000273","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/AB5ED7E94AE807A38F18AA7F71BFD7F9/S1471068418000273a.pdf/div-class-title-constraint-based-inference-in-probabilistic-logic-programs-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6457171358","display_name":null,"funder_award_id":"IIS-1447549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6758401964","display_name":"BIGDATA: F: DKM: DKA: Big Data Modeling and Analysis with Depth and Scale","funder_award_id":"1447549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2396614187.pdf","grobid_xml":"https://content.openalex.org/works/W2396614187.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W44619616","https://openalex.org/W55914417","https://openalex.org/W73939759","https://openalex.org/W87020493","https://openalex.org/W1508891385","https://openalex.org/W1522225310","https://openalex.org/W1561981064","https://openalex.org/W1582613186","https://openalex.org/W1586826229","https://openalex.org/W1630331242","https://openalex.org/W1823181550","https://openalex.org/W1824971879","https://openalex.org/W1983128223","https://openalex.org/W2020999234","https://openalex.org/W2030224590","https://openalex.org/W2046297014","https://openalex.org/W2101335378","https://openalex.org/W2107272354","https://openalex.org/W2133873188","https://openalex.org/W2134771075","https://openalex.org/W2138309709","https://openalex.org/W2164781796","https://openalex.org/W2171899835","https://openalex.org/W2177977456","https://openalex.org/W2341971562","https://openalex.org/W2394785251","https://openalex.org/W2396614187","https://openalex.org/W2405478440","https://openalex.org/W2513185943","https://openalex.org/W2542487480","https://openalex.org/W2762210817","https://openalex.org/W3103795356","https://openalex.org/W3104977611","https://openalex.org/W3105206394","https://openalex.org/W3151642782","https://openalex.org/W6601796920","https://openalex.org/W6711987086","https://openalex.org/W6745011789","https://openalex.org/W7001733342"],"related_works":["https://openalex.org/W3162204513","https://openalex.org/W2371138613","https://openalex.org/W2048963458","https://openalex.org/W43109613","https://openalex.org/W2359952343","https://openalex.org/W1497573972","https://openalex.org/W2071659383","https://openalex.org/W1846253165","https://openalex.org/W2124122503","https://openalex.org/W2898214470"],"abstract_inverted_index":{"Abstract":[0],"Probabilistic":[1],"Logic":[2],"Programs":[3],"(PLPs)":[4],"generalize":[5],"traditional":[6,153],"logic":[7],"programs":[8],"and":[9,18,39,127,133,155,178,189],"allow":[10],"the":[11,27,32,46,67,107,145,160,166,193,196],"encoding":[12],"of":[13,84,112,152,172,195],"models":[14],"combining":[15],"logical":[16],"structure":[17,43,91,98],"uncertainty.":[19],"In":[20],"PLP,":[21],"inference":[22,74,135,147,184],"is":[23,92,149,169],"performed":[24],"by":[25,110],"summarizing":[26],"possible":[28,68,108],"worlds":[29,109],"which":[30,105],"entail":[31],"query":[33,125],"in":[34,157,162,175],"a":[35,82,87,96,117,150,170],"suitable":[36],"data":[37,42,57,90,97],"structure,":[38],"using":[40],"this":[41,71],"to":[44,65,77,121,130,181],"compute":[45],"answer":[47],"probability.":[48],"Systems":[49],"such":[50],"as":[51],"ProbLog,":[52],"PITA,":[53],"etc.,":[54,64],"use":[55],"propositional":[56],"structures":[58],"like":[59],"explanation":[60],"graphs,":[61],"BDDs,":[62],"SDDs,":[63],"represent":[66],"worlds.":[69],"While":[70],"approach":[72,139],"saves":[73],"time":[75],"due":[76],"substructure":[78],"sharing,":[79],"there":[80],"are":[81],"number":[83],"problems":[85],"where":[86],"more":[88],"compact":[89],"possible.":[93],"We":[94,115,191],"propose":[95],"called":[99],"Ordered":[100],"Symbolic":[101],"Derivation":[102],"Diagram":[103],"(OSDD)":[104],"captures":[106],"means":[111],"constraint":[113],"formulas.":[114],"describe":[116],"program":[118],"transformation":[119],"technique":[120,168],"construct":[122],"OSDDs":[123],"via":[124],"evaluation,":[126],"give":[128],"procedures":[129],"perform":[131,182],"exact":[132,146],"approximate":[134,167],"over":[136,159],"OSDDs.":[137],"Our":[138],"has":[140],"two":[141],"key":[142],"properties.":[143],"Firstly,":[144],"procedure":[148],"generalization":[151,171],"inference,":[154],"results":[156],"speedup":[158],"latter":[161],"certain":[163],"settings.":[164],"Secondly,":[165],"likelihood":[173],"weighting":[174],"Bayesian":[176],"Networks,":[177],"allows":[179],"us":[180],"sampling-based":[183],"with":[185],"lower":[186],"rejection":[187],"rate":[188],"variance.":[190],"evaluate":[192],"effectiveness":[194],"proposed":[197],"techniques":[198],"through":[199],"experiments":[200],"on":[201],"several":[202],"problems.":[203]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}