Login / Signup
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants.
Insa Stucke
Published in:
RAMiCS (2017)
Keyphrases
</>
complete axiomatization
spatial reasoning
semantic relations
data mining
intelligent agents
artificial intelligence
multiscale
search algorithm
co occurrence
description logics
attribute values
spatial information
linear logic
qualitative spatial reasoning
totally ordered