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