BOOK-CHAPTER
Enhancing the Magic-Set Method for Disjunctive Datalog Programs
Chiara CumboWolfgang FaberGianluigi GrecoNicola Leone
Year: 2004 Lecture notes in computer science Pages: 371-385 Publisher: Springer Science+Business Media
Keywords:
Datalog MAGIC (telescope) Computer science Set (abstract data type) Theoretical computer science Heuristic Exploit Programming language Deductive database Transformation (genetics) Algorithm Artificial intelligence
Metrics
56
Cited By
3.97
FWCI (Field Weighted Citation Impact)
25
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Magic Sets for disjunctive Datalog programs
Mario AlvianoWolfgang FaberGianluigi GrecoNicola Leone
Journal: Artificial Intelligence Year: 2012 Vol: 187-188 Pages: 156-192
JOURNAL ARTICLE
Dynamic Magic Sets for Disjunctive Datalog Programs
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2010 Pages: 226-235
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
Disjunctive datalog
Thomas EiterGeorg GottlobHeikki Mannila
Journal: ACM Transactions on Database Systems Year: 1997 Vol: 22 (3)Pages: 364-418