Embedded Intelligence

Page 1 of 1.

1. Lutz Schröder; Dirk Pattinson; Daniel Hausmann

   Optimal Tableaux for Conditional Logics with Cautious Monotonicity

   In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

2. Daniel Hausmann; Lutz Schröder

   Optimizing Conditional Logic Reasoning within CoLoSS

   In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for …

3. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

   The Importance of Being Formal

   In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International …

4. Daniel Hausmann; Lutz Schröder

   Optimizing Conditional Logic Reasoning within CoLoSS

   In: Thomas Bolander; Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6), November …

5. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

   Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

   In: Walid Maalej; Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen, …

6. Christoph Lüth; Udo Frese; Holger Täubig; Dennis Walter; Daniel Hausmann

   SAMS: Sicherheitskomponente für Autonome Mobile Serviceroboter

   In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, …

7. Daniel Hausmann; Till Mossakowski; Lutz Schröder

   A Coalgebraic Approach to the Semantics of the Ambient Calculus

   In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.

8. Daniel Hausmann; Till Mossakowski; Lutz Schröder

   Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

   In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …

• 1