Switch to: Citations

Add references

You must login to add references.
  1. Computational properties of argument systems satisfying graph-theoretic constraints.Paul E. Dunne - 2007 - Artificial Intelligence 171 (10-15):701-729.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
    Download  
     
    Export citation  
     
    Bookmark   465 citations  
  • SCC-recursiveness: a general schema for argumentation semantics.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 168 (1-2):162-210.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • 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   22 citations  
  • The computational complexity of ideal semantics.Paul E. Dunne - 2009 - Artificial Intelligence 173 (18):1559-1591.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Coherence in finite argument systems.Paul E. Dunne & T. J. M. Bench-Capon - 2002 - Artificial Intelligence 141 (1-2):187-203.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (2 other versions)Parameterized Complexity Theory.J. Flum - 2007 - Bulletin of Symbolic Logic 13 (2):246-248.
    Download  
     
    Export citation  
     
    Bookmark   21 citations