Dialectic proof procedures for assumption-based, admissible argumentation
From MaRDI portal
Publication:2457643
DOI10.1016/J.ARTINT.2005.07.002zbMATH Open1131.68103OpenAlexW2084827335MaRDI QIDQ2457643FDOQ2457643
Authors: Phan Minh Dung, Robert Kowalski, Francesca Toni 
Publication date: 23 October 2007
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2005.07.002
Recommendations
Cites Work
- An abstract, argumentation-theoretic approach to default reasoning
- 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
- The well-founded semantics for general logic programs
- Title not available (Why is that?)
- Abductive Logic Programming
- Transformation of logic programs: Foundations and techniques
- Logic programming and negation: A survey
- A logic for default reasoning
- Semantical considerations on nonmonotonic logic
- Circumscription - a form of non-monotonic reasoning
- On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
- Coherence in finite argument systems.
- A logical framework for default reasoning
- Computing argumentation in logic programming
- Title not available (Why is that?)
- Two party immediate response disputes: Properties and efficiency
- Title not available (Why is that?)
- Short note preferred extensions are partial stable models
- An argumentation-theoretic foundation for logic programming
- Title not available (Why is that?)
- Computing the acceptability semantics
Cited In (57)
- Argument graphs and assumption-based argumentation
- Assumption-based argumentation for extended disjunctive logic programming
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
- Modelling last-act attempted crime in criminal law
- Revealed preference in argumentation: algorithms and applications
- Argumentation in artificial intelligence
- Computing ideal sceptical argumentation
- The computational complexity of ideal semantics
- Dialectical Proof Procedures for Probabilistic Abstract Argumentation
- Answers that Have Integrity
- Justifying answer sets using argumentation
- Simple contrapositive assumption-based argumentation frameworks
- Toward justifying logically and socially acceptable reasons with dialectical proof theories
- Towards a common framework for dialectical proof procedures in abstract argumentation
- Algorithms for generating arguments and counterarguments in propositional logic
- Dynamics of argumentation systems: a division-based method
- An Algorithm for Generating Arguments in Classical Predicate Logic
- Logical argumentation by dynamic proof systems
- Dialectical Explanations in Defeasible Argumentation
- A review of the relations between logical argumentation and reasoning with maximal consistency
- An argument-based approach to reasoning with clinical knowledge
- Dialogue games for argumentation frameworks with necessities
- Deductive Joint Support for Rational Unrestricted Rebuttal
- A general framework for sound assumption-based argumentation dialogues
- Collaborative vs. Conflicting Learning, Evolution and Argumentation
- Semantic-based construction of arguments: an answer set programming approach
- Inference procedures and engine for probabilistic argumentation
- Arguments, proofs, and dialogues
- Computational properties of argument systems satisfying graph-theoretic constraints
- Labellings for assumption-based and abstract argumentation
- DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
- Approved Models for Normal Logic Programs
- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
- Normal and strong expansion equivalence for argumentation frameworks
- Toward incremental computation of argumentation semantics: a decomposition-based approach
- Reasoning on the web with assumption-based argumentation
- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents
- Evaluating dialectical structures
- Uses and computation of imprecise probabilities from statistical data and expert arguments
- Fundamental properties of attack relations in structured argumentation with priorities
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Encoding deductive argumentation in quantified Boolean formulae
- Explanations of non-monotonic inference in admissibility-based abstract argumentation
- Flexible dispute derivations with forward and backward arguments for assumption-based argumentation
- Audiences in argumentation frameworks
- Measure-based inconsistency-tolerant maintenance of database integrity
- Reasoning about exceptions to contracts
- Assumption-Based Argumentation for Selection and Composition of Services
- Minimal strong admissibility: a complexity analysis
- Classical logic, argument and dialectic
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Probabilistic qualification of attack in abstract argumentation
- Partial semantics of argumentation
- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
- Forecasting with jury-based probabilistic argumentation
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
- Change in quantitative bipolar argumentation: sufficient, necessary, and counterfactual explanations
This page was built for publication: Dialectic proof procedures for assumption-based, admissible argumentation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457643)
