Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions.

Jelena Vlasenko Volker Haarslev Brigitte Jaumard

Published in: FroCoS (2017)

Keyphrases

spatial reasoning
object boundaries
qualitative reasoning
practical reasoning
co occurrence
real time
databases
machine learning
information retrieval
expert systems
formal theory