Brandon Bennett  Home/Search
Context Related
Links: DBLP | agora.leeds.ac.uk/scs/doc/...KR94BB.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: scs.leeds.ac.uk/staff/brandon (more) Homepages: B.Bennett |
Rate this article:      (best)Comment on this article |
Abstract: I present a method for reasoning about spatial relationships on the basis of entailments in propositional logic. Formalisms for representing topological and other spatial information (e.g. [2] [10] [11]) have generally employed the 1st-order predicate calculus. Whilst this language is much more expressive than 0-order (propositional) calculi it is correspondingly harder to reason with. Hence, by encoding spatial relationships in a propositional representation automated reasoning becomes more... (Update)
Cited by: More
A Knowledge-based Approach to Behavior Decision in.. - Andreas Lattner Jan (Correct)
Knowledge-based Risk Assessment for Intelligent Vehicles - Lattner, Timm, Lorenz, Herzog (2005) (Correct)
Relation Algebras and Their Application in Qualitative Spatial.. - Düntsch (2003) (Correct)
Similar documents (at the sentence level):
12.8%: Logical Representations for Automated Reasoning about Spatial.. - Bennett (1997) (Correct)
Active bibliography (related documents): More All
0.3: Circumscription and Implicit Definability - Doyle (1985) (Correct)
0.3: Issues in Commonsense Set Theory - Pakkan, Akman (1992) (Correct)
0.2: Carving Up Space: steps towards construction of an absolutely.. - Bennett (Correct)
Similar documents based on text: More All
0.1: Why Not Use a Pattern-based Parallel Programming System? - Anvik, Schaeffer, Szafron.. (2003) (Correct)
0.1: Architectural-Level Synthesis Of Asynchronous Systems - Bachman (1998) (Correct)
0.0: The Application of Qualitative Spatial Reasoning to GIS - Extended Brandon (Correct)
Related documents from co-citation: More All
50: A spatial logic based on regions and connection - Randell, Cui et al. - 1992
27: Maintaining knowledge about temporal intervals (context) - Allen - 1983
24: Computational properties of qualitative spatial reasoning: First results - Nebel - 1995
BibTeX entry: (Update)
B. Bennett. Spatial reasoning with propositional logics. In J Doyle, E Sandewall, and P Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), San Francisco, CA., 1994. Morgan Kaufmann. http://citeseer.ist.psu.edu/bennett94spatial.html More
@incollection{ bennett94spatial,
author = "Brandon Bennett",
title = "Spatial Reasoning with Propositional Logics",
booktitle = "{KR}'94: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Jon Doyle and Erik Sandewall and Pietro Torasso",
pages = "51--62",
year = "1994",
url = "citeseer.ist.psu.edu/bennett94spatial.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983 ACM DBLP
272 Argonne National Laboratory (context) - McCune - 1990
225 A spatial logic based on regions and connection - Randell, Cui et al. - 1992
73 connection (context) - Clark - 1985
47 Modelling topological and metrical properties of physical pr.. - Randell, Cohn - 1989
34 Computing transitivity tables: A challenge for automated the.. (context) - Randell, Cohn et al. - 1992
34 Theoretical Computer Science (context) - Oppen - 1980
32 What is elementary geometry (context) - Tarski - 1959
30 space decision procedure for intuitionistic propositional lo.. (context) - Hudelmaier, An et al. - 1993
13 Qualitative spatial reasoning and representation (context) - Cohn, Randell et al. - 1993
10 Sentential calculus and topology (context) - Tarski - 1956
7 Introduction to Set Theory and Topology (context) - Kuratowski - 1972
6 Oxford Logic Guides (context) - Dummett - 1977
3 Thirty Years of Foundational Studies (context) - Mostowski - 1966
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.scs.leeds.ac.uk/staff/brandon.html):
Towards a Decision Procedure for the RCC Theory of Spatial.. - Bennett (1995) (Correct)
Carving Up Space: Existential Axioms for a Formal Theory of.. - Bennett (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC