| Publication | Date of Publication | Type |
|---|
Revision operators with compact representations
Artificial Intelligence | 2024-04-30 | Paper |
Theory-relational belief revision
Annals of Mathematics and Artificial Intelligence | 2022-06-29 | Paper |
A study of possible-worlds semantics of relevance-sensitive belief revision
Journal Of Logic And Computation | 2022-02-08 | Paper |
| Modelling belief-revision functions at extended languages | 2021-07-06 | Paper |
An investigation of parametrized difference revision operators
Annals of Mathematics and Artificial Intelligence | 2021-06-04 | Paper |
Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision
Journal of Artificial Intelligence Research | 2020-11-03 | Paper |
Full characterization of Parikh's relevance-sensitive axiom for belief revision
Journal of Artificial Intelligence Research | 2020-01-03 | Paper |
General Belief Revision
Journal of the ACM | 2019-02-25 | Paper |
Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions
Annals of Mathematics and Artificial Intelligence | 2017-04-27 | Paper |
Kinetic Consistency and Relevance in Belief Revision
Logics in Artificial Intelligence | 2016-11-30 | Paper |
| Agent trust and reputation -- a prospectus | 2016-07-26 | Paper |
Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
Artificial Intelligence | 2016-03-08 | Paper |
Relevance in belief revision
Artificial Intelligence | 2015-12-22 | Paper |
Maps in Multiple Belief Change
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A panorama of iterated revision
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
Belief revision in Horn theories
Artificial Intelligence | 2015-02-02 | Paper |
Constructive models for contraction with intransitive plausibility indifference
Logics in Artificial Intelligence | 2015-01-14 | Paper |
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Comparative possibility in set contraction
Journal of Philosophical Logic | 2012-05-23 | Paper |
| Canonicity and completeness results for many-valued modal logics | 2009-11-30 | Paper |
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
Logic Journal of the IGPL | 2009-01-21 | Paper |
Dynamic belief revision operators
Artificial Intelligence | 2006-02-07 | Paper |
Belief revision and organisational knowledge dynamics
The Journal of the Operational Research Society | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2130440 (Why is no real title available?) | 2005-01-20 | Paper |
The Limit Assumption and Multiple Revision
Journal Of Logic And Computation | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 1836056 (Why is no real title available?) | 2004-02-08 | Paper |
Prolegomena to concise theories of action
Studia Logica | 2002-02-10 | Paper |
Realization for causal nondeterministic input-output systems
Studia Logica | 2002-02-10 | Paper |
| scientific article; zbMATH DE number 1500583 (Why is no real title available?) | 2000-11-07 | Paper |
Measuring similarity in belief revision
Journal Of Logic And Computation | 2000-10-03 | Paper |
Constructive modelings for theory change
Notre Dame Journal of Formal Logic | 1996-08-27 | Paper |
| scientific article; zbMATH DE number 823599 (Why is no real title available?) | 1996-03-05 | Paper |
