Modularity Aspects of Disjunctive Stable Models.

Tomi Janhunen Emilia Oikarinen Hans Tompits Stefan Woltran

Published in: LPNMR (2007)

Keyphrases

stable models
logic programs
answer sets
logic programming
disjunctive logic programs
answer set programming
general theory
stable model semantics
fixpoint
normal logic programs
datalog programs
deductive databases
logic programs with negation
data mining
answer set programs