| Publication | Date of Publication | Type |
|---|
Expertise and information: an epistemic logic perspective
Synthese | 2026-03-27 | Paper |
On the disjunctive rational closure of a conditional knowledge base
Artificial Intelligence | 2025-10-14 | Paper |
GRID-BASED INVERSION OF PRESSURE TRANSIENT TEST DATA WITH STOCHASTIC GRADIENT TECHNIQUES
International Journal for Uncertainty Quantification | 2023-06-09 | Paper |
Elementary belief revision operators
Journal of Philosophical Logic | 2023-02-24 | Paper |
On strengthening the logic of iterated belief revision: proper ordinal interval operators
Artificial Intelligence | 2020-08-06 | Paper |
On strengthening the logic of iterated belief revision: proper ordinal interval operators
Artificial Intelligence | 2020-08-06 | Paper |
| Elementary iterated revision and the Levi Identity | 2020-01-30 | Paper |
Elementary iterated revision and the Levi Identity
(available as arXiv preprint) | 2020-01-30 | 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 |
From iterated revision to iterated contraction: extending the Harper identity
Artificial Intelligence | 2020-01-20 | Paper |
Mathematical modelling of fibre-enhanced perfusion inside a tissue-engineering bioreactor
Journal of Theoretical Biology | 2018-11-08 | Paper |
Trust as a Precursor to Belief Revision
Journal of Artificial Intelligence Research | 2018-05-02 | Paper |
The irreducibility of iterated to single revision
Journal of Philosophical Logic | 2017-10-11 | Paper |
| Abduction and dialogical proof in argumentation and logic programming | 2017-07-18 | Paper |
Abduction and dialogical proof in argumentation and logic programming
(available as arXiv preprint) | 2017-07-18 | Paper |
| scientific article; zbMATH DE number 6747877 (Why is no real title available?) | 2017-07-18 | Paper |
Judgement aggregation in multi-agent argumentation
Journal Of Logic And Computation | 2017-05-17 | Paper |
Judgment aggregation in abstract dialectical frameworks
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
| A propositional typicality logic for extending rational consequence | 2014-05-07 | Paper |
Property-based preferences in abstract argumentation
Algorithmic Decision Theory | 2013-12-17 | Paper |
| Belief change | 2013-10-04 | Paper |
A general family of preferential belief removal operators
Journal of Philosophical Logic | 2012-12-04 | Paper |
| A method for reasoning about other agents' beliefs from observations | 2012-11-16 | 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 |
| Learning conditionally lexicographic preference relations | 2011-05-11 | 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 |
A General Family of Preferential Belief Removal Operators
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Genetic Programming
Lecture Notes in Computer Science | 2009-05-05 | Paper |
Admissible and restrained revision
(available as arXiv preprint) | 2009-04-28 | Paper |
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
Journal Of Logic And Computation | 2008-10-09 | Paper |
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
Lecture Notes in Computer Science | 2008-09-16 | Paper |
On revising fuzzy belief bases
Studia Logica | 2006-01-30 | Paper |
Belief liberation (and retraction)
Studia Logica | 2005-12-02 | Paper |
Conditionals, Information, and Inference
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2144696 (Why is no real title available?) | 2005-03-14 | Paper |
The lexicographic closure as a revision process
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
A circuit axiomatisation of Lagrangian matroids
Discrete Mathematics | 2003-06-09 | Paper |
| Lagrangian Matroids: Representations of Type $B_n$ | 2002-09-17 | Paper |
Oriented Lagrangian matroids
European Journal of Combinatorics | 2002-02-19 | Paper |
Oriented Lagrangian orthogonal matroid representations
European Journal of Combinatorics | 2002-02-14 | Paper |
Lagrangian matroids and cohomology
Annals of Combinatorics | 2000-11-23 | Paper |
| Lagrangian Matroids associated with Maps on Orientable Surfaces | 2000-10-25 | Paper |
