Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
Martin GebserTorsten SchaubHans TompitsStefan WoltranPublished in: CENT (2007)
Keyphrases
- answer set semantics
- answer sets
- logic programs
- logic programming
- loop formulas
- semantics of logic programs
- answer set programming
- answer set programs
- strong equivalence
- normal logic programs
- propositional logic
- stable model semantics
- ontology languages
- fixpoint
- abductive logic programming
- stable models
- nonmonotonic reasoning
- reasoning tasks
- programming language
- knowledge representation
- semantic web
- formal semantics
- machine learning
- deductive databases
- description logics
- knowledge management
- expert systems
- high level