Year:

  1.  1
    Towards an Inclusive, Responsible and Sustainable Open Access Model.Pietro Baroni & Bart Verheij - 2022 - Argument and Computation 13 (1):1-2.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  4
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  39
    A Logic of Defeasible Argumentation: Constructing Arguments in Justification Logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-47.
    In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a logic of structured defeasible arguments using the language of justification logic. In this logic, we introduce defeasible justification assertions of the type t : F that read as “t is a defeasible reason that justifies F”. Such formulas are then interpreted as arguments and their acceptance semantics is given (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    Deductive and Abductive Argumentation Based on Information Graphs.Remi Wieten, Floris Bex, Henry Prakken & Silja Renooij - 2022 - Argument and Computation 13 (1):49-91.
    In this paper, we propose an argumentation formalism that allows for both deductive and abductive argumentation, where ‘deduction’ is used as an umbrella term for both defeasible and strict ‘forward’ inference. Our formalism is based on an extended version of our previously proposed information graph formalism, which provides a precise account of the interplay between deductive and abductive inference and causal and evidential information. In the current version, we consider additional types of information such as abstractions which allow domain experts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues