Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.

Alfredo Burrieza

Published in: CAEPIA (2013)

Keyphrases

qualitative reasoning
order of magnitude reasoning
dynamic systems
qualitative simulation
qualitative information
conceptual design
data mining
description logics
qualitative models
conceptual knowledge
qualitative differential equations