Top
Topic: I4-SPIN
Publications for topic "I4-SPIN" sorted by recency
| 1-25 | 26-38 |
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 | , and ,
|
CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 | and ,
[URL] |
Isabelle/HOL - A Proof Assistant for Higher-Order Logic, Springer-Verlag Heidelberg, 2002 | , and ,
[URL] |
What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124) | , and ,
[DOI] |
Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 | and ,
[DOI] |
A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 | , and ,
|
The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 | , and ,
|
The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 | , and ,
[URL] |
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] |
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 ,
|
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 ,
|
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 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 ,
|
Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007 | and ,
|
Development of Modular Ontologies in CASL, in: Workshop on Modular Ontologies 2006, CEUR-WS.org, 2006 | , and ,
[URL] |
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 ,
|
Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005 | ,
|
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 | ,
|
Qualitative reasoning about convex relations, in: Spatial Cognition VI 2008, pages 426-440, Springer, 2008 | , and ,
[DOI] |
A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010 | and ,
[URL] |
Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design (2010), in: Logica Univeralis, 4:2(255-333) | , and ,
[URL] |
Shapes of Alignments - Construction, Combination, and Computation, in: International Workshop on Ontologies: Reasoning and Modularity (WORM-08), 2008 | , and ,
[URL] |
Modules in Transition - Conservativity, Composition, and Colimits, in: Second International Workshop on Modular Ontologies, 2007 | and ,
[URL] |
| 1-25 | 26-38 |