{"id":"https://openalex.org/W2102506621","doi":"https://doi.org/10.1017/s1471068414000076","title":"Inference and learning in probabilistic logic programs using weighted Boolean formulas","display_name":"Inference and learning in probabilistic logic programs using weighted Boolean formulas","publication_year":2014,"publication_date":"2014-04-15","ids":{"openalex":"https://openalex.org/W2102506621","doi":"https://doi.org/10.1017/s1471068414000076","mag":"2102506621"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068414000076","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068414000076","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9455B07774BA31AA4F6AB81FB0A6B013/S1471068414000076a.pdf/div-class-title-inference-and-learning-in-probabilistic-logic-programs-using-weighted-boolean-formulas-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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9455B07774BA31AA4F6AB81FB0A6B013/S1471068414000076a.pdf/div-class-title-inference-and-learning-in-probabilistic-logic-programs-using-weighted-boolean-formulas-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"DAAN FIERENS","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"DAAN FIERENS","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":null,"display_name":"GUY VAN DEN BROECK","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"GUY VAN DEN BROECK","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":null,"display_name":"JORIS RENKENS","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"JORIS RENKENS","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":null,"display_name":"DIMITAR SHTERIONOV","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"DIMITAR SHTERIONOV","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":null,"display_name":"BERND GUTMANN","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"BERND GUTMANN","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":null,"display_name":"INGO THON","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"INGO THON","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":null,"display_name":"GERDA JANSSENS","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"GERDA JANSSENS","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":null,"display_name":"LUC DE RAEDT","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"LUC DE RAEDT","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Celestijnenlaan 200A, 3001 Heverlee","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":13.5667,"has_fulltext":true,"cited_by_count":160,"citation_normalized_percentile":{"value":0.9883492,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"15","issue":"3","first_page":"358","last_page":"401"},"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.8646000027656555,"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.8646000027656555,"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.10899999737739563,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.004699999932199717,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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-network","display_name":"Probabilistic logic network","score":0.8084999918937683},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7601000070571899},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6984999775886536},{"id":"https://openalex.org/keywords/graphical-model","display_name":"Graphical model","score":0.6553999781608582},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.6252999901771545},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.5911999940872192},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.4163999855518341},{"id":"https://openalex.org/keywords/approximate-inference","display_name":"Approximate inference","score":0.3995000123977661}],"concepts":[{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.8084999918937683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7692999839782715},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7601000070571899},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6984999775886536},{"id":"https://openalex.org/C155846161","wikidata":"https://www.wikidata.org/wiki/Q1143367","display_name":"Graphical model","level":2,"score":0.6553999781608582},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.6252999901771545},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.5911999940872192},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5102999806404114},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5016000270843506},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.439300000667572},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4163999855518341},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4043000042438507},{"id":"https://openalex.org/C2777472644","wikidata":"https://www.wikidata.org/wiki/Q16968992","display_name":"Approximate inference","level":3,"score":0.3995000123977661},{"id":"https://openalex.org/C169272836","wikidata":"https://www.wikidata.org/wiki/Q5668307","display_name":"Variable elimination","level":3,"score":0.3855000138282776},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.33899998664855957},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.32330000400543213},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.3089999854564667},{"id":"https://openalex.org/C113839178","wikidata":"https://www.wikidata.org/wiki/Q7631418","display_name":"Subjective logic","level":3,"score":0.29899999499320984},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.28610000014305115},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.26649999618530273},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.2590999901294708}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068414000076","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068414000076","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9455B07774BA31AA4F6AB81FB0A6B013/S1471068414000076a.pdf/div-class-title-inference-and-learning-in-probabilistic-logic-programs-using-weighted-boolean-formulas-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"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/392821","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/392821","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, vol. 15 (03), (358-401)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1304.6810","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1304.6810","pdf_url":"https://arxiv.org/pdf/1304.6810","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1017/s1471068414000076","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068414000076","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9455B07774BA31AA4F6AB81FB0A6B013/S1471068414000076a.pdf/div-class-title-inference-and-learning-in-probabilistic-logic-programs-using-weighted-boolean-formulas-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/G129467647","display_name":null,"funder_award_id":"10/010","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G1638137056","display_name":null,"funder_award_id":"FWO-Vl","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6546726253","display_name":"Flexible Skill Acquisition and Intuitive Robot Tasking for Mobile Manipulation in the Real World","funder_award_id":"248258","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6867476589","display_name":null,"funder_award_id":"FWO-Vlaanderen","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2102506621.pdf","grobid_xml":"https://content.openalex.org/works/W2102506621.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1215345351","https://openalex.org/W1518043585","https://openalex.org/W1535430927","https://openalex.org/W1563950057","https://openalex.org/W1585529040","https://openalex.org/W1851620109","https://openalex.org/W1968513265","https://openalex.org/W2010438070","https://openalex.org/W2029448190","https://openalex.org/W2052451171","https://openalex.org/W2076652224","https://openalex.org/W2080267935","https://openalex.org/W2100145144","https://openalex.org/W2105197197","https://openalex.org/W2163949730","https://openalex.org/W2963676309","https://openalex.org/W3105758438","https://openalex.org/W4206370914","https://openalex.org/W4255373292","https://openalex.org/W4293249558","https://openalex.org/W6601796920","https://openalex.org/W6634501213","https://openalex.org/W6670293775"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Probabilistic":[1],"logic":[2,5,37,61,181,196],"programs":[3,6,62],"are":[4,13],"in":[7,139,179],"which":[8,114],"some":[9],"of":[10,67,73,86,154,176,193],"the":[11,28,45,84,87,90,123,140,155,169,174,177,191],"facts":[12],"annotated":[14],"with":[15],"probabilities.":[16],"This":[17,99],"paper":[18,69],"investigates":[19],"how":[20],"classical":[21],"inference":[22,78,104,157,170],"and":[23,49,89,92,126,149,183],"learning":[24,50,141],"tasks":[25,105],"known":[26,121],"from":[27,51,122,142,198],"graphical":[29,124],"model":[30,112,125],"community":[31],"can":[32,115],"be":[33,116],"tackled":[34],"for":[35,59,76,136],"probabilistic":[36,60,180,195],"programs.":[38],"Several":[39],"such":[40,42,109],"tasks,":[41,108],"as":[43,110],"computing":[44],"marginals,":[46],"given":[47],"evidence":[48,93],"(partial)":[52],"interpretations,":[53],"have":[54],"not":[55],"really":[56],"been":[57],"addressed":[58],"before.":[63],"The":[64,130,145,159,165],"first":[65],"contribution":[66,132],"this":[68],"is":[70,81,133,150,162,186],"a":[71,95,194],"suite":[72],"efficient":[74],"algorithms":[75,171],"various":[77],"tasks.":[79],"It":[80],"based":[82],"on":[83,152],"conversion":[85],"program":[88,197],"queries":[91],"to":[94,102,106,189],"weighted":[96,111],"Boolean":[97],"formula.":[98],"allows":[100],"us":[101],"reduce":[103],"well-studied":[107],"counting,":[113],"solved":[117],"using":[118],"state-of-the-art":[119],"methods":[120],"knowledge":[127],"compilation":[128],"literature.":[129],"second":[131],"an":[134],"algorithm":[135,146],"parameter":[137],"estimation":[138],"interpretations":[143],"setting.":[144],"employs":[147],"expectation-maximization,":[148],"built":[151],"top":[153],"developed":[156],"algorithms.":[158],"proposed":[160],"approach":[161],"experimentally":[163],"evaluated.":[164],"results":[166],"show":[167],"that":[168,184],"improve":[172],"upon":[173],"state":[175],"art":[178],"programming,":[182],"it":[185],"indeed":[187],"possible":[188],"learn":[190],"parameters":[192],"interpretations.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":18},{"year":2024,"cited_by_count":21},{"year":2023,"cited_by_count":21},{"year":2022,"cited_by_count":17},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":17},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":2}],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2016-06-24T00:00:00"}