Keywords:
- CASL CASL-DL Knowledge Compilation
- CASL SPASS prover automatic FOL SoftFOL MathServe Vampire
- heterogeneous theorem proving tools logic proofs
- Modular Ontology CASL
- Navigation Sense-Plan-Act Haskell CASL
- proof heterogeneity logic institution prover theorem integration development graph
- Theory Approximation CASL Description Logic
Publications of Klaus Lüttich
2007
| , , , and , Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128) |
[URL] |
| and , Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007 |
|
| , and , The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 |
[URL] |
| , and , The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 |
|
2006
| and , An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web (2006), in: Spatial Cognition and Computation, 6:3(235-278) |
[URL] |
| , Approximation of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), pages 335--346, IOS Press; Amsterdam; http://www.iospress.nl, 2006 |
|
| , and , Development of Modular Ontologies in CASL, in: Workshop on Modular Ontologies 2006, CEUR-WS.org, 2006 |
[URL] |
2005
| , Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005 |
|
| , , , , and , Specification of an Ontology for Route Graphs, in: Spatial Cognition IV, pages 390-412, Springer, D-69121 Heidelberg, Germany; http://www.springer.de, 2005 |
[URL] |