Dynamic magic sets for disjunctive Datalog programs

DOI10.4230/LIPICS.ICLP.2010.226zbMATH Open1237.68211OpenAlexW2280204087MaRDI QIDQ2883097FDOQ2883097

Authors: M. Alviano 

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6945.html

Recommendations

• Dynamic magic sets and super-coherent answer set programs
• Magic sets for disjunctive Datalog programs
• Logic Programming
• Magic Sets and their application to data integration
• Database Theory - ICDT 2005

zbMATH Keywords

answer set programmingdecidabilitydisjunctive logic programsmagic sets

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic programming (68N17)

Cited In (8)

• Logic Programming
• Dynamic magic sets for programs with monotone recursive aggregates
• Dynamic magic sets and super-coherent answer set programs
• Magic sets for disjunctive Datalog programs
• Magic templates: a spellbinding approach to logic programs
• Modular stratification and magic sets for Datalog programs with negation
• Complexity of super-coherence problems in ASP
• Efficient parallel ASP instantiation via dynamic rewriting

Uses Software

• Datalog

This page was built for publication: Dynamic magic sets for disjunctive Datalog programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883097)