| Publication | Date of Publication | Type |
|---|
| Rational closure extension in SPO-representable inductive inference operators | 2024-05-29 | Paper |
The Probabilistic Description Logic
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| Graded contractions of g2 | 2023-07-11 | Paper |
Situated conditional reasoning
Artificial Intelligence | 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
Information Sciences | 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
Artificial Intelligence | 2020-01-20 | Paper |
On rational entailment for propositional typicality logic
Artificial Intelligence | 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
(available as arXiv preprint) | 2018-07-12 | Paper |
| A non-classical logical foundation for naturalised realism | 2017-09-04 | Paper |
Preferential reasoning for modal logics
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Relevant closure: a new form of defeasible reasoning for description logics
Logics in Artificial Intelligence | 2015-01-14 | Paper |
| A propositional typicality logic for extending rational consequence | 2014-05-07 | Paper |
SLAP: specification logic of actions with probability
Journal of Applied Logic | 2014-04-24 | Paper |
A logic for specifying stochastic actions and observations
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Reachability modules for the description logic \(\mathcal{SRIQ}\)
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Prediction and explanation over DL-Lite data streams
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Belief change | 2013-10-04 | Paper |
A general family of preferential belief removal operators
Journal of Philosophical Logic | 2012-12-04 | 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 |
How to revise a total preorder
Journal of Philosophical Logic | 2011-05-11 | Paper |
Equilibria in social belief removal
Synthese | 2011-02-25 | Paper |
Double preference relations for generalised belief change
Artificial Intelligence | 2011-01-31 | Paper |
Relaxations of semiring constraint satisfaction problems
Information Processing Letters | 2010-03-24 | Paper |
A General Family of Preferential Belief Removal Operators
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
AI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
Iterated belief change and the recovery axiom
Journal of Philosophical Logic | 2009-07-13 | Paper |
Admissible and restrained revision
(available as arXiv preprint) | 2009-04-28 | Paper |
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Belief liberation (and retraction)
Studia Logica | 2005-12-02 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
On the semantics of combination operations
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
Non-prioritized ranked belief change
Journal of Philosophical Logic | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1929230 (Why is no real title available?) | 2003-06-17 | Paper |
Systematic withdrawal
Journal of Philosophical Logic | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1844489 (Why is no real title available?) | 2002-12-12 | Paper |
Basic infobase change
Studia Logica | 2002-10-07 | Paper |
Refined epistemic entrenchment
Journal of Logic, Language and Information | 2002-07-14 | Paper |
Infobase change: A first approximation
Journal of Logic, Language and Information | 2001-01-14 | Paper |
| scientific article; zbMATH DE number 1500574 (Why is no real title available?) | 2001-01-11 | Paper |
