Switch to: Citations

Add references

You must login to add references.
  1. An abstract framework for argumentation with structured arguments.Henry Prakken - 2010 - Argument and Computation 1 (2):93-124.
    An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...)
    Download  
     
    Export citation  
     
    Bookmark   142 citations  
  • Justification and defeat.John L. Pollock - 1994 - Artificial Intelligence 67 (2):377-407.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Non-cooperation in dialogue logic.Dov Gabbay & John Woods - 2001 - Synthese 127 (1-2):161 - 186.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.
    Download  
     
    Export citation  
     
    Bookmark   46 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   23 citations  
  • On completely recursively enumerable classes and their key arrays.H. G. Rice - 1956 - Journal of Symbolic Logic 21 (3):304-308.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
    We are concerned here with recursive function theory analogs of certain problems in chromatic graph theory. The motivating question for our work is: Does there exist a recursive (countably infinite) planar graph with no recursive 4-coloring? We obtain the following results: There is a 3-colorable, recursive planar graph which, for all k, has no recursive k-coloring; every decidable graph of genus p ≥ 0 has a recursive 2(χ(p) - 1)-coloring, where χ(p) is the least number of colors which will suffice (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On the resolution-based family of abstract argumentation semantics and its grounded instance.P. Baroni, P. E. Dunne & M. Giacomin - 2011 - Artificial Intelligence 175 (3-4):791-813.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • How to reason defeasibly.John L. Pollock - 1992 - Artificial Intelligence 57 (1):1-42.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • An abstract, argumentation-theoretic approach to default reasoning.A. Bondarenko, P. M. Dung, R. A. Kowalski & F. Toni - 1997 - Artificial Intelligence 93 (1-2):63-101.
    Download  
     
    Export citation  
     
    Bookmark   106 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   472 citations  
  • Extending abstract argumentation systems theory.P. Baroni, M. Giacomin & G. Guida - 2000 - Artificial Intelligence 120 (2):251-270.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Perceiving and reasoning about a changing world.John Pollock - unknown
    A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combine that information with causal information to reason about the changing world. Using the system of defeasible reasoning that is incorporated into the OSCAR architecture for rational agents, a set of reasonschemas is proposed for enabling an agent to perform some of the requisite reasoning. Along the way, solutions are proposed for the Frame Problem, the Qualification (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Weighted argument systems: Basic definitions, algorithms, and complexity results.Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons & Michael Wooldridge - 2011 - Artificial Intelligence 175 (2):457-486.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Reasoning about preferences in argumentation frameworks.Sanjay Modgil - 2009 - Artificial Intelligence 173 (9-10):901-934.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • A mathematical treatment of defeasible reasoning and its implementation.Guillermo R. Simari & Ronald P. Loui - 1992 - Artificial Intelligence 53 (2-3):125-157.
    We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...)
    Download  
     
    Export citation  
     
    Bookmark   80 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  
  • Abstract argumentation systems.Gerard A. W. Vreeswijk - 1997 - Artificial Intelligence 90 (1-2):225-279.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • An informal exposition of proofs of gödel's theorems and church's theorem.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (2):53-60.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 165 (2):187-259.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • More on non-cooperation in dialogue logic.D. Gabbay & J. Woods - 2001 - Logic Journal of the IGPL 9 (2):305-324.
    Stone-walling dialogues are exercises in structured non-cooperation. It is true that dialogue participants need to cooperate with one another and in ways sufficient to make possible the very dialogue they are now having. Beyond that there is room for non-cooperation on a scale that gives great offence to what we call the Goody Two-Shoes Model of argument. In this paper, we argue that non-cooperation dialogues have perfectly legitimate objectives and that in relation to those objectives they need not be considered (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Two party immediate response disputes: Properties and efficiency.Paul E. Dunne & T. J. M. Bench-Capon - 2003 - Artificial Intelligence 149 (2):221-250.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • The computational complexity of ideal semantics.Paul E. Dunne - 2009 - Artificial Intelligence 173 (18):1559-1591.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Reasoning with infinite stable models.Piero A. Bonatti - 2004 - Artificial Intelligence 156 (1):75-111.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75–111].Piero A. Bonatti - 2008 - Artificial Intelligence 172 (15):1833-1835.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the existence of semi-stable extensions.Martin Caminada & Bart Verheij - unknown
    Download  
     
    Export citation  
     
    Bookmark   3 citations