Embedded Intelligence

Page 1 of 6.

1. Till Mossakowski; Markus Roggenbach; Lutz Schröder

   Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

   In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by Universitätsbibliothek TU Berlin, 2013.

2. Christoph Hertzberg; René Wagner; Udo Frese; Lutz Schröder

   Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds

   In: Information Fusion, Vol. 14, No. 1, Pages 57-77, Elsevier, 2013.

3. Lutz Schröder; Dirk Pattinson

   Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra

   In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011.

4. Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema

   Modal logics are coalgebraic

   In: The Computer Journal, Vol. 54, No. 1, Pages 31-41, Oxford University Press, Oxford, 2011.

5. Sergey Goncharov; Lutz Schröder

   Powermonads and Tensors of Unranked Effects

   In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science (LICS-2011), June 21-24, Toronto, Ontario, Canada, IEEE Computer Society, 2011.

6. Lutz Schröder; Dirk Pattinson

   Description Logics and Fuzzy Probability

   In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2011), July 16-22, Barcelona, Spain, AAAI Press, Menlo Park, CA, 2011.

7. Dirk Pattinson; Lutz Schröder

   Cut Elimination in Coalgebraic Logics

   In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.

8. Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder

   Creating a HasCASL library

   In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), located at Brazilian Conference on Software: Theory and Practice, September 27 - October 1, Salvador-Bahia, Brazil, 9/2010.

9. 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 (ECAI-2010), 19th, August 16-20, Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, IOS Press, 8/2010.

10. Lutz Schröder; Yde Venema

    Flat coalgebraic fixed point logics

    In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2010), 21st, August 31 - September 3, Paris, France, Lecture Notes in Computer Science, Springer, Berlin, 8/2010.

• 1
• 2
• 3
• …
• 6
• next