Ranked Structures in Nonmonotonic Reasoning and Belief Revision: Abstract.
Daniel LehmannPublished in: MFCS (1995)
Keyphrases
- nonmonotonic reasoning
- belief revision
- default reasoning
- propositional logic
- belief change
- conditional logic
- knowledge base
- possibility theory
- nonmonotonic logics
- minimal change
- logical framework
- nonmonotonic inference
- logical properties
- temporal logic
- defeasible logic
- autoepistemic logic
- possibilistic logic
- argumentation systems
- logic programming
- belief update
- abductive reasoning
- plausible inference
- artificial intelligence
- belief state
- expert systems
- belief merging
- fixpoint
- default theories
- relational databases