A schematic of a biological system, ie, a representation of its pieces, how they are combined,
and what they do, would facilitate understanding its essential organization and alteration in …

Abstract Qualitative Spatial & Temporal Reasoning (QSTR) is a major field of study in
Symbolic AI that deals with the representation and reasoning of spatiotemporal information …

Qualitative reasoning formalisms are an active research topic in artificial intelligence. In this
survey we present a model-theoretic perspective on qualitative constraint reasoning and …

Qualitative calculi play a central role in representing and reasoning about qualitative spatial
and temporal knowledge. This paper studies distributive subalgebras of qualitative calculi …

The concept of prime implicant is a fundamental tool in Boolean algebra, which is used in
Boolean circuit design and, recently, in explainable AI. This study investigates an analogous …

This paper explores the use of probabilistic and conventional qualitative spatial reasoning
(QSR) in the context of geospatial question answering (GeoQA) systems. The paper …

In this paper, we focus on a recently introduced problem in the context of spatial and
temporal qualitative reasoning, called the MAX-QCN problem. This problem involves …

Consistency checking, as a key and challenging problem in the research field of qualitative
spatial reasoning with direction relations in 3D space, has received a lot of attention. It is …

We propose a new algorithm called DPC+ to enforce partial path consistency (PPC) on
qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the …

RCC8 is a constraint language that serves for qualitative spatial representation and
reasoning by encoding the topological relations between spatial entities. We focus on …