Skip to main content Skip to main navigation


Page 1 of 2.

  1. 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.

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

  3. 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.

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

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

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

  7. Carsten Lutz; Lutz Schröder

    Probabilistic Description Logics for Subjective Uncertainty

    In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. …

  8. Lutz Schröder; Dirk Pattinson

    Named Models in Coalgebraic Hybrid Logic

    In: Jean-Yves Marion; Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. …

  9. Lutz Schröder; Dirk Pattinson

    Coalgebraic correspondence theory

    In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International …

  10. Lutz Schröder; Dirk Pattinson

    Rank-1 modal logics are coalgebraic

    In: Journal of Logic and Computation (JLC), Vol. 20, No. 5, Pages 1113-1147, Oxford University Press, Oxford, 2010.