Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
Johannes OetschHans TompitsStefan WoltranPublished 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