Naive topology: modeling the force pump

Formalising bio-spatial knowledge

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001

Combining topological and size information for spatial reasoning

Artificial Intelligence

Model-based and qualitative reasoning: An introduction

Annals of Mathematics and Artificial Intelligence

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Applied Intelligence

Constraint Networks of Topological Relations and Convexity

Constraints

Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning

Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems

Fundamenta Informaticae - Qualitative Spatial Reasoning

Qualitative spatial reasoning with topological information

Qualitative spatial reasoning with topological information

Qualitative simulation based on a logical formalism of space and time

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence

A general framework based on dynamic constraints for the enrichment of a topological theory of spatial simulation

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV

Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning

Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems

Fundamenta Informaticae - Qualitative Spatial Reasoning