Forgetting in Logic Programs under Strong Equivalence.
Yisong WangYan ZhangYi ZhouMingyi ZhangPublished in: KR (2012)
Keyphrases
- strong equivalence
- logic programs
- answer set programs
- logic program updates
- logic programming
- stable models
- answer set programming
- answer sets
- answer set semantics
- fixpoint
- general logic programs
- computational properties
- normal logic programs
- inductive logic programming
- autoepistemic logic
- sufficient conditions
- model theoretic
- nonmonotonic reasoning
- reasoning tasks
- artificial intelligence
- deductive databases
- classical logic
- modal logic
- expert systems