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
Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128) | , , , and ,
[URL] |
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 | , and ,
[URL] |
The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 | , and ,
|
2006
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) | and ,
[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 | ,
|
Development of Modular Ontologies in CASL, in: Workshop on Modular Ontologies 2006, CEUR-WS.org, 2006 | , and ,
[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 | ,
|
Specification of an Ontology for Route Graphs, in: Spatial Cognition IV, pages 390-412, Springer, D-69121 Heidelberg, Germany; http://www.springer.de, 2005 | , , , , and ,
[URL] |