Relations algebras in qualitative spatial reasoning

First-order qualitative spatial representation languages with convexity

Spatial Cognition and Computation

Information Granules for Spatial Reasoning

PADKK '00 Proceedings of the 4th Pacific-Asia Conference on Knowledge Discovery and Data Mining, Current Issues and New Applications

Tangent Circle Algebras

ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science

The Point Algebra for Branching Time Revisited

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence

Region connection calculus: its models and composition table

Artificial Intelligence

Extensionality of the RCC8 composition table

Fundamenta Informaticae

Point algebras for temporal reasoning: algorithms and complexity

Artificial Intelligence

Composing cardinal direction relations

Artificial Intelligence

Algebras of Approximating Regions

Fundamenta Informaticae - Qualitative Spatial Reasoning

On countable RCC models

Fundamenta Informaticae

Ontology Verification with Repositories

Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)

A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning

Journal of Artificial Intelligence Research

Splitting atoms in relational algebras

RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science

CLP(QS): a declarative spatial reasoning framework

COSIT'11 Proceedings of the 10th international conference on Spatial information theory

Weak contact structures

RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra

CASL specifications of qualitative calculi

COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory

Branching allen

SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction

On countable RCC models

Fundamenta Informaticae

Extensionality of the RCC8 Composition Table

Fundamenta Informaticae

Algebras of Approximating Regions

Fundamenta Informaticae - Qualitative Spatial Reasoning