Unfolding Partiality and Disjunctions in Stable Model Semantics.

Tomi Janhunen Ilkka Niemelä Patrik Simons Jia-Huai You

Published in: KR (2000)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
logic programming
normal logic programs
fixpoint
rdf graphs
derivation rules
relational databases
answer sets
data warehouse
orders of magnitude