Modular Equivalence for Normal Logic Programs.
Emilia OikarinenTomi JanhunenPublished in: ECAI (2006)
Keyphrases
- normal logic programs
- answer set semantics
- logic programs
- answer sets
- logic programming
- strong equivalence
- stable models
- answer set programming
- default reasoning
- propositional logic
- stable model semantics
- fixpoint
- general logic programs
- knowledge representation
- knowledge base
- deductive databases
- knowledge representation and reasoning
- nonmonotonic reasoning
- general purpose
- database systems