-calculi.

Doriana Medic Claudio Antares Mezzina Iain Phillips Nobuko Yoshida

Published in: Inf. Comput. (2020)

Keyphrases

sequent calculi
qualitative spatial and temporal reasoning
artificial intelligence
decision trees
case study
image segmentation
special case
knowledge representation
qualitative spatial