| Publication | Date of Publication | Type |
|---|
| The Probabilistic Description Logic | 2023-12-12 | Paper |
| Graded contractions of g2 | 2023-07-11 | Paper |
| Situated conditional reasoning | 2023-06-27 | Paper |
| Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence | 2023-03-24 | Paper |
| A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure | 2021-02-04 | Paper |
| A KLM perspective on defeasible reasoning for description logics | 2020-06-04 | Paper |
| Taking defeasible entailment beyond rational closure | 2020-02-18 | Paper |
| A Bayesian extension of the description logic \(\mathcal{ALC}\) | 2020-02-18 | Paper |
| On rational entailment for propositional typicality logic | 2020-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583956 | 2018-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576227 | 2018-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5354810 | 2017-09-04 | Paper |
| Preferential Reasoning for Modal Logics | 2016-10-07 | Paper |
| Relevant Closure: A New Form of Defeasible Reasoning for Description Logics | 2015-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5414676 | 2014-05-07 | Paper |
| SLAP: specification logic of actions with probability | 2014-04-24 | Paper |
| A Logic for Specifying Stochastic Actions and Observations | 2014-03-31 | Paper |
| Prediction and Explanation over DL-Lite Data Streams | 2014-01-17 | Paper |
| Reachability Modules for the Description Logic $\mathcal{SRIQ}$ | 2014-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851825 | 2013-10-04 | Paper |
| A general family of preferential belief removal operators | 2012-12-04 | Paper |
| PTL: A Propositional Typicality Logic | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093655 | 2011-10-18 | Paper |
| How to revise a total preorder | 2011-05-11 | Paper |
| Equilibria in social belief removal | 2011-02-25 | Paper |
| Double preference relations for generalised belief change | 2011-01-31 | Paper |
| Relaxations of semiring constraint satisfaction problems | 2010-03-24 | Paper |
| A General Family of Preferential Belief Removal Operators | 2010-01-07 | Paper |
| AI 2003: Advances in Artificial Intelligence | 2009-08-07 | Paper |
| Iterated belief change and the recovery axiom | 2009-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624012 | 2009-04-28 | Paper |
| On the Dynamics of Total Preorders: Revising Abstract Interval Orders | 2008-09-16 | Paper |
| Types for Proofs and Programs | 2006-11-13 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Belief liberation (and retraction) | 2005-12-02 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| On the semantics of combination operations | 2004-01-11 | Paper |
| Non-prioritized ranked belief change | 2003-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708322 | 2003-06-17 | Paper |
| Systematic withdrawal | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784855 | 2002-12-12 | Paper |
| Basic infobase change | 2002-10-07 | Paper |
| Refined epistemic entrenchment | 2002-07-14 | Paper |
| Infobase change: A first approximation | 2001-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501595 | 2001-01-11 | Paper |
