| 2008 |
|---|
| 13 | EE | Joana Hois,
Oliver Kutz:
Natural Language Meets Spatial Calculi.
Spatial Cognition 2008: 266-282 |
| 2007 |
|---|
| 12 | | Peter Haase,
Vasant Honavar,
Oliver Kutz,
York Sure,
Andrei Tamilin:
Proceedings of the 1st International Workshop on Modular Ontologies, WoMO'06, co-located with the International Semantic Web Conference, ISWC'06 November 5, 2006, Athens, Georgia, USA
CEUR-WS.org 2007 |
| 11 | EE | Oliver Kutz,
Till Mossakowski:
Modules in Transition - Conservativity, Composition, and Colimits.
WoMO 2007 |
| 10 | EE | Oliver Kutz:
Notes on Logics of Metric Spaces.
Studia Logica 85(1): 75-104 (2007) |
| 2006 |
|---|
| 9 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
Will my Ontologies Fit Together?
Description Logics 2006 |
| 8 | | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Even More Irresistible SROIQ.
KR 2006: 57-67 |
| 2004 |
|---|
| 7 | EE | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of abstract description systems.
Artif. Intell. 156(1): 1-73 (2004) |
| 2003 |
|---|
| 6 | EE | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of Description Logics.
Description Logics 2003 |
| 5 | EE | Oliver Kutz,
Frank Wolter,
Holger Sturm,
Nobu-Yuki Suzuki,
Michael Zakharyaschev:
Logics of metric spaces.
ACM Trans. Comput. Log. 4(2): 260-294 (2003) |
| 2002 |
|---|
| 4 | | Oliver Kutz,
Frank Wolter,
Michael Zakharyaschev:
Connecting Abstract Description Systems.
KR 2002: 215-226 |
| 3 | | Oliver Kutz,
Holger Sturm,
Nobu-Yuki Suzuki,
Frank Wolter,
Michael Zakharyaschev:
Axiomatizing Distance Logics.
Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002) |
| 2001 |
|---|
| 2 | EE | Oliver Kutz,
Frank Wolter,
Michael Zakharyaschev:
A Note on Concepts and Distances.
Description Logics 2001 |
| 2000 |
|---|
| 1 | | Marcus Kracht,
Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames.
Advances in Modal Logic 2000: 299-320 |
