 | 2011 |
|---|
| 8 |       | Torsten Hahmann,
Michael Gruninger:
A Naive Theory of Dimension for Qualitative Spatial Relations.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 |
| 7 | | Torsten Hahmann,
Michael Grüninger:
Multidimensional Mereotopology with Betweenness.
IJCAI 2011: 906-911 |
| 6 | | Michael Grüninger,
Torsten Hahmann,
Megan Katsumi:
Exploiting Modularity for Ontology Verification.
WoMO 2011: 55-62 |
| 2010 |
|---|
| 5 | | Michael Grüninger,
Torsten Hahmann,
Ali Hashemi,
Darren Ong:
Ontology Verification with Repositories.
FOIS 2010: 317-330 |
| 2009 |
|---|
| 4 | | Torsten Hahmann,
Michael Gruninger:
Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes.
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 11-16 |
| 3 | | Michael Winter,
Torsten Hahmann,
Michael Gruninger:
On the Skeleton of Stonian p-Ortholattices.
RelMiCS 2009: 351-365 |
| 2 | | Torsten Hahmann,
Michael Winter,
Michael Gruninger:
Stonian p-ortholattices: A new approach to the mereotopology RT0.
Artif. Intell. 173(15): 1424-1440 (2009) |
| 2008 |
|---|
| 1 |  | Torsten Hahmann,
Michael Gruninger:
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.
KR 2008: 263-273 |
Data released under the ODC-BY 1.0 license — See also our legal information page