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

Cyber-Physical Systems

Publikationen

Seite 98 von 106.

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 …
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. …
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 …
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, …
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 …
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 …
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 …
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. …
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 …
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 …