Modularity Aspects of Disjunctive Stable Models.

Tomi Janhunen Emilia Oikarinen Hans Tompits Stefan Woltran

Published in: J. Artif. Intell. Res. (2009)

Keyphrases

stable models
logic programs
answer sets
logic programming
disjunctive logic programs
normal logic programs
answer set programming
fixpoint
stable model semantics
general theory
deductive databases
datalog programs
strong equivalence
answer set programs
loop formulas
databases
database schema
general purpose