Dynamic magic sets for disjunctive Datalog programs

DOI10.4230/LIPICS.ICLP.2010.226MaRDI QIDQ2883097zbMATH OpenOpenAlexFDO

Authors M. Alviano

Publication date 11 May 2012

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

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)

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

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

Describes a project that uses

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)