| Publication | Date of Publication | Type |
|---|
| On the decidability of a fragment of preferential LTL | 2023-11-02 | Paper |
| A One-Pass Tree-Shaped Tableau for Defeasible LTL | 2023-10-02 | Paper |
Defeasible linear temporal logic
Journal of Applied Non-Classical Logics | 2023-07-06 | Paper |
Cardinality Restrictions Within Description Logic Connection Calculi
Rules and Reasoning | 2023-06-28 | Paper |
Situated conditional reasoning
Artificial Intelligence | 2023-06-27 | Paper |
| scientific article; zbMATH DE number 7594189 (Why is no real title available?) | 2022-09-28 | Paper |
| A KLM perspective on defeasible reasoning for description logics | 2020-06-04 | Paper |
| Preferential tableaux for contextual defeasible \(\mathcal{ALC}\) | 2020-05-14 | Paper |
| Taking defeasible entailment beyond rational closure | 2020-02-18 | Paper |
On rational entailment for propositional typicality logic
Artificial Intelligence | 2020-01-20 | Paper |
On rational entailment for propositional typicality logic
Artificial Intelligence | 2020-01-20 | Paper |
Contextual rational closure for defeasible \(\mathcal{ALC} \)
Annals of Mathematics and Artificial Intelligence | 2019-12-09 | Paper |
Preferential accessibility and preferred worlds
Journal of Logic, Language and Information | 2019-01-18 | Paper |
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
Logica Universalis | 2018-12-12 | Paper |
From KLM-style conditionals to defeasible modalities, and back
Journal of Applied Non-Classical Logics | 2018-09-17 | Paper |
| Rationality and context in defeasible subsumption | 2018-06-26 | Paper |
Introducing role defeasibility in description logics
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Preferential reasoning for modal logics
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
| A propositional typicality logic for extending rational consequence | 2014-05-07 | Paper |
Constrained consequence
Logica Universalis | 2013-03-21 | Paper |
PTL: a propositional typicality logic
Logics in Artificial Intelligence | 2012-09-21 | Paper |
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
(available as arXiv preprint) | 2011-10-18 | Paper |
On Action Theory Change
Journal of Artificial Intelligence Research | 2010-03-15 | Paper |
Regression in modal logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Metatheory of actions: beyond consistency
Artificial Intelligence | 2009-07-09 | Paper |
A Modularity Approach for a Fragment of $\mathcal{ALC}$
Logics in Artificial Intelligence | 2008-10-30 | Paper |
| scientific article; zbMATH DE number 5046357 (Why is no real title available?) | 2006-08-15 | Paper |
