Instantiating abstract argumentation with classical logic arguments: postulates and properties
From MaRDI portal
Publication:646494
DOI10.1016/j.artint.2010.12.003zbMath1225.68248OpenAlexW2122177287MaRDI QIDQ646494
Nikos Gorogiannis, Anthony Hunter
Publication date: 17 November 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.12.003
Related Items
Dialogue Games for Argumentation Frameworks with Necessities, A paraconsistent approach to deal with epistemic inconsistencies in argumentation, Beyond Maxi-Consistent Argumentation Operators, Normal and strong expansion equivalence for argumentation frameworks, Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction, An argumentation system for defeasible reasoning, Logical limits of abstract argumentation frameworks, Equivalence in logic-based argumentation, A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness, Belief revision and computational argumentation: a critical comparison, The complexity landscape of claim-augmented argumentation frameworks, Logical argumentation by dynamic proof systems, A postulate-driven study of logical argumentation, Weakest link in formal argumentation: lookahead and principle-based analysis, An axiomatic analysis of structured argumentation with priorities, Characterizing strong equivalence for argumentation frameworks, Classical logic, argument and dialectic, A QBF-based formalization of abstract argumentation semantics, Postulates for logic-based argumentation systems, An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals, Computational complexity of flat and generic assumption-based argumentation, with and without probabilities, Deductive argumentation by enhanced sequent calculi and dynamic derivations, Theory of semi-instantiation in abstract argumentation, A Comparative Study of Some Central Notions of ASPIC+ and DeLP, A review of the relations between logical argumentation and reasoning with maximal consistency, Opposition Frameworks, Complexity of abstract argumentation under a claim-centric view, Methods for solving reasoning problems in abstract argumentation -- a survey, On the equivalence between logic programming semantics and argumentation semantics, Rich preference-based argumentation frameworks
Uses Software
Cites Work
- Reasoning about preferences in argumentation frameworks
- A mathematical treatment of defeasible reasoning and its implementation.
- On the evaluation of argumentation formalisms
- Argumentation in artificial intelligence
- Computing ideal sceptical argumentation
- How to reason defeasibly
- An abstract, argumentation-theoretic approach to default reasoning
- A reasoning model based on the production of acceptable arguments
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Dialectic proof procedures for assumption-based, admissible argumentation
- Argumentative logics: Reasoning with classically inconsistent information
- Argument-based extended logic programming with defeasible priorities
- On bipolarity in argumentation frameworks
- Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
- Properties and Complexity of Some Formal Inter-agent Dialogues
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Defeasible logic programming: an argumentative approach
- Mechanizing Mathematical Reasoning
- A logic-based theory of deductive arguments