Argumentation in artificial intelligence

DOI10.1016/j.artint.2007.05.001zbMath1168.68560OpenAlexW2121835362WikidataQ58168530 ScholiaQ58168530MaRDI QIDQ1028943

Trevor J. M. Bench-Capon, Paul E. Dunne

Publication date: 9 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2007.05.001

zbMATH Keywords

practical reasoningagent-based negotiationargument diagrams and schemesargumentation modelsdialogue processes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving, Artificial intelligence-based network traffic analysis and automatic optimization technology, Reasoning about preferences in argumentation frameworks, Dialogue Games for Argumentation Frameworks with Necessities, Preferences in artificial intelligence, Backdoors to Satisfaction, Optimization of dialectical outcomes in dialogical argumentation, On rejected arguments and implicit conflicts: the hidden power of argumentation semantics, Inconsistency measures for probabilistic logics, Toward incremental computation of argumentation semantics: a decomposition-based approach, Bipolarity in temporal argumentation frameworks, Labellings for assumption-based and abstract argumentation, Probabilistic Abstract Dialectical Frameworks, Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation, Weighted argumentation for analysis of discussions in Twitter, The first international competition on computational models of argumentation: results and analysis, On the Complexity of Probabilistic Abstract Argumentation Frameworks, Minimal hypotheses: extension-based semantics to argumentation, Dynamics of Fuzzy Argumentation Frameworks, A Bayesian approach to forward and inverse abstract argumentation problems, Merging operators on stratified belief bases equipped with argumentative inference, Lattice point of view for argumentation framework, On checking skeptical and ideal admissibility in abstract argumentation frameworks, A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness, Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks, A general approach to extension-based semantics in abstract argumentation, Belief revision and computational argumentation: a critical comparison, On the preferred extensions of argumentation frameworks: bijections with naive sets, Characteristics of multiple viewpoints in abstract argumentation, Paracoherent Answer Set Semantics meets Argumentation Frameworks, Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory, An approach to abstract argumentation with recursive attack and support, Characterizing strong equivalence for argumentation frameworks, Topological conditions and solutions for repairing argumentation frameworks, Fuzzy labeling semantics for quantitative argumentation, Stratified belief bases revision with argumentative inference, Argumentation Framework Based on Evidence Theory, Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic, Classical logic, argument and dialectic, Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations, Instantiating abstract argumentation with classical logic arguments: postulates and properties, Algorithms and complexity results for persuasive argumentation, Dynamics of argumentation systems: a division-based method, A general framework for sound assumption-based argumentation dialogues, Complexity of semi-stable and stage semantics in argumentation frameworks, An extension-based approach to belief revision in abstract argumentation, On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach, FLP answer set semantics without circular justifications for general logic programs, Abstract argument games via modal logic, Algorithms for decision problems in argument systems under preferred semantics, Verification in incomplete argumentation frameworks, Incremental computation for structured argumentation over dynamic DeLP knowledge bases, Uses and computation of imprecise probabilities from statistical data and expert arguments, Modeling time and valuation in structured argumentation frameworks, Reasoning on the Web with Assumption-Based Argumentation, A general semi-structured formalism for computational argumentation: definition, properties, and examples of application, Using argument strength for building dialectical bonsai, Assessing the epistemological relevance of Dung-style argumentation theories, Augmenting tractable fragments of abstract argumentation, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Infinite Argumentation Frameworks, Open Problems in Abstract Argumentation, Equivalence for the \(G_3^\prime\)-stable models semantics, Meta-argumentation modelling. I: Methodology and techniques, A generalized proof-theoretic approach to logical argumentation based on hypersequents, Initial sets in abstract argumentation frameworks, A labelling framework for probabilistic argumentation, An argument-based approach to reasoning with clinical knowledge, Design and results of the second international competition on computational models of argumentation, Normality, non-contamination and logical depth in classical natural deduction, Expressing Extension-Based Semantics Based on Stratified Minimal Models, Partial Semantics of Argumentation, A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions, Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks, Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence, Preservation of semantic properties in collective argumentation: the case of aggregating abstract argumentation frameworks, Belief base contraction by belief accrual, On the graded acceptability of arguments in abstract and instantiated argumentation, A general notion of equivalence for abstract argumentation, On searching explanatory argumentation graphs, The computational complexity of ideal semantics, Encoding deductive argumentation in quantified Boolean formulae, Methods for solving reasoning problems in abstract argumentation -- a survey, An approach to improve argumentation-based epistemic planning with contextual preferences, Graded labellings for abstract argumentation, Argument graphs and assumption-based argumentation, Probabilistic qualification of attack in abstract argumentation

Uses Software

• ClaiMaker
• OSCAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph theoretical structures in logic programs and default theories
• Two party immediate response disputes: Properties and efficiency
• Nonmonotonic causal theories
• Computational representation of practical argument
• A mathematical treatment of defeasible reasoning and its implementation.
• Audiences in argumentation frameworks
• On the evaluation of argumentation formalisms
• Computing ideal sceptical argumentation
• On principle-based evaluation of extension-based argumentation semantics
• On the merging of Dung's argumentation systems
• An application of formal argumentation: fusing Bayesian networks in multi-agent systems
• An executable specification of a formal argumentation protocol
• Negotiating using rewards
• Subjective logic and arguing with evidence
• Practical reasoning as presumptive argumentation using action based alternating transition systems
• The carneades model of argument and burden of proof
• Argument based machine learning
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• How to reason defeasibly
• Question-begging in non-cumulative systems
• The complexity of Gentzen systems for propositional logic
• Reaching agreements through argumentation: a logical model and implementation
• An abstract, argumentation-theoretic approach to default reasoning
• Nonmonotonic reasoning, conditional objects and possibility theory
• Abstract argumentation systems
• Advances in agent communication. International workshop on agent communication languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and invited papers
• A reasoning model based on the production of acceptable arguments
• Games that agents play: A formal framework for dialogues between autonomous agents
• Coherence in finite argument systems.
• On the computational complexity of assumption-based argumentation for default reasoning.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• On the complexity of choosing the branching literal in DPLL
• Default reasoning using classical logic
• Representing epistemic uncertainty by means of dialectical argumentation
• Dialectic proof procedures for assumption-based, admissible argumentation
• SCC-recursiveness: a general schema for argumentation semantics
• More on non-cooperation in dialogue logic
• Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
• A LOGIC FOR UNCERTAIN PROBABILITIES
• Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
• The relative efficiency of propositional proof systems
• Agents that reason and negotiate by arguing
• Robust semantics for argumentation frameworks
• Properties and Complexity of Some Formal Inter-agent Dialogues
• On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
• Persuasion in Practical Argument Using Value-based Argumentation Frameworks
• Dialectical argumentation to solve conflicts in advice giving: a case study in the promotion of healthy nutrition
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Abductive Logic Programming
• On the Relevance of Utterances in Formal Inter-agent Dialogues
• Logics in Artificial Intelligence
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A logic-based theory of deductive arguments
• Debates and decisions: On a rationale of argumentation rules.