Partial Meet Revision and Contraction in Logic Programs.
Sebastian BinnewiesZhiqiang ZhuangKewen WangPublished in: AAAI (2015)
Keyphrases
- logic programs
- belief change
- belief revision
- logic programming
- answer sets
- answer set programming
- stable models
- fixpoint
- computational properties
- background knowledge
- normal logic programs
- inductive logic programming
- partial deduction
- update operators
- propositional logic
- horn contraction
- abductive reasoning
- belief update
- term rewriting systems
- knowledge base
- possibilistic logic
- strong equivalence
- logic program updates
- loop formulas
- functional programs
- prolog programs
- model theoretic
- deductive databases
- nonmonotonic reasoning