Interpreting Topological Logics over Euclidean Spaces (2010)

First Author: Kontchakov R;
Attributed to:  Computational Logic of Euclidean Spaces funded by EPSRC


No abstract provided

Bibliographic Information

Publication URI:

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010