Propositional Quantification for Conditional Logic.
Philippe BesnardJean-Marc GuinnebaultEmmanuel MayerPublished in: ECSQARU-FAPR (1997)
Keyphrases
- conditional logic
- sound and complete axiomatization
- belief revision
- default reasoning
- propositional logic
- nonmonotonic reasoning
- default logic
- probabilistic logic
- modal logic
- defeasible reasoning
- nonmonotonic inference
- higher order logic
- knowledge representation and reasoning
- first order logic
- belief change
- logic programming
- fixed point
- belief base
- web services