| Publication | Date of Publication | Type |
|---|
| Computing crisp bisimulations for fuzzy structures | 2024-04-18 | Paper |
| Approximate State Reduction of Fuzzy Finite Automata | 2024-04-09 | Paper |
| Characterization and computation of approximate bisimulations for fuzzy automata | 2023-10-30 | Paper |
| Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices | 2023-10-26 | Paper |
| Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics | 2023-06-28 | Paper |
| Fuzzy simulations and bisimulations between fuzzy automata | 2023-06-20 | Paper |
| Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic | 2021-10-27 | Paper |
| Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics | 2021-01-19 | Paper |
| ExpTime tableaux with global caching for hybrid PDL | 2020-03-03 | Paper |
| The Influence of the Test Operator on the Expressive Power of PDL-like Logics | 2020-02-17 | Paper |
| Computing Bisimulation-Based Comparisons | 2018-05-03 | Paper |
| OUP accepted manuscript | 2018-02-13 | Paper |
| ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic | 2017-11-09 | Paper |
| Bisimilarity for paraconsistent description logics | 2017-07-21 | Paper |
| On bisimulations for description logics | 2017-05-16 | Paper |
| A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic | 2017-03-22 | Paper |
| An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases | 2015-10-14 | Paper |
| A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics | 2015-10-14 | Paper |
| A Generalized QSQR Evaluation Method for Horn Knowledge Bases | 2015-09-17 | Paper |
| An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ | 2015-06-26 | Paper |
| Logic-Based Roughification | 2015-04-02 | Paper |
| Bisimulation-Based Concept Learning in Description Logics | 2014-12-22 | Paper |
| ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching | 2013-07-05 | Paper |
| Converse-PDL with regular inclusion axioms: a framework for MAS logics | 2012-07-17 | Paper |
| ExpTime tableau decision procedures for regular grammar logics with converse | 2012-03-09 | Paper |
| Checking Consistency of an ABox w.r.t. Global Assumptions in PDL | 2011-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005913 | 2011-06-10 | Paper |
| A Framework for Graded Beliefs, Goals and Intentions | 2011-01-03 | Paper |
| Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$ | 2010-11-02 | Paper |
| Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic | 2010-07-20 | Paper |
| Completeness of hyper-resolution via the semantics of disjunctive logic programs | 2009-12-04 | Paper |
| Modal logic programming revisited | 2009-11-30 | Paper |
| Clausal Tableaux for Multimodal Logics of Belief | 2009-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192939 | 2009-08-10 | Paper |
| A Tableau Calculus for Regular Grammar Logics with Converse | 2009-07-28 | Paper |
| Reasoning About Epistemic States of Agents by Modal Logic Programming | 2009-04-28 | Paper |
| Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs | 2009-02-12 | Paper |
| Reconstruction and time reversal in thermoacoustic tomography in acoustically homogeneous and inhomogeneous media | 2008-11-06 | Paper |
| A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$ | 2008-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509063 | 2008-07-01 | Paper |
| Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics | 2008-05-05 | Paper |
| EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies | 2008-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422268 | 2007-10-17 | Paper |
| The Data Complexity of MDatalog in Basic Modal Logics | 2007-09-05 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Multimodal logic programming | 2006-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483012 | 2006-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480638 | 2006-08-03 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4454845 | 2004-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412861 | 2003-07-17 | Paper |
| Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5 | 2002-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762271 | 2002-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721206 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500376 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941911 | 2000-09-05 | Paper |
