Topic: I4-SPIN - A Web Based Annotated Bibliography

Stefan Wölfl and Till Mossakowski (eds.), Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006

Klaus Lüttich, Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005

Stefan Wölfl and Till Mossakowski, CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005

[URL]

Achim Mahnke and Jan Scheffczyk, Engineering Mathematical Knowledge, in: Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, pages 250-266, Springer-Verlag Heidelberg, 2005

Till Mossakowski, Heterogeneous specification and the heterogeneous tool set, Universitaet Bremen, 2005

Till Mossakowski, Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005

[URL]

K. Lüttich, T. Mossakowski and B. Krieg-Brückner, Ontologies for the Semantic Web in CASL, in: Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), pages 106-125, Springer; Berlin; http://www.springer.de, 2005

[DOI]

Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski and Robert Ross, 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]

A. Mahnke and B. Krieg-Brückner, Literate Ontology Development, in: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, pages 753-757, Springer; Berlin; http://www.springer.de, 2004

T. Mossakowski, ModalCASL - Specification with Multi-Modal Logics. Language Summary, 2004

K. Lüttich and T. Mossakowski, Specification of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), pages 140-150, IOS Press; Amsterdam; http://www.iospress.nl, 2004

K. Lüttich, B. Krieg-Brückner and T. Mossakowski, Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004

T. Nipkow, L. C. Paulson and M. Wenzel, Isabelle/HOL - A Proof Assistant for Higher-Order Logic, Springer-Verlag Heidelberg, 2002

[URL]