Switch to: References

Add citations

You must login to add citations.
  1. Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Autoepistemic equilibrium logic and epistemic specifications.Ezgi Iraz Su, Luis Fariñas del Cerro & Andreas Herzig - 2020 - Artificial Intelligence 282 (C):103249.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation