A tutorial on relation algebras and their application in spatial reasoning

[1]  C. Siegel.  Vorlesungen über die Algebra der Logik , 1907 .

[2]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[3]  A. Tarski,et al.  Zur Grundlegung der Boole'schen Algebra. I , 1935 .

[4]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[5]  R. Lyndon.  THE REPRESENTATION OF RELATIONAL ALGEBRAS , 1950 .

[6]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[7]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[8]  Bjarni Jónsson,et al.  Representation of modular lattices and of relation algebras , 1959 .

[9]  R. C. Lyndon.  Relation algebras and projective geometries. , 1961 .

[10]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[11]  D. Monk.  On representable relation algebras. , 1964 .

[12]  R. McKenzie.  Representations of integral relation algebras. , 1970 .

[13]  G. Grätzer,et al.  Lattice Theory: First Concepts and Distributive Lattices , 1971 .

[14]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[15]  B. Jónsson.  Varieties of relation algebras , 1982 .

[16]  R. Maddux.  Some varieties containing relation algebras , 1982 .

[17]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[18]  B. Jonsson.  Maximal algebras of binary relations , 1984 .

[19]  A. Tarski,et al.  What are logical notions , 1986 .

[20]  Tinko Tinchev,et al.  Modal Environment for Boolean Speculations , 1987 .

[21]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[22]  I. Németi,et al.  Decidability of relation algebras with weakened associativity , 1987 .

[23]  E. Orlowska.  Relational interpretation of modal logics , 1988 .

[24]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[25]  Roger D. Maddux,et al.  The origin of relation algebras in the development and axiomatization of the calculus of relations , 1991, Stud Logica.

[26]  István Németi,et al.  Algebraization of quantifier logics, an introductory overview , 1991, Stud Logica.

[27]  Vaughan R. Pratt,et al.  Dynamic algebras: Examples, constructions, applications , 1991, Stud Logica.

[28]  Ivo Düntsch.  Small integral relation algebras generated by a partial order , 1991 .

[29]  Ivo Düntsch,et al.  A nonpermutational integral relation algebra. , 1992 .

[30]  Anthony G. Cohn,et al.  Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.

[31]  Terence R. Smith,et al.  Algebraic approach to spatial reasoning , 1992, Int. J. Geogr. Inf. Sci..

[32]  Vaughan R. Pratt,et al.  On the Syllogism: IV; and on the Logic of Relations , 2022 .

[33]  M. Egenhofer,et al.  Assessing the Consistency of Complete and Incomplete Topological Information , 1993 .

[34]  Roger D. Maddux,et al.  Representations for Small Relation Algebras , 1994, Notre Dame J. Formal Log..

[35]  Max J. Egenhofer,et al.  Deriving the Composition of Binary Topological Relations , 1994, J. Vis. Lang. Comput..

[36]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

[37]  Anthony G. Cohn,et al.  The EGG/YOLK reliability hierarchy: semantic data integration using sorts with prototypes , 1994, CIKM '94.

[38]  Hajnal Andréka,et al.  The lattice of varieties of representable relation algebras , 1994, Journal of Symbolic Logic.

[39]  Brandon Bennett.  Some Observations and Puzzles about Composing Spatial and Temporal Relations , 1994 .

[40]  Ivo Düntsch,et al.  Binary Relations and Permutation Groups , 1995, Math. Log. Q..

[41]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[42]  Ivo Düntsch,et al.  Expressibility of properties of relations , 1995, Journal of Symbolic Logic.

[43]  N. Gotts.  An Axiomatic Approach to Topology For Spatial Information Systems , 1996 .

[44]  Ewa Orlowska,et al.  Relational Proof Systems for Modal Logics , 1996 .

[45]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[46]  Robin Hirsch,et al.  Expressive Power and Complexity in Algebraic Logic , 1997, J. Log. Comput..

[47]  Anthony G. Cohn,et al.  Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .

[48]  Hajnal Andréka,et al.  Decision problems for equational theories of relation algebras , 1997, Memoirs of the American Mathematical Society.

[49]  Michael F. Worboys,et al.  Imprecision in Finite Resolution Spatial Data , 1998, GeoInformatica.

[50]  M. Worboys.  Computation with imprecise geospatial data , 1998 .

[51]  M. Egenhofer.  Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[52]  Ivo Düntsch,et al.  Relations Algebras in Qualitative Spatial Reasoning , 1999, Fundam. Informaticae.

[53]  Ivo Düntsch,et al.  Rough Set Data Analysis , 2000 .

[54]  Ivo Düntsch,et al.  A Proof System for Contact Relation Algebras , 2000, J. Philos. Log..

[55]  Ian Pratt-Hartmann,et al.  Expressivity in Polygonal, Plane Mereotopology , 2000, J. Symb. Log..

[56]  Ivo Düntsch,et al.  Beyond modalities: sufficiency and mixed algebras , 2001 .

[57]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[58]  Ivo Düntsch,et al.  A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

[59]  Gunther Schmidt,et al.  A Necessary Relation Algebra for Mereotopology , 2001, Stud Logica.