Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds
- Christoph Hertzberg, R. Wagner, U. Frese, Lutz Schröder
- MathematicsInformation Fusion
- 6 July 2011
Probabilistic Description Logics for Subjective Uncertainty
- C. Lutz, Lutz Schröder
- Computer ScienceInternational Conference on Principles of…
- 9 May 2010
A detailed study of the complexity of reasoning in the new family of probabilistic DLs is shown, showing that it ranges from PTIME for weak variants based on the lightweight DL EL to undecidable for some expressive variantsBased on the DL ALC.
Expressivity of coalgebraic modal logic: The limits and beyond
- Lutz Schröder
- PhilosophyTheoretical Computer Science
- 1 January 2008
A finite model construction for coalgebraic modal logic
- Lutz Schröder
- Philosophy, Computer ScienceJ. Log. Algebraic Methods Program.
- 25 March 2006
Coalgebraic Predicate Logic
- Tadeusz Litak, D. Pattinson, Katsuhiko Sano, Lutz Schröder
- MathematicsInternational Colloquium on Automata, Languages…
- 9 July 2012
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as…
Generic Trace Semantics and Graded Monads
- S. Milius, D. Pattinson, Lutz Schröder
- Computer ScienceConference on Algebra and Coalgebra in Computer…
- 2015
A notion of graded algebras is introduced and it is shown how they play the role of formulas in trace logics and how they come with a notion of depth that corresponds, e.g., to trace length or bisimulation depth.
Generic Modal Cut Elimination Applied to Conditional Logics
- D. Pattinson, Lutz Schröder
- PhilosophyInternational Conference on Theorem Proving with…
- 20 October 2009
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part…
HasCasl: Integrated higher-order specification and program development
- Lutz Schröder, T. Mossakowski
- Computer ScienceTheoretical Computer Science
- 1 March 2009
Generic Exception Handling and the Java Monad
- Lutz Schröder, T. Mossakowski
- Computer ScienceInternational Conference on Algebraic Methodology…
- 12 July 2004
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previously described…
A coinductive calculus for asynchronous side-effecting processes
- S. Goncharov, Lutz Schröder
- Computer Science, MathematicsInformation and Computation
- 14 April 2011
...
...