Unfolding Partiality and Disjunctions in Stable Model Semantics

Tomi Janhunen Ilkka Niemelä Dietmar Seipel Patrik Simons Jia-Huai You

Published in: CoRR (2003)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
logic programming
normal logic programs
answer sets
rdf graphs
modulo theories
artificial intelligence
object oriented
database
search space
query language
horn clauses