| 2007 |
|---|
| 7 | EE | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set, Hets.
TACAS 2007: 519-522 |
| 6 | EE | Till Mossakowski,
Christian Maeder,
Klaus Lüttich:
The Heterogeneous Tool Set (Hets).
VERIFY 2007 |
| 2006 |
|---|
| 5 | | Klaus Lüttich:
Approximation of Ontologies in CASL.
FOIS 2006: 335-346 |
| 4 | EE | Klaus Lüttich,
Till Mossakowski:
Reasoning Support for Caslwith Automated Theorem Proving Systems.
WADT 2006: 74-91 |
| 3 | EE | Klaus Lüttich,
Claudio Masolo,
Stefano Borgo:
Development of Modular Ontologies in CASL.
WoMO 2006 |
| 2004 |
|---|
| 2 | EE | Bernd Krieg-Brückner,
Udo Frese,
Klaus Lüttich,
Christian Mandel,
Till Mossakowski,
Robert J. Ross:
Specification of an Ontology for Route Graphs.
Spatial Cognition 2004: 390-412 |
| 1 | EE | Klaus Lüttich,
Till Mossakowski,
Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl.
WADT 2004: 106-125 |
