| Publication | Date of Publication | Type |
|---|
| A description logic of typicality for conceptual combination | 2023-08-02 | Paper |
| HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) | 2022-11-09 | Paper |
| Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning | 2022-03-09 | Paper |
| Reasoning About Surprising Scenarios in Description Logics of Typicality | 2020-02-10 | Paper |
| A Multi-engine Theorem Prover for a Description Logic of Typicality | 2020-02-10 | Paper |
| Typicalities and probabilities of exceptions in nonmotonic description logics | 2019-10-18 | Paper |
| Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach* | 2018-10-02 | Paper |
| Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity | 2018-02-02 | Paper |
| VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning | 2018-02-02 | Paper |
| Reasoning in description logics with typicalities and probabilities of exceptions | 2017-09-05 | Paper |
| A sequent calculus and a theorem prover for standard conditional logics | 2017-07-12 | Paper |
| Standard Sequent Calculi for Lewis’ Logics of Counterfactuals | 2016-11-30 | Paper |
| CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity | 2016-08-05 | Paper |
| Nested sequent calculi for normal conditional logics | 2016-04-28 | Paper |
| Semantic characterization of rational closure: from propositional logic to description logics | 2015-12-18 | Paper |
| A Standard Internal Calculus for Lewis’ Counterfactual Logics | 2015-12-11 | Paper |
| Analytic tableaux calculi for KLM logics of nonmonotonic reasoning | 2015-09-17 | Paper |
| Logics in access control: a conditional approach | 2015-01-12 | Paper |
| NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics | 2014-09-26 | Paper |
| A non-monotonic description logic for reasoning about typicality | 2013-08-26 | Paper |
| Nested Sequent Calculi for Conditional Logics | 2012-09-21 | Paper |
| A Minimal Model Semantics for Nonmonotonic Reasoning | 2012-09-21 | Paper |
| A Conditional Constructive Logic for Access Control and Its Sequent Calculus | 2011-07-01 | Paper |
| A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ | 2011-07-01 | Paper |
| A Nonmonotonic Extension of KLM Preferential Logic P | 2010-10-12 | Paper |
| Verifying Business Process Compliance by Reasoning about Actions | 2010-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3563381 | 2010-05-31 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| ALC + T: a Preferential Extension of Description Logics | 2010-02-05 | Paper |
| Theorem proving for conditional logics: CondLean and GOALDUCK | 2009-11-11 | Paper |
| Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results | 2009-11-10 | Paper |
| Analytic Tableau Calculi for KLM Rational Logic R | 2008-10-30 | Paper |
| Reasoning about Typicality in Preferential Description Logics | 2008-10-27 | Paper |
| Analytic Tableaux for KLM Preferential and Cumulative Logics | 2008-05-27 | Paper |
| Preferential Description Logics | 2008-05-15 | Paper |
| KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning | 2008-01-04 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
