BibSonomy :: user  :: thau ::

bookmarks

publications

(6)   

• On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
  Jochen Renz and Bernhard Nebel Artif. Intell.108(1-2):69-123(1999)
  to rcc by thau and 1 other person on Nov 20, 2007, 9:14 PM
  URL | BibTeX 
• Spatial Reasoning with Propositional Logics
  Brandon Bennett KR'94: Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, California, (1994)
  to rcc propositional-logic by thau and 2 other people on Nov 20, 2007, 9:12 PM
  URL | BibTeX 
• A Spatial Logic Based on Regions and Connection
  David A. Randell and Zhan Cui and Anthony Cohn KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Morgan Kaufmann, San Mateo, California, (1992)
  to rcc by thau and 2 other people on Nov 20, 2007, 9:08 PM
  URL | BibTeX 
• E-Connections and Logics of Distance
  Oliver Kutz University of Liverpool, may2004.
  to mathematical-foundations logic rcc spatial by thau on Oct 6, 2007, 1:01 AM
  URL | BibTeX 
• A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
  Carsten Lutz and Maja Miličić Automated Reasoning with Analytic Tableaux and Related Methods(2005)
  to description-logic rcc kr by thau on Oct 5, 2007, 11:34 PM
  URL | BibTeX 
• A Complete Classification of Tractability in RCC-5
  Peter Jonsson and Thomas Drakengren Journal of Artificial Intelligence Research(1997)
  to mathematical-foundations rcc by thau and 3 other people on Sep 27, 2007, 8:44 PM
  BibTeX