Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.
Johannes OetschMartina SeidlHans TompitsStefan WoltranPublished in: INAP/WLP (2007)
Keyphrases
- answer sets
- answer set semantics
- logic programs
- answer set programming
- strong equivalence
- logic programming
- normal logic programs
- fixpoint
- answer set programs
- semantics of logic programs
- data structure
- loop formulas
- ontology languages
- stable models
- reasoning tasks
- propositional logic
- programming language
- lower bound