Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2008
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 506.

  1. Oliver Kutz; Dominik Lücke; Till Mossakowski

    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. International Workshop on Foundations of Computer Science as Logic-Related, located at 5th International Colloquium on Theoretical Aspects of Computing (ICTAC-08), August 30, Istanbul, Turkey, 2008.

  2. Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanueal Normann

    The OWL in the CASL - Designing Ontologies Across Logics

    In: Catherine Dolbear; Alan Ruttenberg; Uli Sattler (Hrsg.). OWL: Experiences and Directions, 5th International Workshop. The OWL: Experiences and Directions Workshop (OWLED-08), October 26-27, Karlsruhe, Germany, No. 432, CEUR-WS, 2008.

  3. Mihai Codescu; Till Mossakowski

    Heterogeneous colimits

    In: Frédéric Boulanger; Christophe Gaston; Pierre-Yves Schobbens (Hrsg.). Workshop on Modeling, Validation and Heterogeneity. Workshop on Modeling, Validation and Heterogeneity (MoVaH-08), located at IEEE International Conference on Software Testing Verification and Validation, April 9-11, Lillehammer, Norway, IEEE press, 2008.

  4. Hui Shi; Yohei Kurata

    Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models

    In: Björn Gottfried; Hamid K. Aghajan (Hrsg.). 2nd International Workshop on Behavioral Monitoring and Interpretation. International Workshop on Behavioral Monitoring and Interpretation (BMI-08), 2nd, located at 31st Annual Conference on Artificial Intelligence (KI-2008), September 23, Kaiserslautern, Germany, Pages 42-56, CEUR Workshop Proceedings, Vol. 396, CEUR-WS.org, 2008.

  5. Yohei Kurata; Hui Shi

    RfDL: Models for Capturing Directional and Topological Characteristics of Path-Landmark Arrangements

    In: Nico Van de Weghe; Roland Billen; Bart Kuijpers; Peter Bogaert (Hrsg.). International Workshop on Moving Objects: From Natural to Formal Language. International Workshop on Moving Objects, located at GIScience 2008, September 23, Park City, UT, USA, 2008.

  6. Hui Shi; Yohei Kurata

    Reasoning on the Patterns of Spatial Arrangments between a Path and a Region-Like Landmarks

    In: Electric Poster Proceedings of GIScience 2008. International Conference on Geographic Information Science (GIScience-2008), September 23-26, Park City, UT, USA, 2008.

  7. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  8. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 208, Proceedings. Conferences on Intelligent Computer Mathematics (CICM-08), July 31 - August 1, Birmingham, United Kingdom, Pages 398-414, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5144, Springer, Berlin, Heidelberg, 2008.

  9. Dominik Dietrich; Ewaryst Schulz

    CRStL: A Declarative Language for the Encoding of Proof Techniques

    In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, Birmingham, United Kingdom, Pages 16-28, 2008.

  10. Harm op den Akker; Christian Husodo Schulz

    Exploring Features and Classifiers for Dialogue Act Segmentation

    In: Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI-08), 5th International Workshop, September 8-10, Utrecht, Netherlands, Pages 196-207, Lecture Notes in Computer Science (LNCS), Vol. 5237/2008, No. 0302-9743 (Print) 1611-3349 (Online), ISBN 978-3-540-85852-2. Springer, Berlin / Heidelberg, 9/2008.

Jahr