Fundamenta Informaticae > 2005 > Vol. 65, nr 4 > 329--351
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Asher, N., Vieu, L.: Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95) (C. Mellish, Ed.), Montreal, 1995, 846–852.
-
[2] Bell, J., Machover,M.: A Course in Mathematical Logic, North-Holland, 1977.
-
[3] Bennett, B.: Spatial Reasoning with Propositional Logics, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94) (J. Doyle, E. Sandewall, P. Torasso, Eds.), Morgan Kaufmann, San Francisco, CA., 1994.