Interference Logic = Conditional Logic + Frame Axiom.
Luis Fariñas del CerroAndreas HerzigPublished in: ECSQARU (1993)
Keyphrases
- conditional logic
- modal logic
- sound and complete axiomatization
- default reasoning
- higher order logic
- temporal logic
- belief revision
- defeasible reasoning
- inference rules
- nonmonotonic reasoning
- nonmonotonic inference
- sequent calculi
- nonmonotonic logics
- default logic
- machine learning
- knowledge representation and reasoning
- artificial intelligence
- higher order
- sequent calculus