-
1
-
-
0000968730
-
Toward a geometry of commonsense: A semantics and a complete axiomatization of mereotopology
-
Morgan Kauffman, San Mateo, CA
-
N. Asher, L. Vieu, Toward a geometry of commonsense: a semantics and a complete axiomatization of mereotopology, in: Proceedings IJCAI'95, Morgan Kauffman, San Mateo, CA, 1995, pp.846-852.
-
(1995)
Proceedings IJCAI'95
, pp. 846-852
-
-
Asher, N.1
Vieu, L.2
-
3
-
-
84972508690
-
A calculus of individuals based on connection
-
B. L. Clarke, A calculus of individuals based on connection, Notre Dame Journal of Formal Logic 22(2), 1981, pp.204-218.
-
(1981)
Notre Dame Journal of Formal Logic
, vol.22
, Issue.2
, pp. 204-218
-
-
Clarke, B.L.1
-
4
-
-
84947921911
-
Calculi for qualitative spatial reasoning
-
J. Calmet, J. A. Campbell, J. Pfalzgraf (eds.), Springer Verlag, Berlin
-
A. G. Cohn, Calculi for qualitative spatial reasoning, in: J. Calmet, J. A. Campbell, J. Pfalzgraf (eds.), Artificial Intelligence and Symbolic Mathematical Computation, Lecture Notes in Computer Science, vol. 1138, Springer Verlag, Berlin, pp. 124-143.
-
Artificial Intelligence and Symbolic Mathematical Computation, Lecture Notes in Computer Science
, vol.1138
, pp. 124-143
-
-
Cohn, A.G.1
-
5
-
-
0003385625
-
Representing spatial vagueness: A mereological approach
-
Morgan Kaufmann, San Francisco
-
A. G. Cohn, N. M. Gotts, Representing spatial vagueness: a mereological approach, in: Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference KR'96, Morgan Kaufmann, San Francisco, 1996, pp. 230-241.
-
(1996)
Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference KR'96
, pp. 230-241
-
-
Cohn, A.G.1
Gotts, N.M.2
-
6
-
-
0013035063
-
Connections relations in mereotopology
-
H. Prade (ed.), Wiley and Sons, Chichester
-
A. G. Cohn, A. C. Varzi, Connections relations in mereotopology, in: H. Prade (ed.), Proceedings ECAI'98. 13th European Conference on Artificial Intelligence, Wiley and Sons, Chichester, 1998, pp. 150-154.
-
(1998)
Proceedings ECAI'98. 13th European Conference on Artificial Intelligence
, pp. 150-154
-
-
Cohn, A.G.1
Varzi, A.C.2
-
7
-
-
0001770028
-
The "egg-yolk" representation of regions with indeterminate boundaries
-
P. Burrough, A. M. Frank (eds.), Fr. Taylor
-
A. G. Cohn, N. M. Gotts, The "egg-yolk" representation of regions with indeterminate boundaries, in: P. Burrough, A. M. Frank (eds.), Proceedings GISDATA Specialist Meeting on Spatial Objects with Undetermined Boundaries, Fr. Taylor, 1996, pp. 171-187.
-
(1996)
Proceedings GISDATA Specialist Meeting on Spatial Objects with Undetermined Boundaries
, pp. 171-187
-
-
Cohn, A.G.1
Gotts, N.M.2
-
8
-
-
0343331439
-
-
Kluwer, Dordrecht
-
J. Srzednicki, S. J. Surma, D. Barnett, V. F. Rickey (eds.), Collected Works of Stanisław Leśniewski, Kluwer, Dordrecht, 1992.
-
(1992)
Collected Works of Stanisław Leśniewski
-
-
Srzednicki, J.1
Surma, S.J.2
Barnett, D.3
Rickey, V.F.4
-
10
-
-
85015276012
-
Qualitative and topological relationships
-
Springer Verlag, Berlin
-
Z. Cui, A. G. Cohn, D. A. Randell, Qualitative and topological relationships, in: Advances in Spatial Databases, Lecture Notes in Computer Science, vol. 692, Springer Verlag, Berlin, 1993, pp. 296-315.
-
(1993)
Advances in Spatial Databases, Lecture Notes in Computer Science
, vol.692
, pp. 296-315
-
-
Cui, Z.1
Cohn, A.G.2
Randell, D.A.3
-
11
-
-
0343331438
-
Spatial information theory
-
Springer Verlag, Berlin
-
C. Freksa, D. M. Mark (eds.), Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science, Lecture Notes in Computer Science,vol. 1661, Springer Verlag, Berlin, 1999.
-
(1999)
Cognitive and Computational Foundations of Geographic Information Science, Lecture Notes in Computer Science
, vol.1661
-
-
Freksa, C.1
Mark, D.M.2
-
13
-
-
0042297676
-
A mereological approach to representing spatial vagueness
-
N. M. Gotts, A. G. Cohn, A mereological approach to representing spatial vagueness,in: Working papers, the Ninth International Workshop on Qualitative Reasoning, QR'95, 1995.
-
(1995)
Working Papers, the Ninth International Workshop on Qualitative Reasoning, QR'95
-
-
Gotts, N.M.1
Cohn, A.G.2
-
14
-
-
0002339454
-
A connection based approach to commonsense topological description and reasoning
-
N. M. Gotts, J. M. Gooday, A. G. Cohn, A connection based approach to commonsense topological description and reasoning, The Monist 79(1), 1996, pp. 51-75.
-
(1996)
The Monist
, vol.79
, Issue.1
, pp. 51-75
-
-
Gotts, N.M.1
Gooday, J.M.2
Cohn, A.G.3
-
15
-
-
0003322722
-
The ontological level
-
R. Casati, B. Smith, G. White (eds.), Hoelder-Pichler-Tempsky, Vienna
-
N. Guarino, The ontological level, in: R. Casati, B. Smith, G. White (eds.), Philosophy and the Cognitive Sciences, Hoelder-Pichler-Tempsky, Vienna, 1994.
-
(1994)
Philosophy and the Cognitive Sciences
-
-
Guarino, N.1
-
16
-
-
0002599912
-
Ontological tools for geographic representation
-
N. Guarino (ed.), IOS Press, Amsterdam
-
R. Casati, B. Smith, A.C. Varzi, Ontological tools for geographic representation, in: N. Guarino (ed.), Formal Ontology in Information Systems, IOS Press, Amsterdam, 1998, pp. 77-85.
-
(1998)
Formal Ontology in Information Systems
, pp. 77-85
-
-
Casati, R.1
Smith, B.2
Varzi, A.C.3
-
17
-
-
84958062921
-
Level cut conditioning approach to the necessity measure specification
-
Ning Zhong, A. Skowron, S. Ohsuga (eds.), Springer Verlag, Berlin
-
M. Inuiguchi, T. Tanino, Level cut conditioning approach to the necessity measure specification, in: Ning Zhong, A. Skowron, S. Ohsuga (eds.), New Directions in Rough Sets, Data Mining and Granular-Soft Computing, Lecture Notes in Artificial Intelligence, vol. 1711, Springer Verlag, Berlin, 1999, pp. 193-202.
-
(1999)
New Directions in Rough Sets, Data Mining and Granular-Soft Computing, Lecture Notes in Artificial Intelligence
, vol.1711
, pp. 193-202
-
-
Inuiguchi, M.1
Tanino, T.2
-
18
-
-
0004204349
-
-
John Wiley & Sons, Chichester
-
R. Kruse, J. Gebhardt, F. Klawonn, Foundations of Fuzzy Systems, John Wiley & Sons, Chichester, 1984.
-
(1984)
Foundations of Fuzzy Systems
-
-
Kruse, R.1
Gebhardt, J.2
Klawonn, F.3
-
19
-
-
0001408921
-
Point, line, surface as sets of solids
-
T. De Laguna, Point, line, surface as sets of solids, J. Philosophy 19, 1922, pp. 449-461.
-
(1922)
J. Philosophy
, vol.19
, pp. 449-461
-
-
De Laguna, T.1
-
21
-
-
0004418012
-
Grundzüge eines neuen systems der grundlagen der mathematik
-
S. Leśniewski, Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae 24, 1929, 242-251.
-
(1929)
Fundamenta Mathematicae
, vol.24
, pp. 242-251
-
-
Leśniewski, S.1
-
23
-
-
0002474469
-
On the foundations of mathematics
-
S. Leśniewski On the foundations of mathematics, Topoi 2, 1982, pp. 7-52.
-
(1982)
Topoi
, vol.2
, pp. 7-52
-
-
Leśniewski, S.1
-
25
-
-
0343767316
-
-
Atomicity vs. infinite divisibility of space, in: [11], pp. 235-250
-
C. Masolo, L. Vieu, Atomicity vs. infinite divisibility of space, in: [11], pp. 235-250.
-
-
-
Masolo, C.1
Vieu, L.2
-
27
-
-
0002970340
-
Rough membership functions
-
R. R. Yager, M. Fedrizzi, J. Kacprzyk (eds.), John Wiley and Sons, New York
-
Z. Pawlak and A. Skowron, Rough membership functions, in: R. R. Yager, M. Fedrizzi, J. Kacprzyk (eds.), Advances in the Dempster-Schafer Theory of Evidence, John Wiley and Sons, New York, 1994, pp. 251-271.
-
(1994)
Advances in the Dempster-Schafer Theory of Evidence
, pp. 251-271
-
-
Pawlak, Z.1
Skowron, A.2
-
29
-
-
0042798782
-
Grammar systems for distributed synthesis of approximate solutions extracted from experience
-
Gh. Paun, A. Salomaa (eds.), Gordon and Breach Sci. Publ./OPA, Amsterdam
-
L. Polkowski, A. Skowron, Grammar systems for distributed synthesis of approximate solutions extracted from experience, in: Gh. Paun, A. Salomaa (eds.), Grammatical Models of Multi-Agent Systems, Gordon and Breach Sci. Publ./OPA, Amsterdam, 1999, pp. 316-333.
-
(1999)
Grammatical Models of Multi-agent Systems
, pp. 316-333
-
-
Polkowski, L.1
Skowron, A.2
-
30
-
-
85086352522
-
Rough mereology in information systems with applications to qualitative spatial reasoning
-
to appear
-
L. Polkowski and A. Skowron, Rough mereology in information systems with applications to qualitative spatial reasoning, Fundamenta Informaticae, to appear.
-
Fundamenta Informaticae
-
-
Polkowski, L.1
Skowron, A.2
-
32
-
-
0042297670
-
Logic and formal ontology
-
J. N. Mohanty, W. McKenna (eds.), Lanham: University Press of America
-
B. Smith, Logic and formal ontology, in: J. N. Mohanty, W. McKenna (eds.), Husserl's Phenomenology: A Textbook, Lanham: University Press of America, 1989, pp. 29-67.
-
(1989)
Husserl's Phenomenology: A Textbook
, pp. 29-67
-
-
Smith, B.1
-
34
-
-
0002434467
-
Boundaries: An essay in mereotopology
-
L. Hahn (ed.), La Salle: Open Court
-
B. Smith, Boundaries: an essay in mereotopology, in: L. Hahn (ed.), The Philosophy of Roderick Chisholm, Library of Living Philosophers, La Salle: Open Court, 1997, pp. 534-561.
-
(1997)
The Philosophy of Roderick Chisholm, Library of Living Philosophers
, pp. 534-561
-
-
Smith, B.1
-
38
-
-
0004241822
-
Process and reality
-
Macmillan, New York, corr. ed. : D. R. Griffin, D. W. Sherbourne (eds.)
-
A. N. Whitehead, Process and Reality. An Essay in Cosmology, Macmillan, New York, 1929 (corr. ed. : D. R. Griffin, D. W. Sherbourne (eds.), 1978).
-
(1929)
An Essay in Cosmology
-
-
Whitehead, A.N.1
-
39
-
-
0032450512
-
Imprecision in finite resolution spatial data
-
M. F. Worboys, Imprecision in finite resolution spatial data, Geoinformatica, 1998, pp. 257-279.
-
(1998)
Geoinformatica
, pp. 257-279
-
-
Worboys, M.F.1
|