Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publikationen

Seite 106 von 114.

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.
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.
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.
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.
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.
Oliver Kutz; Till Mossakowski
Conservativity in Structured Ontologies
In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2008), July 21-25, Patras, Greece, Pages 89-93, Frontiers in Artificial Intelligence and Applications, Vol. 178, ISBN 978-1-58603-891-5, IOS Press, Amsterdam, The Netherlands, 2008.
Dominik Lücke; Till Mossakowski; Diedrich Wolter
Qualitative reasoning about convex relations
In: Christian Freksa; Nora S. Newcombe; Peter Gärdenfors; Stefan Wölfl (Hrsg.). Spatial Cognition VI. Learning, Reasoning, and Talking about Space. International Conference Spatial Cognition (Spatial Cognition-08), September 15-19, Freiburg, Germany, Pages 426-440, Lecture Notes in Computer Science, Vol. 5248, ISBN 978-3-540-87600-7, Springer, Berlin, Heidelberg, 2008.
David Aspinall; Ewen Denney; Christoph Lüth
A Tactic Language for Hiproofs
In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). 7th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007), located at Conferences on Intelligent Computer Mathematics (CICM 2008), July 28 - August 1, Birmingham, United Kingdom, Pages 339-354, Lecture Notes in Computer Science (LNCS), Vol. 5144, Springer, 2008.
Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller
Deep Inference for Automated Proof Tutoring?
In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2007), September 10-13, Osnabrück, Germany, Pages 435-439, Lecture Notes in Computer Science (LNCS), Vol. 4667, ISBN 978-3-540-74564-8, Springer, 9/2007.
Carsten Ullrich; Qizhi Chen; S. Chen; L. Shen; R. Shen
Investigating the Reuse of Course Generation Knowledge
In: T. Hirashima; H.U. Hoppe; S. Shwu-Ching Young (Hrsg.). Supporting Learning Flow Through Integrative Technologies. Frontiers in Artificial Intelligence and Applications. Pages 91-104, Vol. 162, IOS Press, 2007.