Two party immediate response disputes: Properties and efficiency
- 31 October 2003
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 149 (2), 221-250
- https://doi.org/10.1016/s0004-3702(03)00076-6
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Coherence in finite argument systemsArtificial Intelligence, 2002
- On the computational complexity of assumption-based argumentation for default reasoningArtificial Intelligence, 2002
- Lower bounds for cutting planes proofs with small coefficientsThe Journal of Symbolic Logic, 1997
- An abstract, argumentation-theoretic approach to default reasoningArtificial Intelligence, 1997
- Graph theoretical structures in logic programs and default theoriesTheoretical Computer Science, 1996
- An exponential separation between the parity principle and the pigeonhole principleAnnals of Pure and Applied Logic, 1996
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial Intelligence, 1995
- Gentzen-type systems, resolution and tableauxJournal of Automated Reasoning, 1993
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979
- Determining the Stability Number of a GraphSIAM Journal on Computing, 1977