ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments
Artificial Intelligence
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
On the evaluation of argumentation formalisms
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Value Based Argumentation in Hierarchical Argumentation Frameworks
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Contouring of Knowledge for Intelligent Searching for Arguments
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Default Logic Based Framework for Argumentation
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An Algorithm for Generating Arguments in Classical Predicate Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Generalized Abstract Argumentation: Handling Arguments in FOL Fragments
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Real arguments are approximate arguments
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Reasoning about the appropriateness of proponents for arguments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Algorithms for effective argumentation in classical propositional logic: a connection graph approach
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
The Knowledge Engineering Review
Pitfalls in Practical Open Multi Agent Argumentation Systems: Malicious Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Plato: a compiler for interactive web forms
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Presentation of arguments and counterarguments for tentative scientific knowledge
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
There are many frameworks for modelling argumentation in logic. They include a formal representation of individual arguments and techniques for comparing conflicting arguments. A problem with these proposals is that they do not consider arguments for and against first-order formulae. We present a framework for first-order logic argumentation based on argument trees that provide a way of exhaustively collating arguments and counter-arguments. A difficulty with first-order argumentation is that there may be many arguments and counterarguments even with a relatively small knowledgebase. We propose rationalizing the arguments under consideration with the aim of reducing redundancy and highlighting key points.