Symmetric Splitting in the General Theory of Stable Models.

Paolo Ferraris Joohyung Lee Vladimir Lifschitz Ravi Palla

Published in: IJCAI (2009)

Keyphrases

general theory
stable models
logic programs
logic programming
normal logic programs
answer set programming
fixpoint
deductive databases
stable model semantics
artificial intelligence
answer sets