Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/kr/KontchakovPZ10
AU - Kontchakov, Roman
AU - Pratt-Hartmann, Ian
AU - Zakharyaschev, Michael
TI - Interpreting Topological Logics over Euclidean Spaces.
BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010
PY - 2010//
UR - http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1321
ER -
