Cognitive Assistants

Page 3 of 6.

1. Georgel Calin; Rob Myers; Dirk Pattinson; Lutz Schröder

   CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)

   In: Carlos Areces; Stephane Demri (Hrsg.). Methods for Modalities (M4M-5). Methods for Modalities (M4M-5), November 29-30, Cachan, France, Pages …

2. Lutz Schröder; Dirk Pattinson

   PSPACE Bounds for Rank-1 Modal Logics

   In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.

3. Lutz Schröder; Till Mossakowski

   HasCASL: Integrated Higher-Order Specification and Program Development

   In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.

4. Rob Myers; Dirk Pattinson; Lutz Schröder

   Coalgebraic Hybrid Logic

   In: Luca de Alfaro (Hrsg.). Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science …

5. Dirk Pattinson; Lutz Schröder

   Generic Modal Cut Elimination Applied to Conditional Logics

   In: Martin Giese; Arild Waaler (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods. International Conference on Automated …

6. Lutz Schröder; Dirk Pattinson; Clemes Kupke

   Nominals for Everyone

   In: Craig Boutilier (Hrsg.). International Joint Conferences on Artificial Intelligence. International Joint Conference on Artificial Intelligence …

7. Lutz Schröder; Dirk Pattinson

   Strong completeness of coalgebraic modal logics

   In: Susanne Albers; Jean-Yves Marion (Hrsg.). International Symposium on Theoretical Aspects of Computer Science. International Symposium on …

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

9. Thomas Röfer; Christian Mandel; Axel Lankenau; Bernd Gersdorf; Udo Frese

   15 Years of Rolland

   In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages …

10. Udo Frese; Tim Laue; Oliver Birbach; Jörg Kurlbaum; Thomas Röfer

    (A) Vision for 2050 Context-Based Image Understanding for a Human-Robot Soccer Match

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festkolloquium for Bernd Krieg-Brückner's 60th birthday. Pages 273-289, Sichere Kognitive …

• previous
• 1
• …
• 2
• 3
• 4
• …
• 6
• next