Switch to: References

Add citations

You must login to add citations.
  1. Comparing logic programming and formal argumentation; the case of ideal and eager semantics.Martin Caminada, Sri Harikrishnan & Samy Sá - 2022 - Argument and Computation 13 (1):93-120.
    The connection between logic programming and formal argumentation has been studied starting from the landmark 1995 paper of Dung. Subsequent work has identified a standard translation from logic programs to argumentation frameworks, under which pairwise correspondences hold between various logic programming semantics and various formal argumentation semantics. This includes the correspondence between 3-valued stable and complete semantics, between well-founded and grounded semantics and between 2-valued stable and stable semantics. In the current paper, we show that the existing translation is able (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Preference-based inconsistency-tolerant query answering under existential rules.Marco Calautti, Sergio Greco, Cristian Molinaro & Irina Trubitsyna - 2022 - Artificial Intelligence 312 (C):103772.
    Download  
     
    Export citation  
     
    Bookmark   1 citation