Qualitative Reasoning about Space with Hybrid Logic.

Stanislovas Norgela Julius Andrikonis Arunas Stockus

Published in: DB&IS (2012)

Keyphrases

qualitative reasoning
causal reasoning
qualitative simulation
formal theory
order of magnitude reasoning
space time
qualitative and quantitative
automated reasoning
modal operators
low dimensional
logic programming
quantitative and qualitative
probability theory
qualitative models