Interference logic = conditional logic + frame axiom.
Luis Fariñas del CerroAndreas HerzigPublished in: Int. J. Intell. Syst. (1994)
Keyphrases
- conditional logic
- modal logic
- higher order logic
- sound and complete axiomatization
- inference rules
- default reasoning
- temporal logic
- defeasible reasoning
- nonmonotonic inference
- belief revision
- nonmonotonic reasoning
- sequent calculi
- nonmonotonic logics
- knowledge representation and reasoning
- default logic
- machine learning
- artificial intelligence
- theorem proving
- theorem prover
- higher order
- general purpose
- software engineering
- web services