{"id":"https://openalex.org/W187614860","doi":"https://doi.org/10.1145/2936726","title":"Probabilistic theorem proving","display_name":"Probabilistic theorem proving","publication_year":2016,"publication_date":"2016-06-24","ids":{"openalex":"https://openalex.org/W187614860","doi":"https://doi.org/10.1145/2936726","mag":"187614860"},"language":"en","primary_location":{"id":"doi:10.1145/2936726","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2936726","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2936726&type=pdf","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2936726&type=pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038455119","display_name":"Vibhav Gogate","orcid":"https://orcid.org/0000-0002-6459-7358"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vibhav Gogate","raw_affiliation_strings":["University of Texas at Dallas, Richardson, TX","University of Texas at Dallas, Richardson, TX,"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, TX","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"University of Texas at Dallas, Richardson, TX,","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018711331","display_name":"Pedro Domingos","orcid":"https://orcid.org/0000-0003-4523-5631"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pedro Domingos","raw_affiliation_strings":["University of Washington Seattle, WA","University Of Washington (Seattle, WA)"],"affiliations":[{"raw_affiliation_string":"University of Washington Seattle, WA","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"University Of Washington (Seattle, WA)","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038455119"],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":4.4172,"has_fulltext":true,"cited_by_count":28,"citation_normalized_percentile":{"value":0.94762196,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"59","issue":"7","first_page":"107","last_page":"115"},"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.9998000264167786,"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.9998000264167786,"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.9973000288009644,"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.9966999888420105,"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/correctness","display_name":"Correctness","score":0.7808804512023926},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.712081253528595},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6619986295700073},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5462753772735596},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.5272392630577087},{"id":"https://openalex.org/keywords/graphical-model","display_name":"Graphical model","score":0.5139122009277344},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5076307058334351},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5069180130958557},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4659997224807739},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4630923569202423},{"id":"https://openalex.org/keywords/variable-elimination","display_name":"Variable elimination","score":0.4630257189273834},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4558292031288147},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4310583472251892},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4269677996635437},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4225677251815796},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4188278317451477},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2217225432395935}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7808804512023926},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.712081253528595},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6619986295700073},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5462753772735596},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.5272392630577087},{"id":"https://openalex.org/C155846161","wikidata":"https://www.wikidata.org/wiki/Q1143367","display_name":"Graphical model","level":2,"score":0.5139122009277344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5076307058334351},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5069180130958557},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4659997224807739},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4630923569202423},{"id":"https://openalex.org/C169272836","wikidata":"https://www.wikidata.org/wiki/Q5668307","display_name":"Variable elimination","level":3,"score":0.4630257189273834},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4558292031288147},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4310583472251892},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4269677996635437},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4225677251815796},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4188278317451477},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2217225432395935},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"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.1145/2936726","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2936726","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2936726&type=pdf","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2936726","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2936726","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2936726&type=pdf","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1740532934","display_name":null,"funder_award_id":"FA8750-05-2-0283","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2509018341","display_name":null,"funder_award_id":"HR0011-07-C-0060","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G3063318528","display_name":null,"funder_award_id":"IIS- 0534881 and IIS-0803481","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3220644014","display_name":"Learning from Interdependent Examples","funder_award_id":"0534881","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3622582212","display_name":null,"funder_award_id":"W911NF-08-1","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G3886984593","display_name":null,"funder_award_id":"W911NF-08-1-0242","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5105226944","display_name":null,"funder_award_id":"FA8750-09-C-0181","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G5466232267","display_name":null,"funder_award_id":"W911NF-08-1-0242","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5524522455","display_name":null,"funder_award_id":"DARPA","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G6668869798","display_name":null,"funder_award_id":"FA8750-05- 2-0283, FA8750-14-C-0005, FA8750-07-D-0185, HR0011-06-C- 0025, HR0011-07-C-0060 and NBCH-D030010","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7009995026","display_name":null,"funder_award_id":"W911NF-08-1-0242","funder_id":"https://openalex.org/F4320333591","funder_display_name":"Multidisciplinary University Research Initiative"},{"id":"https://openalex.org/G7152738576","display_name":null,"funder_award_id":"FA8750-09- C-0181 and FA8750-14-C-0021","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8163380865","display_name":null,"funder_award_id":"N00014-08-1-0670","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8423008174","display_name":"III-Medium: Reading the Web: Utilizing Markov Logic in Open Information Extraction","funder_award_id":"0803481","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8998121839","display_name":null,"funder_award_id":"911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W187614860.pdf","grobid_xml":"https://content.openalex.org/works/W187614860.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W47392883","https://openalex.org/W73939759","https://openalex.org/W128101668","https://openalex.org/W189719929","https://openalex.org/W203049729","https://openalex.org/W1522225310","https://openalex.org/W1539326816","https://openalex.org/W1562643156","https://openalex.org/W1565923521","https://openalex.org/W1686746446","https://openalex.org/W1728061942","https://openalex.org/W1824971879","https://openalex.org/W1833928924","https://openalex.org/W1841535820","https://openalex.org/W1860880244","https://openalex.org/W1965552673","https://openalex.org/W1975130368","https://openalex.org/W1982333717","https://openalex.org/W1997945384","https://openalex.org/W2006654540","https://openalex.org/W2012170877","https://openalex.org/W2021343121","https://openalex.org/W2057361103","https://openalex.org/W2061004891","https://openalex.org/W2062818807","https://openalex.org/W2062897452","https://openalex.org/W2100738443","https://openalex.org/W2102233204","https://openalex.org/W2107272354","https://openalex.org/W2115836268","https://openalex.org/W2130944959","https://openalex.org/W2133873188","https://openalex.org/W2141010048","https://openalex.org/W2147632348","https://openalex.org/W2154055561","https://openalex.org/W2154593562","https://openalex.org/W2160842254","https://openalex.org/W2166741250","https://openalex.org/W2911680028","https://openalex.org/W2912526555","https://openalex.org/W2914728526","https://openalex.org/W4233358567","https://openalex.org/W4252192444"],"related_works":["https://openalex.org/W2955135267","https://openalex.org/W4297811169","https://openalex.org/W2606974619","https://openalex.org/W1937494301","https://openalex.org/W2373988360","https://openalex.org/W2127039500","https://openalex.org/W3127057217","https://openalex.org/W2085200348","https://openalex.org/W2766721855","https://openalex.org/W2126934800"],"abstract_inverted_index":{"Many":[0],"representation":[1],"schemes":[2],"combining":[3],"first-order":[4,60],"logic":[5],"and":[6,18,33,59,115,133,162],"probability":[7,84],"have":[8],"been":[9,22],"proposed":[10],"in":[11,15],"recent":[12],"years.":[13],"Progress":[14],"unifying":[16],"logical":[17,40,87,150],"probabilistic":[19,72],"inference":[20,58],"has":[21,50],"slower.":[23],"Existing":[24],"methods":[25],"are":[26],"mainly":[27],"variants":[28],"of":[29,37,54,81,85,94,97,110,127],"lifted":[30,111,146,169],"variable":[31,147],"elimination":[32,148],"belief":[34,170],"propagation,":[35],"neither":[36],"which":[38],"take":[39],"structure":[41,151],"into":[42],"account.":[43],"We":[44,69,99,123],"propose":[45,156],"the":[46,51,79,83,90,108,121,125],"first":[47,70],"method":[48],"that":[49,142,164],"full":[52],"power":[53],"both":[55],"graphical":[56],"model":[57,113],"theorem":[61,73],"proving":[62,74],"(in":[63],"finite":[64],"domains":[65],"with":[66],"Herbrand":[67],"interpretations).":[68],"define":[71],"(PTP),":[75],"their":[76],"generalization,":[77],"as":[78],"problem":[80,109],"computing":[82],"a":[86,95],"formula":[88],"given":[89],"probabilities":[91],"or":[92],"weights":[93],"set":[96],"formulas.":[98],"then":[100],"show":[101,134,141,163],"how":[102,135],"PTP":[103],"can":[104],"be":[105],"reduced":[106],"to":[107,168],"weighted":[112],"counting,":[114],"develop":[116],"an":[117,157],"efficient":[118],"algorithm":[119,158],"for":[120,159],"latter.":[122],"prove":[124],"correctness":[126],"this":[128],"algorithm,":[129],"investigate":[130],"its":[131],"properties,":[132],"it":[136,143,165],"generalizes":[137],"previous":[138],"approaches.":[139],"Experiments":[140],"greatly":[144],"outperforms":[145],"when":[149],"is":[152,166],"present.":[153],"Finally,":[154],"we":[155],"approximate":[160],"PTP,":[161],"superior":[167],"propagation.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}