1. Adnan Darwiche (2001). On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision. Journal of Applied Non-Classical Logics 11 (1-2):11-34.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Adnan Darwiche (2001). On the Tractability of Counting Theory Models and its Application to Belief Revision and Truth Maintenance. Journal of Applied Non-Classical Logics 11 (1-2):11-34.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
    We show in this paper that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations. We remedy this weakness by proposing four additional postulates, which are sound relative to a qualitative version of probabilistic conditioning. Contrary to the AGM framework, the proposed postulates characterize belief revision as a process which may depend on elements of an epistemic state that are not necessarily captured by a (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation