Generalized Region Connection Calculus

&
Artificial Intelligence 160 (1-2):1-34 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2004.05.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Region Connection Calculus: Its models and composition table.Sanjiang Li & Mingsheng Ying - 2003 - Artificial Intelligence 145 (1-2):121-146.
Boolean connection algebras: A new approach to the Region-Connection Calculus.J. G. Stell - 2000 - Artificial Intelligence 122 (1-2):111-136.
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications.François Schwarzentruber - 2015 - Journal of Logic, Language and Information 24 (4):375-408.
Spatial reasoning in a fuzzy region connection calculus.Steven Schockaert, Martine De Cock & Etienne E. Kerre - 2009 - Artificial Intelligence 173 (2):258-298.
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus.Jochen Renz & Bernhard Nebel - 1999 - Artificial Intelligence 108 (1-2):69-123.
A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
A comment on rcc: From rcc to rcc ++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319 - 352.
A Comment on Rcc: From Rcc to Rcc++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319-352.
Powerset residuated algebras and generalized Lambek calculus.Miroslawa Kolowska-Gawiejnowicz - 1997 - Mathematical Logic Quarterly 43 (1):60-72.
Intuitionistic system without contraction.G. Dardzania - 1977 - Bulletin of the Section of Logic 6 (1):2-6.
Non-classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.
One Connection between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers.Dorit Ben Shalom - 2003 - Journal of Logic, Language and Information 12 (1):47-52.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Projective modules over non-commutative tori: classification of modules with constant curvature connection.Astashkevich Alexander & Schwarz Albert - unknown
The theory of random propositions.John D. Norton - 1994 - Erkenntnis 41 (3):325 - 352.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,254,017)

6 months
6 (#520,934)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.

View all 8 citations / Add more citations

References found in this work

A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
Individuals and points.Bowman L. Clark - 1985 - Notre Dame Journal of Formal Logic 26 (1):61-75.

View all 9 references / Add more references