• Publications
  • Influence
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus
TLDR
This paper surveys the work of the qualitative spatial reasoning group at Leeds. Expand
Spatial Reasoning with Propositional Logics
TLDR
We present a method for reasoning about spatial relationships on the basis of entailments in propositional logic, which provides efficient reasoning about a large class of spatial relations. Expand
Modal Logics for Qualitative Spatial Reasoning
  • B. Bennett
  • Mathematics, Computer Science
  • Log. J. IGPL
  • 1 February 1996
TLDR
0-order modal logics provide an alternative representation which is more expressive than classical 0-order logic and yet often more amenable to automated deduction than 1st-order formalisms. Expand
Representing and Reasoning with Qualitative Spatial Relations About Regions
TLDR
Qualitative Reasoning (QR) has now become a mature subfield of AI as its tenth annual international workshop, several books (e.g. Weld and de Kleer, 1990; Faltings and Struss, 1992)) and a wealth of conference and journal publications testify. Expand
A Foundation for Region-based Qualitative Geometry
TLDR
We present a highly expressive logical language for describing qualitative configurations of spatial regions, based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. Expand
A unifying semantics for time and events
TLDR
We give a formal semantics for a highly expressive language for representing temporal relationships and events. Expand
Space, time, matter and things
  • B. Bennett
  • Mathematics, Computer Science
  • FOIS
  • 17 October 2001
TLDR
An ontologically well-founded logical language for describing spatial, temporal and material properties of the physical world. Expand
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
TLDR
In this paper we advocate the use of multi-dimensional modal logics as a framework for knowledge representation and, in particular, for representing spatio-temporal information. Expand
Modal Semantics for Knowledge Bases Dealing with Vague Concepts
TLDR
The paper investigates the characterisation of vague concepts within the framework of modal logic. Expand
...
1
2
3
4
5
...