{"id":"https://openalex.org/W2343532609","doi":null,"title":"Dyna: Extending Datalog For Modern AI (full version) ?","display_name":"Dyna: Extending Datalog For Modern AI (full version) ?","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2343532609","mag":"2343532609"},"language":"en","primary_location":{"id":"mag:2343532609","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.jhu.edu/~jason/papers/eisner+filardo.datalog11-long.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"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/A5052467896","display_name":"Jason M. Eisner","orcid":"https://orcid.org/0000-0002-8861-0772","observed_orcids":["https://orcid.org/0000-0002-8861-0772"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jason Eisner","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026202020","display_name":"Nathaniel Wesley Filardo","orcid":"https://orcid.org/0009-0002-9698-1503","observed_orcids":["https://orcid.org/0009-0002-9698-1503"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nathaniel Wesley Filardo","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-9698-1503","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.637,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.8668777,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.6859999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.6859999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.24719999730587006,"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/T10126","display_name":"Logic, programming, and type systems","score":0.021800000220537186,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7440000176429749},{"id":"https://openalex.org/keywords/declarative-languages","display_name":"declarative languages","score":0.5109999775886536},{"id":"https://openalex.org/keywords/recursive-queries","display_name":"recursive queries","score":0.8799999952316284},{"id":"https://openalex.org/keywords/memoization","display_name":"memoization","score":0.8059999942779541},{"id":"https://openalex.org/keywords/change-propagation","display_name":"change propagation","score":0.9879999756813049},{"id":"https://openalex.org/keywords/database-views","display_name":"database views","score":0.5550000071525574},{"id":"https://openalex.org/keywords/systems-of-equations","display_name":"systems of equations","score":0.7670000195503235},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.6930000185966492},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"object-oriented programming","score":0.9900000095367432},{"id":"https://openalex.org/keywords/artificial-intelligence-algorithms","display_name":"artificial intelligence algorithms","score":0.4320000112056732}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9866397976875305},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8220207691192627},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6331863403320312},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6001258492469788},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5646004676818848},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.561700165271759},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5230855941772461},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.4715462028980255},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.46982240676879883},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4629560112953186},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4349316358566284},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24836307764053345},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10108491778373718},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2343532609","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.jhu.edu/~jason/papers/eisner+filardo.datalog11-long.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":177,"referenced_works":["https://openalex.org/W22168010","https://openalex.org/W24718583","https://openalex.org/W89239156","https://openalex.org/W121324548","https://openalex.org/W125332145","https://openalex.org/W129414309","https://openalex.org/W145849181","https://openalex.org/W165164194","https://openalex.org/W171320930","https://openalex.org/W181868102","https://openalex.org/W205087541","https://openalex.org/W302561940","https://openalex.org/W342706626","https://openalex.org/W617366556","https://openalex.org/W1487060125","https://openalex.org/W1491260788","https://openalex.org/W1495627115","https://openalex.org/W1496659931","https://openalex.org/W1505839237","https://openalex.org/W1509428113","https://openalex.org/W1513141420","https://openalex.org/W1517036110","https://openalex.org/W1522225310","https://openalex.org/W1525482321","https://openalex.org/W1552694902","https://openalex.org/W1555563750","https://openalex.org/W1566474797","https://openalex.org/W1567277581","https://openalex.org/W1571979909","https://openalex.org/W1573537871","https://openalex.org/W1577536563","https://openalex.org/W1582482241","https://openalex.org/W1585560305","https://openalex.org/W1590102271","https://openalex.org/W1591532012","https://openalex.org/W1594284843","https://openalex.org/W1596967103","https://openalex.org/W1602191431","https://openalex.org/W1604916715","https://openalex.org/W1627331591","https://openalex.org/W1639901403","https://openalex.org/W1672891595","https://openalex.org/W1732070564","https://openalex.org/W1766332311","https://openalex.org/W1812474519","https://openalex.org/W1824971879","https://openalex.org/W1846087057","https://openalex.org/W1890754682","https://openalex.org/W1909733559","https://openalex.org/W1920490127","https://openalex.org/W1943411325","https://openalex.org/W1963779317","https://openalex.org/W1968513265","https://openalex.org/W1970961429","https://openalex.org/W1973180461","https://openalex.org/W1977970897","https://openalex.org/W1984764846","https://openalex.org/W1984938651","https://openalex.org/W1985470198","https://openalex.org/W1986361898","https://openalex.org/W1987010534","https://openalex.org/W1989115577","https://openalex.org/W1995307698","https://openalex.org/W1997189447","https://openalex.org/W1999121513","https://openalex.org/W2000437271","https://openalex.org/W2003555562","https://openalex.org/W2008496475","https://openalex.org/W2010492734","https://openalex.org/W2012670464","https://openalex.org/W2016531106","https://openalex.org/W2016589492","https://openalex.org/W2019599312","https://openalex.org/W2020431608","https://openalex.org/W2035168235","https://openalex.org/W2035227369","https://openalex.org/W2038248725","https://openalex.org/W2038721957","https://openalex.org/W2041183503","https://openalex.org/W2045723688","https://openalex.org/W2057361103","https://openalex.org/W2058110891","https://openalex.org/W2063716227","https://openalex.org/W2072073265","https://openalex.org/W2073904768","https://openalex.org/W2074260075","https://openalex.org/W2078843353","https://openalex.org/W2079182758","https://openalex.org/W2079512738","https://openalex.org/W2081580037","https://openalex.org/W2085606725","https://openalex.org/W2090761873","https://openalex.org/W2093647425","https://openalex.org/W2095673361","https://openalex.org/W2096239045","https://openalex.org/W2096335861","https://openalex.org/W2096466920","https://openalex.org/W2096765155","https://openalex.org/W2096894677","https://openalex.org/W2099972257","https://openalex.org/W2100810088","https://openalex.org/W2101714644","https://openalex.org/W2101986122","https://openalex.org/W2103898957","https://openalex.org/W2104917081","https://openalex.org/W2104932313","https://openalex.org/W2105738468","https://openalex.org/W2107658650","https://openalex.org/W2107765379","https://openalex.org/W2107901333","https://openalex.org/W2108009432","https://openalex.org/W2108290652","https://openalex.org/W2108911687","https://openalex.org/W2109277847","https://openalex.org/W2110660056","https://openalex.org/W2110764733","https://openalex.org/W2111041233","https://openalex.org/W2111353076","https://openalex.org/W2113101648","https://openalex.org/W2113283819","https://openalex.org/W2117126688","https://openalex.org/W2118742098","https://openalex.org/W2118813329","https://openalex.org/W2120735855","https://openalex.org/W2121509107","https://openalex.org/W2125879217","https://openalex.org/W2126970272","https://openalex.org/W2132055297","https://openalex.org/W2132210624","https://openalex.org/W2133402530","https://openalex.org/W2136575791","https://openalex.org/W2137143056","https://openalex.org/W2137807494","https://openalex.org/W2137807925","https://openalex.org/W2139616859","https://openalex.org/W2142785340","https://openalex.org/W2143621265","https://openalex.org/W2144098329","https://openalex.org/W2147880316","https://openalex.org/W2149516580","https://openalex.org/W2150114207","https://openalex.org/W2150884987","https://openalex.org/W2152096446","https://openalex.org/W2152263452","https://openalex.org/W2152521444","https://openalex.org/W2153225416","https://openalex.org/W2154757770","https://openalex.org/W2155870214","https://openalex.org/W2157368609","https://openalex.org/W2159080219","https://openalex.org/W2160099956","https://openalex.org/W2162016438","https://openalex.org/W2164104198","https://openalex.org/W2165201985","https://openalex.org/W2166741250","https://openalex.org/W2167685423","https://openalex.org/W2168938909","https://openalex.org/W2168966090","https://openalex.org/W2169362686","https://openalex.org/W2169411626","https://openalex.org/W2169528473","https://openalex.org/W2169755331","https://openalex.org/W2170515491","https://openalex.org/W2171446564","https://openalex.org/W2173853809","https://openalex.org/W2184299665","https://openalex.org/W2293299776","https://openalex.org/W2294191420","https://openalex.org/W2295651970","https://openalex.org/W2337098149","https://openalex.org/W2339351027","https://openalex.org/W2437005631","https://openalex.org/W2593172760","https://openalex.org/W2611155112","https://openalex.org/W2911246871","https://openalex.org/W3143982968","https://openalex.org/W4239510810"],"related_works":["https://openalex.org/W165195483","https://openalex.org/W7095448634","https://openalex.org/W18863960","https://openalex.org/W7107958642","https://openalex.org/W2899960748","https://openalex.org/W3042970053","https://openalex.org/W7100669754","https://openalex.org/W30256854","https://openalex.org/W2768114171","https://openalex.org/W71774439"],"abstract_inverted_index":{"Modern":[0],"statistical":[1],"AI":[2,92],"systems":[3,101],"are":[4,53,125],"quite":[5],"large":[6],"and":[7,14,27,40,129],"complex;":[8],"this":[9,77],"interferes":[10],"with":[11],"research,":[12],"development,":[13],"education.":[15],"We":[16,67],"point":[17],"out":[18],"that":[19,87],"most":[20],"of":[21,32,50,91,102],"the":[22,33,48,57],"computation":[23],"involves":[24],"database-like":[25],"queries":[26,37,52],"updates":[28],"on":[29],"complex":[30],"views":[31],"data.":[34],"Specifically,":[35],"recursive":[36],"look":[38],"up":[39],"aggregate":[41],"relevant":[42,45],"or":[43],"potentially":[44],"values.":[46],"If":[47],"results":[49],"these":[51],"memoized":[54],"for":[55],"reuse,":[56],"memos":[58],"may":[59],"need":[60],"to":[61,75,112,122,127],"be":[62,95,110],"updated":[63],"through":[64],"change":[65],"propagation.":[66],"propose":[68],"a":[69,80,88],"declarative":[70],"language,":[71],"which":[72,124],"generalizes":[73],"Datalog,":[74,123],"support":[76],"work":[78],"in":[79,104],"generic":[81],"way.":[82],"Through":[83],"examples,":[84],"we":[85],"show":[86],"broad":[89],"spectrum":[90],"algorithms":[93],"can":[94],"concisely":[96],"captured":[97],"by":[98],"writing":[99],"down":[100],"equations":[103],"our":[105],"notation.":[106],"Many":[107],"strategies":[108],"could":[109],"used":[111],"actually":[113],"solve":[114],"those":[115],"systems.":[116],"Our":[117],"examples":[118],"motivate":[119],"certain":[120],"extensions":[121],"connected":[126],"functional":[128],"object-oriented":[130],"programming":[131],"paradigms.":[132]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}