乐胖代购免代理版

{"id":"https://openalex.org/W2345615246","doi":"https://doi.org/10.4230/lipics.icdt.2016.7","title":"Declarative Probabilistic Programming with Datalog","display_name":"Declarative Probabilistic Programming with Datalog","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2345615246","doi":"https://doi.org/10.4230/lipics.icdt.2016.7","mag":"2345615246"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.ICDT.2016.7","pdf_url":null,"source":{"id":"https://openalex.org/S4306419319","display_name":"International Conference on Database Theory","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"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/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Vince Barany","raw_affiliation_strings":["University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"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/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Balder ten Cate","raw_affiliation_strings":["University of California, Santa Cruz, Santa Cruz, United States"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, Santa Cruz, United States","institution_ids":["https://openalex.org/I185103710"]}]},{"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/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benny Kimelfeld","raw_affiliation_strings":["IBM (United States), Armonk, United States"],"affiliations":[{"raw_affiliation_string":"IBM (United States), Armonk, United States","institution_ids":["https://openalex.org/I1341412227"]}]},{"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, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090568937","display_name":"Zografoula Vagena","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zografoula Vagena","raw_affiliation_strings":["IBM (United States), Armonk, United States"],"affiliations":[{"raw_affiliation_string":"IBM (United States), Armonk, United States","institution_ids":["https://openalex.org/I1341412227"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.794,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.588495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":"19","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic Programming and Knowledge Representation","score":0.9958,"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 Programming and Knowledge Representation","score":0.9958,"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 Ontology Development","score":0.9896,"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":"Learning and Inference in Bayesian Networks","score":0.9767,"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.89780813},{"id":"https://openalex.org/keywords/probabilistic-learning","display_name":"Probabilistic Learning","score":0.588446},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint Logic Programming","score":0.572141},{"id":"https://openalex.org/keywords/description-logics","display_name":"Description Logics","score":0.55053},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer Set Programming","score":0.519886},{"id":"https://openalex.org/keywords/probabilistic-graphical-models","display_name":"Probabilistic Graphical Models","score":0.514479}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.89780813},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7154688},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.66152173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5641782},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.54514575},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5035586},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.4625579},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.45597917},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.42694703},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3362474},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.28709924},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.269632},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17476678},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.ICDT.2016.7","pdf_url":null,"source":{"id":"https://openalex.org/S4306419319","display_name":"International Conference on Database Theory","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.43}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3023141453","https://openalex.org/W3023064464","https://openalex.org/W2965522163","https://openalex.org/W2765370125","https://openalex.org/W2399697933","https://openalex.org/W2294281593","https://openalex.org/W2236839339","https://openalex.org/W2186849240","https://openalex.org/W2136229204","https://openalex.org/W2104016930","https://openalex.org/W2096650850","https://openalex.org/W2087475328","https://openalex.org/W2080339008","https://openalex.org/W2046297014","https://openalex.org/W2039697886","https://openalex.org/W2034521022","https://openalex.org/W1987419104","https://openalex.org/W1586575428","https://openalex.org/W1563153437","https://openalex.org/W1557007858"],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1],"languages":[2],"are":[3,123],"used":[4],"for":[5,64],"developing":[6],"statistical":[7,66],"models,":[8,67],"and":[9,24,53,58,68,134,145],"they":[10],"typically":[11],"consist":[12],"of":[13,18,27,42,48,62,91,102,113,128],"two":[14],"components:":[15],"a":[16,19,25,35,70,103,106],"specification":[17,26],"stochastic":[20],"process":[21],"(the":[22,38],"prior),":[23],"observations":[28],"that":[29,149],"restrict":[30],"the":[31,46,110,114,120,132],"probability":[32,86,107],"space":[33],"to":[34,82,119,147],"conditional":[36],"subspace":[37],"posterior).":[39],"Use":[40],"cases":[41],"such":[43,98],"formalisms":[44],"include":[45,83],"development":[47],"algorithms":[49],"in":[50,88],"machine":[51],"learning":[52],"artificial":[54],"intelligence.":[55],"We":[56],"propose":[57],"investigate":[59],"an":[60],"extension":[61,78],"Datalog":[63],"specifying":[65],"establish":[69],"declarative":[71],"probabilistic-programming":[72],"paradigm":[73],"over":[74,109,131],"databases.":[75],"Our":[76],"proposed":[77],"provides":[79],"convenient":[80],"mechanisms":[81],"common":[84],"numerical":[85],"functions;":[87],"particular,":[89],"conclusions":[90],"rules":[92],"may":[93],"contain":[94],"values":[95],"drawn":[96],"from":[97],"functions.":[99],"The":[100,137],"semantics":[101,139],"program":[104],"is":[105,140],"distribution":[108],"possible":[111],"outcomes":[112],"input":[115],"database":[116],"with":[117],"respect":[118],"program.":[121],"Observations":[122],"naturally":[124],"incorporated":[125],"by":[126],"means":[127],"integrity":[129],"constraints":[130],"extensional":[133],"intensional":[135],"relations.":[136],"resulting":[138],"robust":[141],"under":[142],"different":[143],"chases":[144],"invariant":[146],"rewritings":[148],"preserve":[150],"logical":[151],"equivalence.":[152]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2345615246","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1}],"updated_date":"2024-11-17T21:47:37.015833","created_date":"2016-06-24"}