Did you mean: Liberator, Polo
  1.  25
    Consistency Defaults.Paolo Liberatore - 2007 - 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)  
    Export citation  
    My bibliography  
  2.  3
    Seminormalizing a Default Theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.