Switch to: References

Add citations

You must login to add citations.
  1. How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.
    Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the notion of concept I.Michael Freund - 2008 - Artificial Intelligence 172 (4-5):570-590.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Semantic characterization of rational closure: From propositional logic to description logics.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2015 - Artificial Intelligence 226 (C):1-33.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • On the revision of preferences and rational inference processes.Michael Freund - 2004 - Artificial Intelligence 152 (1):105-137.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Situated conditional reasoning.Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2023 - Artificial Intelligence 319 (C):103917.
    Download  
     
    Export citation  
     
    Bookmark  
  • Full Meet Revision on Stratified Bases.Michael Freund - 2001 - Theoria 67 (3):189-213.
    We show how to construct partial nontrivial base revision operators that satisfy the analogues of the AGM postulates and depends on no extra‐logical consideration. These operators, closely related to the full meet revision process, are defined on stratified bases, in which the information can be ranked in logical sequences. Stratified bases, which can be viewed as sets of graded sheaves, are exactly the knowledge bases for which the full meet revision operator satisfies the rationality postulate K*8. As the revision of (...)
    Download  
     
    Export citation  
     
    Bookmark