DYNAMIC MAGIC SETS FOR DISJUNCTIVE DATALOG PROGRAMS

DOI10.4230/LIPIcs.ICLP.2010.226zbMath1237.68211OpenAlexW2280204087MaRDI QIDQ2883097

Mario Alviano

Publication date: 11 May 2012

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

zbMATH Keywords

decidabilityanswer set programmingdisjunctive logic programsmagic sets

Mathematics Subject Classification ID

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

Uses Software

• Datalog

This page was built for publication: DYNAMIC MAGIC SETS FOR DISJUNCTIVE DATALOG PROGRAMS