Login / Signup
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
Johannes Oetsch
Hans Tompits
Stefan Woltran
Published in:
AAAI (2007)
Keyphrases
</>
answer sets
answer set semantics
logic programs
answer set programming
logic programming
strong equivalence
knowledge base
normal logic programs
semantics of logic programs
fixpoint
answer set programs
stable model semantics
relational databases
loop formulas
stable models
general purpose
knowledge representation
machine learning