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

Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas (2020) König B, Mika-Michalski C, Schröder L Conference contribution A modal characterization theorem for a probabilistic fuzzy description logic (2019) Wild P, Schröder L, Pattinson D, König B Conference contribution A van Benthem theorem for fuzzy modal logic (2018) Wild P, Schröder L, Pattinson D, König B Conference contribution, Conference Contribution Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures (2017) Evert S, Heinrich P, Henselmann K, Rabenstein U, Scherr E, Schröder L Conference contribution, Conference Contribution Probabilistic Description Logics for Subjective Uncertainty (2017) Gutierreiz-Basulto V, Jung JC, Lutz C, Schröder L Journal article, Original article Ontological Modelling of a Psychiatric Clinical Practice Guideline (2017) Gorin D, Meyn M, Naumann A, Polzer M, Rabenstein U, Schröder L Conference contribution, Original article A Characterization Theorem for a Modal Description Logic (2017) Wild P, Schröder L Conference contribution, Original article Efficient Coalgebraic Partition Refinement (2017) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets (2016) Milius S, Schröder L, Wißmann T Journal article, Original article Program Equivalence is Coinductive (2016) Schröder L, Pattinson D Conference contribution, Original article