On the Conditional Logic of Simulation Models.

Duligur Ibeling Thomas Icard

Published in: CoRR (2018)

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