| Publication | Date of Publication | Type |
|---|
| Logical connectives for two-state semantics | 2023-10-30 | Paper |
| On timeline-based games and their complexity | 2020-04-06 | Paper |
| A prover dealing with nominals, binders, transitivity and relation hierarchies | 2020-03-03 | Paper |
| Hintikka multiplicities in matrix decision methods for some propositional modal logics | 2019-01-15 | Paper |
| Temporal abductive reasoning about biochemical reactions | 2018-09-12 | Paper |
| Planning and execution with flexible timelines: a formal account | 2016-10-21 | Paper |
| Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders | 2016-05-26 | Paper |
| A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities | 2015-06-23 | Paper |
| Extended decision procedure for a fragment of HL with binders | 2015-06-23 | Paper |
| A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies | 2013-06-14 | Paper |
| Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies | 2012-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904047 | 2012-08-05 | Paper |
| An efficient approach to nominal equalities in hybrid logic tableaux | 2012-07-17 | Paper |
| A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders | 2011-07-01 | Paper |
| Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic | 2010-09-14 | Paper |
| AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
| Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions | 2009-12-01 | Paper |
| Linear temporal logic as an executable semantics for planning languages | 2009-03-24 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412852 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412865 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539603 | 2002-07-10 | Paper |
| Ground and free-variable tableaux for variants of quantified modal logics | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2701983 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721195 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938418 | 2000-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247687 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838808 | 1998-08-13 | Paper |
| A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 | 1997-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4877442 | 1996-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860658 | 1996-02-13 | Paper |
| Herbrand style proof procedures for modal logic | 1994-09-26 | Paper |
| First order abduction via tableau and sequent calculi | 1994-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013825 | 1992-09-27 | Paper |
| Resolution for some first-order modal systems | 1992-06-26 | Paper |
| Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic | 1986-01-01 | Paper |
| A Modal Herbrand's Property | 1986-01-01 | Paper |
