Keyphrases
- conditional logic
- short circuit
- modal logic
- default reasoning
- sound and complete axiomatization
- higher order logic
- belief revision
- nonmonotonic reasoning
- thin film
- sequent calculi
- knowledge representation and reasoning
- nonmonotonic inference
- inference rules
- default logic
- temporal logic
- partial order
- logic programming
- machine learning
- simulation model
- probabilistic logic
- induction motor
- high level