| Publication | Date of Publication | Type |
|---|
| Rational closure extension in SPO-representable inductive inference operators | 2024-05-29 | Paper |
| 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 |
| A logic for specifying agent actions and observations with probability | 2018-08-29 | Paper |
| On revision of partially specified convex probabilistic belief bases | 2018-07-12 | Paper |
| A non-classical logical foundation for naturalised realism | 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 |
| A propositional typicality logic for extending rational consequence | 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 |
| Reachability modules for the description logic \(\mathcal{SRIQ}\) | 2014-01-17 | Paper |
| Prediction and explanation over DL-Lite data streams | 2014-01-17 | Paper |
| Belief change | 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 |
| On the link between partial meet, kernel, and infra contraction and its application to Horn logic | 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 |
| Admissible and restrained revision | 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 |
