| Contractions Based on Optimal Repairs.   | KR | 2024 | 0 | 
        
        
            | Hyperintensional Partial Meet Contractions.   | KR | 2022 | 0 | 
        
        
            | Belief Contraction in Non-classical logics as Hyperintensional Belief Change.   | KR | 2021 | 1 | 
        
        
            | Choosing What to Believe - New Results in Selective Revision.   | KR | 2020 | 2 | 
        
        
            | Belief Update without Compactness in Non-finitary Languages.   | IJCAI | 2019 | 3 | 
        
        
            | Belief Change and Non-Monotonic Reasoning Sans Compactness.   | AAAI | 2019 | 5 | 
        
        
            | Towards Belief Contraction without Compactness.   | KR | 2018 | 6 | 
        
        
            | Two AGM-Style Characterizations of Model Repair.   | KR | 2018 | 0 | 
        
        
            | Consolidating Probabilistic Knowledge Bases via Belief Contraction.   | KR | 2016 | 7 | 
        
        
            | On the revision of planning tasks.   | ECAI | 2014 | 31 | 
        
        
            | Minimal Change in AGM Revision for Non-Classical Logics.   | KR | 2014 | 10 | 
        
        
            | Minimal change: Relevance and recovery revisited.   | Artificial Intelligence | 2013 | 36 | 
        
        
            | Horn Clause Contraction Functions.   | JAIR | 2013 | 28 | 
        
        
            | Belief Revision on Computation Tree Logic.   | IJCAI | 2011 | 1 | 
        
        
            | On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.   | JAIR | 2011 | 35 | 
        
        
            | Horn Belief Change: A Contraction Core.   | ECAI | 2010 | 11 | 
        
        
            | Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.   | KR | 2010 | 39 | 
        
        
            | Expressivity and Control in Limited Reasoning.   | ECAI | 2002 | 5 | 
        
        
            | An Algorithm for Belief Revision.   | KR | 2000 | 37 |