Construction of Boolean contact algebras

AI Communications

Volumn 17, Issue 4, 2004, Pages 235-246

  Düntsch, Ivo ^a   Winter, Michael ^a  

^a BROCK UNIVERSITY   (Canada)

Author keywords

Boolean contact algebras; Qualitative spatial reasoning

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; ROBOTICS; SET THEORY;

BOOLEAN CONTACT ALGEBRAS; NON-ZERO ELEMENTS; QUALITATIVE SPATIAL REASONING;

BOOLEAN ALGEBRA;

EID: 10644269893     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. B.L. Clarke, A calculus of individuals based on 'connection', Notre Dame Journal of Formal Logic 22 (1981), 204-218.
2. T. de Laguna, Point, line and surface as sets of solids, The Journal of Philosophy 19 (1922), 449-461.
3. I. Düntsch and E. Orłowska, A proof system for contact relation algebras, Journal of Philosophical Logic 29 (2000), 241-262.
4. I. Düntsch and M. Winter, A representation theorem for Boolean contact algebras, Research report CS-03-08, Department of Computer Science, Brock University, 2003.
5. V. Efremovic, The geometry of proximity I, Mat Sbornik (New Series) 31 (1952), 189-200 (in Russian).
6. S. Koppelberg, General Theory of Boolean Algebras, Volume 1 of Handbook on Boolean Algebras, North Holland, 1989.
7. H.S. Leonard and N. Goodman, The calculus of individuals and its uses, Journal of Symbolic Logic 5 (1940), 45-55.
8. S. Leśniewski, O podstawach matematyki (1927-1931), 30-34.
9. S. Li, M. Ying and Y. Li, On countable RCC models, Preprint, 2003.
10. T. Mormann, Holes in the region connection calculus, Preprint, Presented at RelMiCS 6, Oisterwijk, 2001.
11. S.A. Naimpally and B.D. Warrack, Proximity Spaces, Cambridge University Press, Cambridge, 1970.
12. D.A. Randell, A.G. Cohn and Z. Cui, Computing transitivity tables: A challenge for automated theorem provers, in: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), D. Kapur, ed., Volume 607 of LNAI, Saratoga Springs, NY, Springer, 1992, pp. 786-790.
13. J. Stell, Boolean connection algebras: A new approach to the Region Connection Calculus, Artificial Intelligence 122 (2000), 111-136.
14. A.S. Swarc, Proximity spaces and lattices, Ucen. Zap. Ivanovsk Gos. Ped. Inst. 10 (1956), 55-60 (in Russian).
15. A. Tarski, Foundations of the geometry of solids, in: Logic, Semantics, Metamathematics, J.H. Woodger, ed., Clarendon Press, Oxford, 1956, pp. 24-29. Translation of the summary of an address given by A. Tarski to the First Polish Mathematical Congress, Lwów, 1927.
16. A. Tarski, Foundations of the geometry of solids, in: Logic, Semantics, Metamathematics, J.H. Woodger, ed., Clarendon Press, Oxford, 1956, pp. 24-29. Translation of the summary of an address given by A. Tarski to the First Polish Mathematical Congress, Lwów, 1927.
17. D. Vakarelov, I. Düntsch and B. Bennett, A note on proximity spaces and connection based mereology, in: Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01), C. Welty and B. Smith, eds, ACM, 2001, pp. 139-150.
18. A.N. Whitehead, Process and Reality, MacMillan, New York, 1929.