Reasoning about Separation Using Abstraction and Reification.

Cliff B. Jones Nisansala Yatapanage

Published in: SEFM (2015)

Keyphrases

expressive power
meta level
high level
qualitative reasoning
temporal reasoning
spatial reasoning
real world
data sets
practical reasoning
description logics
decision theoretic planning
reasoning processes
formal theory
model checking
evolutionary algorithm
database systems
information systems
databases