A relation – algebraic approach to the region connection calculus

We explore the relation – algebraic aspects of the region connection calculus (RCC) of Randell et al., Proceedings of the CADE, vol 11, pp. 786–790, Springer, Berlin, 1992a. In particular, we present a refinement of the RCC8 table which shows that the axioms provide for more relations than are liste...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science 2001, Vol.255 (1), p.63-83
Hauptverfasser:	Düntsch, Ivo, Wang, Hui, McCloskey, Steve
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebraic logic Exact sciences and technology Logic and foundations Mathematical logic, foundations, set theory Mathematics Mereology Region connection calculus Relation algebras Sciences and techniques of general use Spatial reasoning
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!