On the Equivalence of Semantics for Normal Logic Programs.
Jia-Huai YouLi-Yan YuanPublished in: J. Log. Program. (1995)
Keyphrases
- normal logic programs
- answer set semantics
- logic programs
- answer sets
- logic programming
- stable models
- strong equivalence
- answer set programming
- default reasoning
- stable model semantics
- fixpoint
- deductive databases
- semantics for logic programs
- reasoning tasks
- knowledge representation and reasoning
- ontology languages
- probabilistic reasoning
- nonmonotonic reasoning
- artificial intelligence
- default logic
- propositional logic
- semantic web