When Conditional Logic and Belief Revision Meet Substructural Logics.
Guillaume AucherPublished in: DARe@IJCAI (2015)
Keyphrases
- conditional logic
- belief revision
- default reasoning
- nonmonotonic reasoning
- higher order logic
- propositional logic
- belief change
- nonmonotonic inference
- logical properties
- belief update
- propositional calculus
- knowledge base
- belief merging
- possibilistic logic
- logical framework
- temporal logic
- plausible inference
- minimal change
- sequent calculi
- belief state
- modal logic
- knowledge representation and reasoning
- machine learning
- heuristic search
- programming language
- expert systems
- artificial intelligence