An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Scenario semantics of extended logic programs
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Computing the Acceptability Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
An algorithm to compute minimally grounded and admissible defence sets in argument systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
A dialectic procedure for sceptical, assumption-based argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
The hedgehog and the fox: an argumentation-based decision support system
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Argumentation in artificial intelligence
Artificial Intelligence
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Argumentation-based agents for eProcurement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Debating over heterogeneous descriptions
Applied Ontology - Formal Ontologies for Communicating Agents
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
Computing Argumentation for Decision Making in Legal Disputes
Computable Models of the Law
The ArguGRID Platform: An Overview
GECON '08 Proceedings of the 5th international workshop on Grid Economics and Business Models
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
An Argumentation Framework Based on Conditional Priorities
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Agreeing on Institutional Goals for Multi-agent Societies
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Maintenance-based trust for multi-agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Asking the Right Question: Forcing Commitment in Examination Dialogues
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Towards argumentation-based contract negotiation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Basic influence diagrams and the liberal stable semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Manifold Answer-Set Programs for Meta-reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The computational complexity of ideal semantics
Artificial Intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
Assumption-based argumentation for closed and consistent defeasible reasoning
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
GECON'07 Proceedings of the 4th international conference on Grid economics and business models
The hedgehog and the fox: an argumentation-based decision support system
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Opportunistic belief reconciliation during distributed interactions
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Using argumentation to model and deploy agent-based B2B applications
Knowledge-Based Systems
An Algorithm for Stage Semantics
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Some design guidelines for practical argumentation systems
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Computation with varied-strength attacks in abstract argumentation frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Two-Agent Conflict Resolution with Assumption-Based Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
CF2-extensions as Answer-set Models
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Pipelining Argumentation Technologies
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A formal analysis of logic-based argumentation systems
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
On judgment aggregation in abstract argumentation
Autonomous Agents and Multi-Agent Systems
A computational method for defeasible argumentation based on a recursive warrant semantics
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial Intelligence
Dynamics of argumentation systems: A division-based method
Artificial Intelligence
Manifold answer-set programs and their applications
Logic programming, knowledge representation, and nonmonotonic reasoning
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Strong equivalence for argumentation semantics based on conflict-free sets
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Characterizing strong equivalence for argumentation frameworks
Artificial Intelligence
An implementation of basic argumentation components
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Maximal ideal recursive semantics for defeasible argumentation
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Argumentation frameworks as constraint satisfaction problems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Partial semantics of argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
On the intertranslatability of argumentation semantics
Journal of Artificial Intelligence Research
Review: an introduction to argumentation semantics
The Knowledge Engineering Review
A new approach for preference-based argumentation frameworks
Annals of Mathematics and Artificial Intelligence
Dominant decisions by argumentation agents
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Enhancing dung's preferred semantics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Deliberation dialogues for reasoning about safety critical actions
Autonomous Agents and Multi-Agent Systems
Towards fixed-parameter tractable algorithms for abstract argumentation
Artificial Intelligence
On the complexity of computing the justification status of an argument
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Parametric properties of ideal semantics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Quantifying disagreement in argument-based reasoning
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Debating over heterogeneous descriptions
Applied Ontology - Formal Ontologies for Communicating Agents
Fundamenta Informaticae - Logic, Language, Information and Computation
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
A probabilistic approach to modelling uncertain logical arguments
International Journal of Approximate Reasoning
Conflict-Tolerant semantics for argumentation frameworks
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Fuzzy labeling for argumentation frameworks
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Argumentation semantics for agents
EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
Toward incremental computation of argumentation semantics: A decomposition-based approach
Annals of Mathematics and Artificial Intelligence
On the complexity of probabilistic abstract argumentation
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Algorithms for decision problems in argument systems under preferred semantics
Artificial Intelligence
Probabilistic qualification of attack in abstract argumentation
International Journal of Approximate Reasoning
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We present two dialectic procedures for the sceptical ideal semantics for argumentation. The first procedure is defined in terms of dispute trees, for abstract argumentation frameworks. The second procedure is defined in dialectical terms, for assumption-based argumentation frameworks. The procedures are adapted from (variants of) corresponding procedures for computing the credulous admissible semantics for assumption-based argumentation, proposed in [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-159]. We prove that the first procedure is sound and complete, and the second procedure is sound in general and complete for a special but natural class of assumption-based argumentation frameworks, that we refer to as p-acyclic. We also prove that in the case of p-acyclic assumption-based argumentation frameworks (a variant of) the procedure of [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-159] for the admissible semantics is complete. Finally, we present a variant of the procedure of [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-159] that is sound for the sceptical grounded semantics.