Did you mean: Liberator, Polo
  1. Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
    A consistency default is a propositional inference rule that asserts the consistency of a formula in its consequence. Consistency defaults allow for a straightforward encoding of domains in which it is explicitely known when something is possible. The logic of consistency defaults can be seen as a variant of cumulative default logic or as a generalization of justified default logic; it is also able to simulate Reiter default logic in the seminormal case. A semantical characterization of consistency defaults in terms (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Paolo Liberatore (2005). Seminormalizing a Default Theory. Journal of Applied Non-Classical Logics 15 (3):321-340.