Syntax-Preserving Belief Change Operators for Logic Programs.
Sebastian BinnewiesZhiqiang ZhuangKewen WangBela StanticPublished in: CoRR (2017)
Keyphrases
- logic programs
- update operators
- belief change
- logic programming
- belief revision
- answer sets
- fixpoint
- answer set programming
- belief base
- computational properties
- stable models
- inductive logic programming
- belief update
- natural language
- model theoretic
- minimal change
- prime implicates
- nonmonotonic reasoning
- update semantics