Top
Topic: I4-SPIN
Publications for topic "I4-SPIN"
| 1-25 | 26-38 |
2006
Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006 | and (eds.),
2005
Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005 | ,
|
CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 | and ,
[URL] |
Engineering Mathematical Knowledge, in: Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, pages 250-266, Springer-Verlag Heidelberg, 2005 | and ,
|
Heterogeneous specification and the heterogeneous tool set, Universitaet Bremen, 2005 | ,
|
Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005 | ,
[URL] |
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 | , and ,
[DOI] |
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] |
2004
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 | and ,
|
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 | and ,
|
Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004 | , and ,
|
2002
Isabelle/HOL - A Proof Assistant for Higher-Order Logic, Springer-Verlag Heidelberg, 2002 | , and ,
[URL] |
| 1-25 | 26-38 |