Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 51 to 60 of 370.
  1. Geert-Jan Kruijff; M. Brenner

    Modelling Spatio-Temporal Comprehension in Situated Human-Robot Dialogue as Reasoning about Intentions and Plans

    In: Proceedings of the Symposium on Intentions in Intelligent Systems. Symposium on Intentions in Intelligent Systems, Stanford University, Palo Alto, …

  2. Henrik Jacobsson; Geert-Jan Kruijff; Maria Staudte

    From Rule Extraction to Active Learning Symbol Grounding

    In: Proceedings of the ICRA-07 Workshop on Concept Learning for Embodied Agents. ICRA Workshop on Concept Learning for Embodied Agents, located at …

  3. M. Fritz; Geert-Jan Kruijff; B. Schiele

    Cross-Modal Learning Of Visual Categories Using Different Levels of Supervision

    In: Proceedings of the International Conference on Computer Vision Systems (ICVS 2007). International Conference on Computer Vision Systems (ICVS), …

  4. R. Looije; M. Neerincx; Geert-Jan Kruijff

    Affective Collaborative Robots for Safety & Crisis Management in the Field

    In: Proceedings of the 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2007). International Conference …

  5. Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen

    Towards a Virtual Echocardiographic Tutoring System

    In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …

  6. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

    Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

  7. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  8. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  9. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …

  10. Lutz Schröder; Dirk Pattinson

    Modular Algorithms for Heterogeneous Modal Logics

    In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …