Artificial Intelligence 269:76-136 (2019)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.artint.2018.12.004 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem.Charles L. Forgy - 1982 - Artificial Intelligence 19 (1):17-37.
Datalog Rewritability of Disjunctive Datalog Programs and Non-Horn Ontologies.Mark Kaminski, Yavor Nenov & Bernardo Cuenca Grau - 2016 - Artificial Intelligence 236:90-118.
Citations of this work BETA
Modular Materialisation of Datalog Programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308:103726.
The Delay and Window Size Problems in Rule-Based Stream Reasoning.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2022 - Artificial Intelligence 306:103668.
Similar books and articles
Datalog Rewritability of Disjunctive Datalog Programs and Non-Horn Ontologies.Mark Kaminski, Yavor Nenov & Bernardo Cuenca Grau - 2016 - Artificial Intelligence 236:90-118.
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.Erich Grädel & Gregory L. McColm - 1996 - Annals of Pure and Applied Logic 77 (2):169-199.
Live Long and Prosper:“Germline Stem Cell Maintenance Revisited”(Retrospective on DOI: 10.1002/Bies. 201000085).Cassandra G. Extavour - 2013 - Bioessays 35 (9):763-763.
Deciding the Bisimilarity Relation Between Datalog Goals.Philippe Balbiani & Antoun Yaacoub - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 67--79.
Magic Sets for Disjunctive Datalog Programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187:156-192.
Polynomial Rewritings From Expressive Description Logics with Closed Predicates to Variants of Datalog.Shqiponja Ahmetaj, Magdalena Ortiz & Mantas Šimkus - 2020 - Artificial Intelligence 280:103220.
Eusapia Palladino Anthologized.Carlos S. Alvarado - 2017 - Journal of Scientific Exploration 31 (3).
Maintenance as Romance: Recuperating Zen and the Art of Motorcycle Maintenance.Lee Vinsel - 2017 - Continent 6 (1).
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation.Jan Maluszyński & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (2):211-232.
A Reason Maintenance Perspective On Relevant Ramsey Conditionals.Haythem Ismail - 2010 - Logic Journal of the IGPL 18 (4):508-529.
Consequence-Based and Fixed-Parameter Tractable Reasoning in Description Logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209:29-77.
Reliability Modeling for Multistate System with Preventive Maintenance Under Customer Demand.Jinlei Qin & Zheng Li - 2020 - Complexity 2020:1-9.
Analytics
Added to PP index
2020-12-22
Total views
1 ( #1,539,311 of 2,498,932 )
Recent downloads (6 months)
1 ( #421,180 of 2,498,932 )
2020-12-22
Total views
1 ( #1,539,311 of 2,498,932 )
Recent downloads (6 months)
1 ( #421,180 of 2,498,932 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
