Publikationen

Seite 2 von 6.

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 …
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 …
Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)
Intelligent Computer Mathematics 2010 (CICM 2010)
Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th …
Serge Autexier; Dominik Dietrich
A Tactic Language for Declarative Proofs
In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on …
Till Mossakowski; Lutz Schröder; Sergey Goncharov
A Generic Complete Dynamic Logic for Reasoning about Purity and Effects
In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/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 …
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. …
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 …
Serge Autexier; Petr Sojka; Masakazu Suzuki
Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword)
In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.
David Aspinall; Ewen Denney; Christoph Lüth
Tactics for Hierarchical Proofs
In: Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.