Keyphrases
- simulation models
- conditional logic
- default reasoning
- simulation model
- nonmonotonic reasoning
- belief revision
- modal logic
- higher order logic
- agent based simulation
- nonmonotonic inference
- simulation tools
- defeasible reasoning
- air cargo
- knowledge representation and reasoning
- data assimilation
- general purpose
- sound and complete axiomatization
- probabilistic reasoning
- logic programming
- anomaly detection
- sequent calculi
- higher order