Login / Signup
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.
Joanna Golinska-Pilarek
Emilio Muñoz-Velasco
Published in:
Int. J. Comput. Math. (2009)
Keyphrases
</>
qualitative reasoning
order of magnitude reasoning
dynamic systems
qualitative simulation
qualitative information
description logics
conceptual design
data mining
machine learning
data analysis
qualitative differential equations