Brandon Bennett  Home/Search
Context
Related
| comp.leeds.ac.uk/q...nnettfois01.ps.gz 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: comp.leeds.ac.uk/s...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: I present a logical language for describing spatial, temporal and material properties of the physical world. The formalism is ontologically well-founded in the sense that it is interpreted with respect to model structures that have a specific physical interpretation in terms of the distribution of matter in space and time. (Update)
Active bibliography (related documents): More All
0.5: An Axiomatization of Prior's Ockhamist Logic of Historical.. - Reynolds (2003) (Correct)
0.5: A Categorical Axiomatisation of Region-Based Geometry - Bennett (2001) (Correct)
0.5: Tiers Of Ontology And Consistency Constraints In Geographic.. - Frank (1998) (Correct)
Similar documents based on text: More All
0.3: Physical Objects, Identity and Vagueness - Bennett (Correct)
0.2: What is a Forest? On the vagueness of certain geographic concepts - Bennett (2002) (Correct)
0.2: Application of Supervaluation Semantics to Vaguely Defined.. - Bennett (Correct)
BibTeX entry: (Update)
@inproceedings{ bennett01space,
author = "Brandon Bennett",
title = "Space, Time, Matter and Things",
booktitle = "FOIS 2001",
year = "2001",
url = "citeseer.ist.psu.edu/615148.html" }
Citations (may not include all citations):225 A spatial logic based on regions and connection - RANDELL, CUI et al. - 1992
160 A temporal logic for reasoning about processes and plans (context) - MCDERMOTT - 1982
82 CYC: a mid-term report (context) - GUHA, LENAT - 1990
76 Parts: A Study In Ontology (context) - SIMONS - 1987
30 Combinations of tense and modality (context) - THOMASON - 1984
12 Space-time as a primitive for space and motion - MULLER - 1998
11 Describing rigid body motions in a qualitative theory of spa.. - BENNETT, COHN et al.
10 A foundation for region-based qualitative geometry - BENNETT, COHN et al.
10 An ontological theory of physical objects (context) - BORGO, GUARINO et al. - 1997
8 A pointless theory of space based on strong congruence and c.. (context) - BORGO, GUARINO et al. - 1996
7 time and movement (context) - GALTON - 1997
6 Region-based qualitative geometry - BENNETT, COHN et al.
5 Basic problems of mereotopology - VARZI - 1998
4 of Frontiers in Artificial Intelligence and Applications (context) - GUARINO - 1998
3 The Logic of Common Nouns: an investigation in quantified mo.. (context) - GUPTA - 1980
3 A categorical axiomatisation of region-based geometry - BENNETT - 2001
2 The Ontology of Physical Objects (context) - HELLER - 1991
2 Journal of Philosophical Logic (context) - VON KUTSCHERA - 1997
2 Spatial ontology: a geographical information point of view (context) - FRANK - 1997
1 QSR Group Technical Report (context) - BENNETT, GALTON - 2000
1 Is a thing just the sum of its parts (context) - HUGHES - 1986
1 A versatile representation for time and events - BENNETT, GALTON
1 with an application to qualitative changes in spatial relati.. (context) - GALTON - 2000
Documents on the same site (http://www.comp.leeds.ac.uk/spacenet/publications.html): More
Topology From A Single Primitive Relation: Defining Topological.. - Gotts (1996) (Correct)
An Axiomatic Approach to Topology For Spatial Information Systems - Gotts (1996) (Correct)
Using The `RCC' Formalism To Describe The Topology Of Spherical.. - Gotts (1996) (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