Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Fuzzy argumentation for negotiating agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Computing ideal sceptical argumentation
Artificial Intelligence
Argumentation-Based Inference and Decision Making--A Medical Perspective
IEEE Intelligent Systems
Elements of Argumentation
Preferred extensions as stable models*
Theory and Practice of Logic Programming
On bipolarity in argumentation frameworks
International Journal of Intelligent Systems - Bipolar Representations of Information and Preference Part 2: Reasoning and Learning
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computing Argumentation Semantics in Answer Set Programming
New Frontiers in Artificial Intelligence
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
On the Relationship of Defeasible Argumentation and Answer Set Programming
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Manifold Answer-Set Programs for Meta-reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The First Version of a New ASP Solver: ASPeRiX
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
The computational complexity of ideal semantics
Artificial Intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An argumentation-based negotiation for distributed extended logic programs
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Approved models for normal logic programs
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Assumption-based argumentation for closed and consistent defeasible reasoning
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Dialectical Proofs for Constrained 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
Moral particularism and deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
On the issue of reinstatement in argumentation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Computing abductive argumentation in answer set programming
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Abstract argumentation via monadic second order logic
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
Approximating operators and semantics for abstract dialectical frameworks
Artificial Intelligence
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
| Hi-index | 0.00 |
Argumentation and answer set programming are two of the main knowledge representation paradigms that have emerged from logic programming for non-monotonic reasoning. This paper surveys recent work on using answer set programming as a mechanism for computing extensions in argumentation. The paper also indicates some possible directions for future work.