{"id":"https://openalex.org/W2765370125","doi":"https://doi.org/10.1145/3132700","title":"Declarative Probabilistic Programming with Datalog","display_name":"Declarative Probabilistic Programming with Datalog","publication_year":2017,"publication_date":"2017-10-27","ids":{"openalex":"https://openalex.org/W2765370125","doi":"https://doi.org/10.1145/3132700","mag":"2765370125"},"language":"en","primary_location":{"id":"doi:10.1145/3132700","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3132700","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3132700","source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"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":"ACM Transactions on Database Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3132700","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042134900","display_name":"Vince B\u00e1r\u00e1ny","orcid":null},"institutions":[{"id":"https://openalex.org/I204086833","display_name":"Cirrus Logic (United States)","ror":"https://ror.org/05t96az61","country_code":"US","type":"company","lineage":["https://openalex.org/I204086833"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vince B\u00e1R\u00e1ny","raw_affiliation_strings":["LogicBlox, Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LogicBlox, Inc","institution_ids":["https://openalex.org/I204086833"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080220262","display_name":"Balder ten Cate","orcid":"https://orcid.org/0000-0002-2538-5846"},"institutions":[{"id":"https://openalex.org/I204086833","display_name":"Cirrus Logic (United States)","ror":"https://ror.org/05t96az61","country_code":"US","type":"company","lineage":["https://openalex.org/I204086833"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Balder Ten Cate","raw_affiliation_strings":["LogicBlox, Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LogicBlox, Inc","institution_ids":["https://openalex.org/I204086833"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006706357","display_name":"Benny Kimelfeld","orcid":"https://orcid.org/0000-0002-7156-1572"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Benny Kimelfeld","raw_affiliation_strings":["Technion -- Israel Institute of Technology, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion -- Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035180920","display_name":"Dan Olteanu","orcid":"https://orcid.org/0000-0002-4682-7068"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dan Olteanu","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090568937","display_name":"Zografoula Vagena","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zografoula Vagena","raw_affiliation_strings":["LogicBlox, Inc., Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LogicBlox, Inc., Atlanta, GA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5312,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.91645401,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"42","issue":"4","first_page":"1","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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.9991000294685364,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9959999918937683,"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/datalog","display_name":"Datalog","score":0.8873896598815918},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7995164394378662},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6619986295700073},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5687699913978577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5283679962158203},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.503271758556366},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5005273818969727},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4449978768825531},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4424280524253845},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.43372100591659546},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.4110577702522278},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34286201000213623},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1285977065563202}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.8873896598815918},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7995164394378662},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6619986295700073},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5687699913978577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5283679962158203},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.503271758556366},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5005273818969727},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4449978768825531},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4424280524253845},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.43372100591659546},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.4110577702522278},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34286201000213623},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1285977065563202},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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.1145/3132700","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3132700","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3132700","source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"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":"ACM Transactions on Database Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3132700","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3132700","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3132700","source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"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":"ACM Transactions on Database Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G3957154763","display_name":null,"funder_award_id":"#FA8750-15-2-0009 and #FA8750-14-2-0217","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"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/G483339211","display_name":null,"funder_award_id":"FA8750-15-2-0009","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5458651130","display_name":null,"funder_award_id":"M025268","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8400180575","display_name":null,"funder_award_id":"EP/M025268/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8521439554","display_name":null,"funder_award_id":"EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2765370125.pdf","grobid_xml":"https://content.openalex.org/works/W2765370125.grobid-xml"},"referenced_works_count":80,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W55914417","https://openalex.org/W128101668","https://openalex.org/W165195483","https://openalex.org/W216635998","https://openalex.org/W274239259","https://openalex.org/W601863383","https://openalex.org/W640290659","https://openalex.org/W790941020","https://openalex.org/W811924890","https://openalex.org/W1483307070","https://openalex.org/W1505787149","https://openalex.org/W1541434994","https://openalex.org/W1558832481","https://openalex.org/W1563950057","https://openalex.org/W1689422594","https://openalex.org/W1844453107","https://openalex.org/W1880262756","https://openalex.org/W1960881728","https://openalex.org/W1971962972","https://openalex.org/W1985581502","https://openalex.org/W1996510233","https://openalex.org/W1997945384","https://openalex.org/W2000437271","https://openalex.org/W2000805332","https://openalex.org/W2005059149","https://openalex.org/W2008865455","https://openalex.org/W2012670464","https://openalex.org/W2032386524","https://openalex.org/W2051161386","https://openalex.org/W2052451171","https://openalex.org/W2059199596","https://openalex.org/W2081973669","https://openalex.org/W2085544069","https://openalex.org/W2087214618","https://openalex.org/W2088422262","https://openalex.org/W2096113939","https://openalex.org/W2097089247","https://openalex.org/W2097606805","https://openalex.org/W2099655235","https://openalex.org/W2102729564","https://openalex.org/W2103747951","https://openalex.org/W2135209143","https://openalex.org/W2144810465","https://openalex.org/W2145487185","https://openalex.org/W2158766741","https://openalex.org/W2159080219","https://openalex.org/W2161403060","https://openalex.org/W2162723805","https://openalex.org/W2164688391","https://openalex.org/W2170902325","https://openalex.org/W2171472464","https://openalex.org/W2177977456","https://openalex.org/W2187690660","https://openalex.org/W2293621592","https://openalex.org/W2295882966","https://openalex.org/W2295945918","https://openalex.org/W2320648065","https://openalex.org/W2338322935","https://openalex.org/W2341971562","https://openalex.org/W2345615246","https://openalex.org/W2401291451","https://openalex.org/W2403084281","https://openalex.org/W2406252837","https://openalex.org/W2489389092","https://openalex.org/W2577537660","https://openalex.org/W2795495912","https://openalex.org/W2963709414","https://openalex.org/W3020913839","https://openalex.org/W3104798428","https://openalex.org/W3105758438","https://openalex.org/W4206031975","https://openalex.org/W4206370914","https://openalex.org/W4240126131","https://openalex.org/W4244514296","https://openalex.org/W4256361765","https://openalex.org/W4295660562","https://openalex.org/W4296313421","https://openalex.org/W4298054708","https://openalex.org/W4300564796"],"related_works":["https://openalex.org/W131276444","https://openalex.org/W1984231681","https://openalex.org/W2124217695","https://openalex.org/W2998758053","https://openalex.org/W4287903548","https://openalex.org/W2165371142","https://openalex.org/W2085590601","https://openalex.org/W2551539219","https://openalex.org/W2293856750","https://openalex.org/W2798278864"],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1],"languages":[2],"are":[3,136],"used":[4],"for":[5,71],"developing":[6],"statistical":[7,77],"models.":[8],"They":[9],"typically":[10],"consist":[11],"of":[12,17,26,41,47,63,76,88,104,115,126,141],"two":[13],"components:":[14],"a":[15,18,24,34,60,73,116,119],"specification":[16,25],"stochastic":[19],"process":[20],"(the":[21,37],"prior)":[22],"and":[23,52,79,147,158],"observations":[27],"that":[28,162],"restrict":[29],"the":[30,45,67,81,85,123,127,133,145],"probability":[31,99,120],"space":[32],"to":[33,95,132,160],"conditional":[35],"subspace":[36],"posterior).":[38],"Use":[39],"cases":[40],"such":[42,111],"formalisms":[43],"include":[44,96],"development":[46],"algorithms":[48],"in":[49,101],"machine":[50],"learning":[51],"artificial":[53],"intelligence.":[54],"In":[55],"this":[56],"article,":[57],"we":[58],"establish":[59],"probabilistic-programming":[61],"extension":[62,92],"Datalog":[64],"that,":[65],"on":[66,80],"one":[68],"hand,":[69],"allows":[70],"defining":[72],"rich":[74],"family":[75],"models,":[78],"other":[82],"hand":[83],"retains":[84],"fundamental":[86],"properties":[87],"declarativity.":[89],"Our":[90],"proposed":[91],"provides":[93],"mechanisms":[94],"common":[97],"numerical":[98],"functions;":[100],"particular,":[102],"conclusions":[103],"rules":[105],"may":[106],"contain":[107],"values":[108],"drawn":[109],"from":[110],"functions.":[112],"The":[113,150],"semantics":[114,152],"program":[117],"is":[118,153],"distribution":[121],"over":[122,144],"possible":[124],"outcomes":[125],"input":[128],"database":[129],"with":[130],"respect":[131],"program.":[134],"Observations":[135],"naturally":[137],"incorporated":[138],"by":[139],"means":[140],"integrity":[142],"constraints":[143],"extensional":[146],"intensional":[148],"relations.":[149],"resulting":[151],"robust":[154],"under":[155],"different":[156],"chases":[157],"invariant":[159],"rewritings":[161],"preserve":[163],"logical":[164],"equivalence.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}