{"id":"https://openalex.org/W7138248581","doi":"https://doi.org/10.1609/aaai.v40i27.39396","title":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","display_name":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138248581","doi":"https://doi.org/10.1609/aaai.v40i27.39396"},"language":null,"primary_location":{"id":"doi:10.1609/aaai.v40i27.39396","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i27.39396","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/39396/43357","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/39396/43357","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100776909","display_name":"Ying Jiao","orcid":"https://orcid.org/0009-0009-2279-7691"},"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":"Ying Jiao","raw_affiliation_strings":["KU Leuven, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093561946","display_name":"Rodrigo Castellano Ontiveros","orcid":"https://orcid.org/0000-0003-2324-633X"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rodrigo Castellano Ontiveros","raw_affiliation_strings":["University of Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129661143","display_name":"Luc De Raedt","orcid":null},"institutions":[{"id":"https://openalex.org/I26437253","display_name":"\u00d6rebro University","ror":"https://ror.org/05kytsw45","country_code":"SE","type":"education","lineage":["https://openalex.org/I26437253"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Luc De Raedt","raw_affiliation_strings":["KU Leuven, Belgium\n\u00d6rebro University, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium\n\u00d6rebro University, Sweden","institution_ids":["https://openalex.org/I26437253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129734899","display_name":"Marco Gori","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Gori","raw_affiliation_strings":["University of Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129646121","display_name":"Francesco Giannini","orcid":null},"institutions":[{"id":"https://openalex.org/I157210198","display_name":"Scuola Normale Superiore","ror":"https://ror.org/03aydme10","country_code":"IT","type":"education","lineage":["https://openalex.org/I157210198"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Giannini","raw_affiliation_strings":["Scuola Normale Superiore, Italy\nUniversity of Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Scuola Normale Superiore, Italy\nUniversity of Pisa, Italy","institution_ids":["https://openalex.org/I157210198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129708151","display_name":"Michelangelo Diligenti","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michelangelo Diligenti","raw_affiliation_strings":["University of Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005466305","display_name":"Giuseppe Marra","orcid":"https://orcid.org/0000-0001-5940-9562"},"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":"Giuseppe Marra","raw_affiliation_strings":["KU Leuven, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39981007,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"27","first_page":"22381","last_page":"22389"},"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.2919999957084656,"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.2919999957084656,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.1404999941587448,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.06539999693632126,"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/scalability","display_name":"Scalability","score":0.7109000086784363},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6581000089645386},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6087999939918518},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.4805999994277954},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4165000021457672},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.36800000071525574},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.3635999858379364},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.35850000381469727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7369999885559082},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7109000086784363},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6581000089645386},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6087999939918518},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5375000238418579},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.4805999994277954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44760000705718994},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4165000021457672},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37790000438690186},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3635999858379364},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.3564999997615814},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3337000012397766},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3156000077724457},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.31189998984336853},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.30489999055862427},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.3034000098705292},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.30070000886917114},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.25850000977516174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1609/aaai.v40i27.39396","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i27.39396","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/39396/43357","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i27.39396","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i27.39396","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/39396/43357","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6628484129905701,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7138248581.pdf","grobid_xml":"https://content.openalex.org/works/W7138248581.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Neurosymbolic":[0],"(NeSy)":[1],"AI":[2],"combines":[3],"neural":[4,77,81],"architectures":[5],"and":[6,13,103,113,120,131,141,158],"symbolic":[7],"reasoning":[8,144],"to":[9,26,156],"improve":[10],"accuracy,":[11],"interpretability,":[12],"generalization.":[14],"While":[15],"logic":[16,61,101],"inference":[17,119],"on":[18,59,137],"top":[19],"of":[20,37,46,68,97,110],"subsymbolic":[21],"modules":[22],"has":[23],"been":[24],"shown":[25],"effectively":[27],"guarantee":[28],"these":[29],"properties,":[30],"this":[31],"often":[32],"comes":[33],"at":[34],"the":[35,44,65,84,94,108],"cost":[36],"reduced":[38],"scalability,":[39],"which":[40,63],"can":[41],"severely":[42],"limit":[43],"usability":[45],"NeSy":[47,56,139,152],"models.":[48],"This":[49,122],"paper":[50],"introduces":[51],"DeepProofLog":[52],"(DPrL),":[53],"a":[54,90],"novel":[55],"system":[57],"based":[58],"stochastic":[60,100],"programs,":[62],"addresses":[64],"scalability":[66,126,155],"limitations":[67],"previous":[69],"methods.":[70],"DPrL":[71,148],"parameterizes":[72],"all":[73],"derivation":[74],"steps":[75],"with":[76],"networks,":[78],"allowing":[79],"efficient":[80,118],"guidance":[82],"over":[83],"proving":[85],"system.":[86],"Additionally,":[87],"we":[88],"establish":[89],"formal":[91],"mapping":[92],"between":[93],"resolution":[95],"process":[96],"our":[98],"deep":[99],"programs":[102],"Markov":[104],"Decision":[105],"Processes,":[106],"enabling":[107],"application":[109],"dynamic":[111],"programming":[112],"reinforcement":[114],"learning":[115],"techniques":[116],"for":[117,127],"learning.":[121],"theoretical":[123],"connection":[124],"improves":[125],"complex":[128,160],"proof":[129],"spaces":[130],"large":[132],"knowledge":[133,142],"bases.":[134],"Our":[135],"experiments":[136],"standard":[138],"benchmarks":[140],"graph":[143],"tasks":[145],"demonstrate":[146],"that":[147],"outperforms":[149],"existing":[150],"state-of-the-art":[151],"systems,":[153],"advancing":[154],"larger":[157],"more":[159],"settings":[161],"than":[162],"previously":[163],"possible.":[164]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-18T00:00:00"}