|
451
|
A Spatial Logic based on Regions and Connection
– David A. Randell, Zhan Cui, Anthony G. Cohn
- 1992
|
|
552
|
Modal Logic: an Introduction
– B F Chellas
- 1980
|
|
76
|
Modal Logics for Qualitative Spatial Reasoning
– Brandon Bennett, G. F. Shwartz, Minimal Artificial
- 1996
|
|
1988
|
Maintaining Knowledge about Temporal Intervals
– James F Allen
- 1983
|
|
79
|
TBox and ABox Reasoning in Expressive Description Logics
– Giuseppe De Giacomo, Maurizio Lenzerini
- 1996
|
|
241
|
Parts - A Study in Ontology
– P Simons
- 1987
|
|
16
|
Characteristica Universalis
– Barry Smith, From K. Mulligan
- 1990
|
|
60
|
Concepts, Attributes, and Arbitrary Relations -- Some Linguistic and . . .
– Nicola Guarino
- 1992
|
|
1103
|
Toward Principles for the Design of Ontologies Used for Knowledge Sharing
– Thomas R. Gruber
- 1993
|
|
593
|
Introduction to Metamathematics
– S C Kleene
- 1971
|
|
35
|
Computational Properties of Qualitative Spatial Reasoning: First Results
– Bernhard Nebel
- 1995
|
|
92
|
Spatial Reasoning with Propositional Logics
– Brandon Bennett
- 1994
|
|
194
|
Reasoning about Binary Topological Relations
– M J Egenhofer
- 1991
|
|
87
|
Qualitative Spatial Representation and Reasoning Techniques
– A.G. Cohn
- 1997
|
|
71
|
Topological inference
– Michelangelo Grigni, Dimitris Papadias, Christos Papadimitriou
- 1995
|
|
255
|
A Useful Four-Valued Logic
– N Belnap
- 1977
|
|
254
|
Proof Methods for Modal and Intuitionistic Logic
– M Fitting
- 1983
|
|
396
|
Model Theory
– C C Chang
- 1973
|
|
44
|
A Canonical Model of the Region Connection Calculus
– Jochen Renz
- 1997
|
