Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL)

Unguarded Recursion on Coinductive Resumptions (2015) Goncharov S, Rauch C, Schröder L Conference contribution, Original article Monodic Fragments of Probabilistic First-order Logic (2014) Jung JC, Lutz C, Goncharov S, Schröder L Conference contribution, Conference Contribution COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (2014) Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T Conference contribution, Original article Semantic Support for Engineering Design Processes (2014) Breitsprecher T, Codescu SM, Schröder L, Wartzack S, jucovschi C, Kohlhase M Conference contribution, Original article Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics (2014) Gorin D, Schröder L Conference contribution, Original article Preface to CALCO-Tools (2013) Schröder L Conference contribution, other Coalgebraic Announcement Logics (2013) Gorin D, Schröder L, Carreiro F Conference contribution, Original article Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (2013) Kulacka A, Pattinson D, Schröder L Conference contribution, Original article Simulations and Bisimulations For Coalgebraic Modal Logics (2013) Gorin D, Schröder L Conference contribution, Original article Reasoning with Bounded Self-reference Using Logical Interpreters (2013) Gorin D, Schröder L, Wißmann T Conference contribution, Original article