Top
Topic: I4-SPIN
Publications for topic "I4-SPIN" sorted by title
| 1-25 | 26-38 |
A
| , and , A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 |
|
| and , 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 |
[URL] |
| 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 |
|
| , Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005 |
|
C
| , and , Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design (2010), in: Logica Univeralis, 4:2(255-333) |
[URL] |
| and , CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 |
[URL] |
| , , and , CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 |
[DOI] |
| and , Conservativity in Structured Ontologies, in: ECAI 2008, IOS Press, 2008 |
|
D
| , and , Development of Modular Ontologies in CASL, in: Workshop on Modular Ontologies 2006, CEUR-WS.org, 2006 |
[URL] |
E
| and , Engineering Mathematical Knowledge, in: Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, pages 250-266, Springer-Verlag Heidelberg, 2005 |
|
H
| and , Heterogeneous colimits, in: MoVaH'08 Workshop on Modeling, Validation and Heterogeneity, IEEE press, 2008 |
[URL] |
| and , Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 |
[DOI] |
| , 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] |
| , and , Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, in: Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, 2008 |
[URL] |
I
| , and , Isabelle/HOL - A Proof Assistant for Higher-Order Logic, Springer-Verlag Heidelberg, 2002 |
[URL] |
L
| 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 |
|
M
| , and , Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE, in: First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08), 2008 |
[URL] |
| and , Modules in Transition - Conservativity, Composition, and Colimits, in: Second International Workshop on Modular Ontologies, 2007 |
[URL] |
O
| , , , and , Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128) |
[URL] |
| , 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 |
[DOI] |
| and , Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions, in: Geographic Information Science - Fourth International Conference, GIScience 2006, Springer; Berlin; http://www.springer.de, 2006 |
| , and , Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects (2009), in: CoRR, abs/0912.5533 |
[URL] |
| 1-25 | 26-38 |