Iterative Belief Revision in Extended Logic Programming.
Jia-Huai YouRobert CartwrightMing LiPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- logic programming
- belief revision
- nonmonotonic reasoning
- knowledge base
- logic programs
- default reasoning
- propositional logic
- possibilistic logic
- deductive databases
- conditional logic
- belief change
- answer set programming
- reasoning tasks
- default logic
- classical logic
- logical properties
- knowledge representation
- programming language
- answer sets
- belief update
- possibility theory
- minimal change
- knowledge representation and reasoning
- update operators
- logical framework
- database
- temporal logic
- inductive logic programming
- stable models
- default theories
- nonmonotonic logics
- high level
- reasoning about actions
- probabilistic reasoning
- epistemic states
- bayesian networks