Publications

Page 1 of 2.

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.
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.
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.
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.
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.
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 Modalities, November 12-14, Kopenhagen, Denmark, Pages 157-171, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 262, Elsevier, Amsterdam, 5/2010.
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. International Conference on Principles of Knowledge Representation and Reasoning (KR-2010), 12th, May 9-13, Toronto, Ontario, Canada, AAAI Press, Menlo, CA, 5/2010.
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. International Symposium on Theoretical Aspects of Computer Science (STACS-2010), 27th, March 4-6, Nancy, France, Pages 645-656, Leibniz International Proceedings in Informatics, Vol. 5, Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany, 3/2010.
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 Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/2010.
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.