Argumentation in artificial intelligence
From MaRDI portal
Publication:1028943
DOI10.1016/J.ARTINT.2007.05.001zbMATH Open1168.68560DBLPjournals/ai/Bench-CaponD07OpenAlexW2121835362WikidataQ58168530 ScholiaQ58168530MaRDI QIDQ1028943
Trevor 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
practical reasoningagent-based negotiationargument diagrams and schemesargumentation modelsdialogue processes
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonmonotonic causal theories
- How to reason defeasibly
- Computing ideal sceptical argumentation
- An abstract, argumentation-theoretic approach to default reasoning
- Abstract argumentation 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
- Dialectic proof procedures for assumption-based, admissible argumentation
- Abductive Logic Programming
- The relative efficiency of propositional proof systems
- A logic-based theory of deductive arguments
- A mathematical treatment of defeasible reasoning and its implementation.
- A logic for default reasoning
- On the evaluation of argumentation formalisms
- Semantical considerations on nonmonotonic logic
- Reaching agreements through argumentation: a logical model and implementation
- A reasoning model based on the production of acceptable arguments
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Nonmonotonic reasoning, conditional objects and possibility theory
- On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
- On principle-based evaluation of extension-based argumentation semantics
- Coherence in finite argument systems.
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Graph theoretical structures in logic programs and default theories
- Dynamic argument systems: A formal model of argumentation processes based on situation calculus
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Computational representation of practical argument
- On the merging of Dung's argumentation systems
- Argument based machine learning
- SCC-recursiveness: a general schema for argumentation semantics
- Robust semantics for argumentation frameworks
- Debates and decisions: On a rationale of argumentation rules.
- A LOGIC FOR UNCERTAIN PROBABILITIES
- Practical reasoning as presumptive argumentation using action based alternating transition systems
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- Properties and Complexity of Some Formal Inter-agent Dialogues
- On the Relevance of Utterances in Formal Inter-agent Dialogues
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- The carneades model of argument and burden of proof
- Audiences in argumentation frameworks
- Two party immediate response disputes: Properties and efficiency
- Logics in Artificial Intelligence
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- An application of formal argumentation: fusing Bayesian networks in multi-agent systems
- Agents that reason and negotiate by arguing
- Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
- The complexity of Gentzen systems for propositional logic
- Question-begging in non-cumulative systems
- More on non-cooperation in dialogue logic
- Games that agents play: A formal framework for dialogues between autonomous agents
- Dialectical argumentation to solve conflicts in advice giving: a case study in the promotion of healthy nutrition
- Advances in agent communication. International workshop on agent communication languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and invited papers
- An executable specification of a formal argumentation protocol
- On the complexity of choosing the branching literal in DPLL
- Negotiating using rewards
- Subjective logic and arguing with evidence
- Default reasoning using classical logic
- Representing epistemic uncertainty by means of dialectical argumentation
- A mathematical model of dialog
Cited In (97)
- Preservation of semantic properties in collective argumentation: the case of aggregating abstract argumentation frameworks
- An approach to improve argumentation-based epistemic planning with contextual preferences
- Initial sets in abstract argumentation frameworks
- Design and results of the second international competition on computational models of argumentation
- Weighted argumentation for analysis of discussions in Twitter
- Expressing Extension-Based Semantics Based on Stratified Minimal Models
- Contextual Argumentation in Ambient Intelligence
- On checking skeptical and ideal admissibility in abstract argumentation frameworks
- Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- Determining preferences over extensions: a cautious approach to preference-based argumentation frameworks
- Partial Semantics of Argumentation
- Artificial intelligence-based network traffic analysis and automatic optimization technology
- Using argument strength for building dialectical bonsai
- Reduced meet over labelling-based semantics in abstract argumentation
- Fuzzy labeling semantics for quantitative argumentation
- Topological conditions and solutions for repairing argumentation frameworks
- Lattice point of view for argumentation framework
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
- On searching explanatory argumentation graphs
- Logic Programming
- Dynamics of Fuzzy Argumentation Frameworks
- An awareness epistemic framework for belief, argumentation and their dynamics
- On dynamics in structured argumentation formalisms
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence
- On the preferred extensions of argumentation frameworks: bijections with naive sets
- A Bayesian approach to forward and inverse abstract argumentation problems
- Dialogue Games for Argumentation Frameworks with Necessities
- Paracoherent Answer Set Semantics meets Argumentation Frameworks
- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
- Incremental computation for structured argumentation over dynamic DeLP knowledge bases
- Minimality, necessity and sufficiency for argumentation and explanation
- Change in quantitative bipolar argumentation: sufficient, necessary, and counterfactual explanations
- A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions
- Augmenting tractable fragments of abstract argumentation
- Argument graphs and assumption-based argumentation
- Probabilistic Abstract Dialectical Frameworks
- A general semi-structured formalism for computational argumentation: definition, properties, and examples of application
- Inconsistency measures for probabilistic logics
- Normality, non-contamination and logical depth in classical natural deduction
- Argumentation machines. New frontiers in argument and computation.
- On the graded acceptability of arguments in abstract and instantiated argumentation
- Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence
- Equivalence for the \(G_3^\prime\)-stable models semantics
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- The computational complexity of ideal semantics
- A general notion of equivalence for abstract argumentation
- Bipolarity in temporal argumentation frameworks
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Characterizing strong equivalence for argumentation frameworks
- A labelling framework for probabilistic argumentation
- Reasoning on the Web with Assumption-Based Argumentation
- Dynamics of argumentation systems: a division-based method
- Stratified belief bases revision with argumentative inference
- An argument-based approach to reasoning with clinical knowledge
- Preferences in artificial intelligence
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
- A general approach to extension-based semantics in abstract argumentation
- A general framework for sound assumption-based argumentation dialogues
- Merging operators on stratified belief bases equipped with argumentative inference
- Belief revision and computational argumentation: a critical comparison
- Optimization of dialectical outcomes in dialogical argumentation
- Algorithms for decision problems in argument systems under preferred semantics
- Infinite Argumentation Frameworks
- Open Problems in Abstract Argumentation
- Minimal hypotheses: extension-based semantics to argumentation
- Reasoning about preferences in argumentation frameworks
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
- On rejected arguments and implicit conflicts: the hidden power of argumentation semantics
- An approach to abstract argumentation with recursive attack and support
- Complexity of semi-stable and stage semantics in argumentation frameworks
- Backdoors to Satisfaction
- Abstract argument games via modal logic
- Labellings for assumption-based and abstract argumentation
- FLP answer set semantics without circular justifications for general logic programs
- Characteristics of multiple viewpoints in abstract argumentation
- Toward incremental computation of argumentation semantics: a decomposition-based approach
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
- The first international competition on computational models of argumentation: results and analysis
- Uses and computation of imprecise probabilities from statistical data and expert arguments
- Algorithms and complexity results for persuasive argumentation
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Encoding deductive argumentation in quantified Boolean formulae
- Argumentation Framework Based on Evidence Theory
- On the Complexity of Probabilistic Abstract Argumentation Frameworks
- Modeling time and valuation in structured argumentation frameworks
- An extension-based approach to belief revision in abstract argumentation
- Graded labellings for abstract argumentation
- Meta-argumentation modelling. I: Methodology and techniques
- Belief base contraction by belief accrual
- On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
- Verification in incomplete argumentation frameworks
- Classical logic, argument and dialectic
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Probabilistic qualification of attack in abstract argumentation
- Assessing the epistemological relevance of Dung-style argumentation theories
Uses Software
This page was built for publication: Argumentation in artificial intelligence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028943)
