Switch to: References

Add citations

You must login to add citations.
  1. Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.
    Answer-set programming (ASP) has emerged as a declarative programming paradigm where problems are encoded as logic programs, such that the so-called answer sets of theses programs represent the solutions of the encoded problem. The efficiency of the latest ASP solvers reached a state that makes them applicable for problems of practical importance. Consequently, problems from many different areas, including diagnosis, data integration, and graph theory, have been successfully tackled via ASP. In this work, we present such ASP-encodings for problems associated (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Constructing argument graphs with deductive arguments: a tutorial.Philippe Besnard & Anthony Hunter - 2014 - Argument and Computation 5 (1):5-30.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Expressiveness of SETAFs and support-free ADFs under 3-valued semantics.W. Dvořák, A. Keshavarzi Zafarghandi & S. Woltran - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):298-327.
    1. The last 25 years have seen an increasing interest in the area of formal argumentation. The ultimate goal of the field is to come up with computational models of how we make decisions, based on...
    Download  
     
    Export citation  
     
    Bookmark   2 citations