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

Cyber-Physical Systems

Publikationen

Seite 104 von 113.

Lutz Schröder
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
In: Theoretical Computer Science, Vol. 390, Pages 230-247, 2008.
Lutz Schröder
Linearizability of Non-expansive Semigroup Actions on Metric Spaces
In: Topology and its Applications, Vol. 155, Pages 1576-1579, 2008.
Lutz Schröder; Dirk Pattinson
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics
In: Gerhard Brewka; Jerôme Lang (Hrsg.). Principles of Knowledge Representation and Reasoning (KR 2008). International Conference on Principles of Knowledge Representation and Reasoning (KR-2008), September 16-19, Sydney, Australia, Pages 307-218, AAAI Press, Menlo Park, CA, 2008.
Lutz Schröder; Dirk Pattinson
Shallow models for non-iterative modal logics
In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). Proc. German Conference on Artificial Intelligence (KI 2008). German Conference on Artificial Intelligence (KI-2008), 31st Annual German Conference on AI, September 23-26, Kaiserslautern, Germany, Pages 324-331, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5243, Springer, 2008.
Hui Shi; Bernd Krieg-Brückner
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks
In: International Journal of Software and Informatics (IJSI), Vol. 2, No. 1, Pages 33-60, 2008.
Hui Shi; Bernd Krieg-Brückner
Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 3, Pages 59-61, 2008.
Till Mossakowski
Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods
In: Theoretical Computer Science (TCS), 2008.
Tim Laue; Thomas Röfer
SimRobot - Development and Applications
In: E. Menegatti (Hrsg.). Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008). International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR-2008), November 3-7, Venice, Italy, Pages 143-150, Proceedings on CD-ROM, 2008.
Lutz Schröder
Bootstrapping Inductive and Coinductive Types in HasCASL
In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.
M. Gissler; Udo Frese; M. Teschner
Exact Distance Computation for Deformable Objects
In: Proceedings of the Computer Animation and Social Agents 2008 Conference. Annual Conference on Computer Animation and Social Agents (CASA-2008), September 1-3, Seoul, Korea, Republic of, 2008.