Default reasoning about spatial occupancy

Artificial Intelligence

Volumn 74, Issue 1, 1995, Pages 147-163

  Shanahan, Murray ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FORMAL LANGUAGES; FORMAL LOGIC; PROBLEM SOLVING;

DEFAULT REASONING; LOGIC BASED CALCULUS; REAL VALUED COORDINATE SYSTEM; SPATIAL PROPERTIES;

ARTIFICIAL INTELLIGENCE;

EID: 0029277384     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(94)00071-8     Document Type: Article

References (23)

1. Towards a general theory of action and time
2. Nonmonotonic reasoning in the framework of the situation calculus
3. Formalizing reasoning about change: a qualitative reasoning approach
4. A framework for qualitative reasoning about solid objects
5. The kinematics of cutting solid objects
6. Nonmonotonic logic and temporal projection
7. Ontology for liquids
8. A formal theory of spatial reasoning
9. A logic-based calculus of events
10. Computing circumscription
11. Formal theories of action
12. Toward a metatheory of action
13. Concurrent actions in the situation calculus
14. Some philosophical problems from the standpoint of artificial intelligence
15. A temporal logic for reasoning about processes and plans
16. Narratives in the situation calculus
17. Temporal reasoning in logic programming: a case for the situation calculus
18. A spatial logic based on regions and connection
19. The range of applicability of nonmonotonic logics for the inertia problem
20. Naïve kinematics: one aspect of shape