| Publication | Date of Publication | Type |
|---|
Revising system specifications in temporal logic
Journal of Logic, Language and Information | 2023-06-07 | Paper |
| Pseudo-contractions as gentle repairs | 2020-06-04 | Paper |
Two AGM-style characterizations of model repair
Annals of Mathematics and Artificial Intelligence | 2020-02-11 | Paper |
Partial meet pseudo-contractions
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
| On the revision of planning tasks | 2017-07-18 | Paper |
Minimal change: relevance and recovery revisited
Artificial Intelligence | 2015-08-27 | Paper |
Toward the revision of CTL models through Kripke modal transition systems
Lecture Notes in Computer Science | 2014-07-08 | Paper |
Horn clause contraction functions
The Journal of Artificial Intelligence Research (JAIR) | 2013-11-28 | Paper |
The universe of approximations
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Inconsistent-tolerant base revision through argument theory change
Logic Journal of the IGPL | 2012-08-01 | 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 |
On AGM for non-classical logics
Journal of Philosophical Logic | 2011-05-11 | Paper |
Base Revision for Ontology Debugging
Journal Of Logic And Computation | 2009-10-14 | Paper |
Anytime Approximations of Classical Logic from Above
Journal Of Logic And Computation | 2007-05-14 | Paper |
The universe of propositional approximations
Theoretical Computer Science | 2006-04-28 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
Journal Of Logic And Computation | 2004-10-15 | Paper |
Local Diagnosis
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 2014708 (Why is no real title available?) | 2003-12-08 | Paper |
| scientific article; zbMATH DE number 2014709 (Why is no real title available?) | 2003-12-08 | Paper |
| scientific article; zbMATH DE number 1785005 (Why is no real title available?) | 2003-07-22 | Paper |
Generalized change and the meaning of rationality postulates
Studia Logica | 2003-05-06 | Paper |
Approximate belief revision
Logic Journal of the IGPL | 2002-09-18 | Paper |
Local change
Studia Logica | 2002-06-24 | Paper |
Resource bounded belief revision
Erkenntnis | 2001-06-13 | Paper |
