BOOK-CHAPTER
The Disjunctive Datalog System DLV
Mario AlvianoWolfgang FaberNicola LeoneSimona PerriGerald PfeiferGiorgio Terracina
Year: 2011 Lecture notes in computer science Pages: 282-301 Publisher: Springer Science+Business Media
Keywords:
Datalog Computer science Programming language Answer set programming Panorama Theoretical computer science Set (abstract data type) Declarative programming Deductive database Focus (optics) Relational database Extension (predicate logic) Artificial intelligence Database Programming paradigm Inductive programming
Metrics
54
Cited By
3.76
FWCI (Field Weighted Citation Impact)
44
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Multi-Agent Systems and Negotiation
Physical Sciences → Computer Science → Artificial Intelligence
Bayesian Modeling and Causal Inference
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Disjunctive datalog
Thomas EiterGeorg GottlobHeikki Mannila
Journal: ACM Transactions on Database Systems Year: 1997 Vol: 22 (3)Pages: 364-418
JOURNAL ARTICLE
More on tractable disjunctive Datalog
Rachel Ben‐Eliyahu‐ZoharyLuigi PalopoliVictoria Zemlyanker
Journal: The Journal of Logic Programming Year: 2000 Vol: 46 (1-2)Pages: 61-101
JOURNAL ARTICLE
Enhancing Disjunctive Datalog by constraints
Francesco BuccafurriNicola LeonePasquale Rullo
Journal: IEEE Transactions on Knowledge and Data Engineering Year: 2000 Vol: 12 (5)Pages: 845-860
JOURNAL ARTICLE
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Mark KaminskiYavor NenovBernardo Cuenca Grau
Journal: Artificial Intelligence Year: 2016 Vol: 236 Pages: 90-118
JOURNAL ARTICLE
Magic Sets for disjunctive Datalog programs
Mario AlvianoWolfgang FaberGianluigi GrecoNicola Leone
Journal: Artificial Intelligence Year: 2012 Vol: 187-188 Pages: 156-192