Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic.
Fangzhen LinPublished in: KR (2002)
Keyphrases
- strong equivalence
- logic programs
- logic programming
- propositional logic
- answer set semantics
- stable models
- answer sets
- answer set programming
- valued logic
- fixpoint
- belief revision
- possibilistic logic
- loop formulas
- normal logic programs
- deductive databases
- computational properties
- inductive logic programming
- nonmonotonic reasoning
- classical logic
- default logic
- autoepistemic logic
- first order logic
- horn clauses
- stable model semantics
- machine learning
- default reasoning
- reasoning tasks
- probabilistic reasoning
- nonmonotonic logics
- expressive power