Login / Signup
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.
Alfredo Burrieza
Manuel Ojeda-Aciego
Published in:
Fundam. Informaticae (2005)
Keyphrases
</>
qualitative reasoning
order of magnitude reasoning
dynamic systems
qualitative simulation
qualitative information
conceptual design
dynamic programming
state space
logic programs
modal logic
qualitative models
qualitative differential equations