Syntax-Preserving Belief Change Operators for Logic Programs.
Sebastian BinnewiesZhiqiang ZhuangKewen WangBela StanticPublished in: ACM Trans. Comput. Log. (2018)
Keyphrases
- logic programs
- update operators
- belief change
- logic programming
- belief revision
- answer sets
- answer set programming
- stable models
- fixpoint
- belief update
- belief base
- computational properties
- nonmonotonic reasoning
- abductive reasoning
- artificial intelligence
- propositional logic
- inductive logic programming
- probability theory
- default reasoning
- first order logic
- domain knowledge
- relational databases