| Publication | Date of Publication | Type |
|---|
| Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments | 2024-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884935 | 2023-03-24 | Paper |
| Semantic forgetting in expressive description logics | 2022-03-24 | Paper |
| Automating automated reasoning. The case of two generic automated reasoning tools | 2020-06-04 | Paper |
| Extending forgetting-based abduction using nominals | 2020-05-13 | Paper |
| FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions | 2020-03-10 | Paper |
| Blocking and other enhancements for bottom-up model generation methods | 2020-03-03 | Paper |
| Reinterpreting dependency schemes: soundness meets incompleteness in DQBF | 2019-09-02 | Paper |
| FAME: an automated tool for semantic forgetting in expressive description logics | 2018-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636309 | 2018-04-23 | Paper |
| Rule refinement for semantic tableau calculi | 2018-02-02 | Paper |
| The axiomatic translation principle for modal logic | 2017-07-12 | Paper |
| A tableau calculus for minimal modal model generation | 2016-10-07 | Paper |
| Lifting QBF Resolution Calculi to DQBF | 2016-09-05 | Paper |
| A Tableau Method for Checking Rule Admissibility in S4 | 2016-08-05 | Paper |
| Simulation and Synthesis of Deduction Calculi | 2016-08-05 | Paper |
| A bi-intuitionistic modal logic: foundations and automation | 2016-06-22 | Paper |
| Modal Tableau Systems with Blocking and Congruence Closure | 2015-12-11 | Paper |
| Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies | 2014-09-26 | Paper |
| Terminating Minimal Model Generation Procedures for Propositional Modal Logics | 2014-09-26 | Paper |
| Using tableau to decide description logics with full role negation and identity | 2014-04-16 | Paper |
| Tableau Development for a Bi-intuitionistic Tense Logic | 2014-04-16 | Paper |
| Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies | 2014-01-17 | Paper |
| A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ | 2013-10-04 | Paper |
| Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints | 2013-09-20 | Paper |
| Computing Minimal Models Modulo Subset-Simulation for Modal Logics | 2013-09-20 | Paper |
| First-Order Resolution Methods for Modal Logics | 2013-04-19 | Paper |
| Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete | 2013-03-21 | Paper |
| The Ackermann approach for modal logic, correspondence theory and second-order reduction | 2012-05-23 | Paper |
| $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine | 2011-07-01 | Paper |
| Synthesising Terminating Tableau Calculi for Relational Logics | 2011-06-17 | Paper |
| Automated Synthesis of Tableau Calculi | 2011-05-26 | Paper |
| Computational Space Efficiency and Minimal Model Generation for Guarded Formulae | 2011-05-06 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Automated Synthesis of Tableau Calculi | 2009-12-01 | Paper |
| A new methodology for developing deduction methods | 2009-11-16 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| On combinations of propositional dynamic logic and doxastic modal logics | 2009-03-24 | Paper |
| Blocking and Other Enhancements for Bottom-Up Model Generation Methods | 2009-03-12 | Paper |
| System Description: Spass Version 3.0 | 2009-03-06 | Paper |
| Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3543581 | 2008-12-04 | Paper |
| A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments | 2008-11-27 | Paper |
| Improved Second-Order Quantifier Elimination in Modal Logic | 2008-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509041 | 2008-07-01 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311047 | 2005-08-22 | Paper |
| Interactions between knowledge, action and commitment within agent dynamic logic | 2005-04-07 | Paper |
| Multi-agent dynamic logics with informational test | 2005-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809060 | 2004-08-12 | Paper |
| An empirical analysis of modal theorem provers | 2004-01-13 | Paper |
| Hyperresolution for guarded formulae | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708905 | 2003-06-20 | Paper |
| Using resolution for testing modal satisfiability and building models | 2002-08-20 | Paper |
| The Possibility of Generating True Conjectures | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329239 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4443204 | 2002-01-01 | Paper |
| Functional translation and second-order frame properties of modal logics | 2001-11-25 | Paper |
| Using resolution for testing modal satisfiability and building models | 2001-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723441 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721185 | 2001-07-01 | Paper |
| Resolution-based methods for modal logics | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503911 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263163 | 2000-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215602 | 1999-06-07 | Paper |
| Decidability by resolution for propositional modal logics | 1999-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838813 | 1998-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838764 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688814 | 1997-11-05 | Paper |
| Peirce algebras | 1995-05-01 | Paper |
| Subsumption computed algebraically | 1993-04-19 | Paper |
