Interpreting Topological Logics over Euclidean Spaces (2010)

First Author: Kontchakov R;

Attributed to: Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1321

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