ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Computing ideal sceptical argumentation
Artificial Intelligence
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
An implementation of a lightweight argumentation engine for agent applications
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Towards a formal and implemented model of argumentation schemes in agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Argumentation-based agents for eProcurement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
The ArguGRID Platform: An Overview
GECON '08 Proceedings of the 5th international workshop on Grid Economics and Business Models
An Argumentative Approach for Modelling Coalitions Using ATL
Argumentation in Multi-Agent Systems
Agreeing on Institutional Goals for Multi-agent Societies
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence
An agent communication protocol for resolving conflicts
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The Knowledge Engineering Review
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Towards argument representational tools for hybrid argumentation systems
HCII'11 Proceedings of the 1st international conference on Human interface and the management of information: interacting with information - Volume Part II
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
| Hi-index | 0.00 |
CaSAPI (Credulous and Skeptical Argumentation: Prolog Implementation) 3.0 determines the acceptability of claims, using the general-purpose framework of assumption-based argumentation, under the semantics of admissible extensions. This framework reduces the problem of computing arguments for and against claims to the problem of computing assumptions supporting these arguments. Unlike earlier computational models of assumption-based argumentation, CaSAPI 3.0 renders explicit the underlying dialectical structure of arguments and counterarguments. So, this system is beneficial for developing applications of argumentation requiring explicit justifications of claims in terms of full argument structures. This article is part of a special issue on argumentation technology.