About the unification type of topological logics over Euclidean spaces
Author: Çigdem Gencer
Paper Information
| Title: | About the unification type of topological logics over Euclidean spaces |
| Authors: | Çigdem Gencer |
| Proceedings: | WiL Short Papers and Abstracts |
| Editors: | Valeria de Paiva, Amy Felty and Ursula Martin |
| Keywords: | topologicai logics, qualitative spatial reasoning, unification problem |
| Abstract: | ABSTRACT. We introduce a new inference problem for topological logics, the unifiability problem. Our main result is that, within the context of the mereotopology of all regular closed polygons of the real plane, unifiable formulas always have finite complete sets of unifiers. |
| Pages: | 6 |
| Talk: | Jul 08 12:00 (Session 38R) |
| Paper: |  |