메뉴 건너뛰기




Volumn 46, Issue 1-2, 2001, Pages 83-96

On connection synthesis via rough mereology

Author keywords

ech topology; Connection; Mereology; Ontology; Rough mereology

Indexed keywords


EID: 0035302088     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (10)

References (39)
  • 1
    • 0000968730 scopus 로고
    • 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 scopus 로고
    • 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
  • 14
    • 0002339454 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 19
    • 0001408921 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 38
    • 0004241822 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.