Dialectic proof procedures for assumption-based, admissible argumentation
From MaRDI portal
Publication:2457643
DOI10.1016/J.ARTINT.2005.07.002zbMATH Open1131.68103OpenAlexW2084827335MaRDI QIDQ2457643
Robert Kowalski, Francesca Toni, Phan Minh Dung
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
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?)
- 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
- 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
- Two party immediate response disputes: Properties and efficiency
- Short note preferred extensions are partial stable models
- An argumentation-theoretic foundation for logic programming
- Computing the acceptability semantics
Cited In (49)
- 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
- Reasoning about Exceptions to Contracts
- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity
- Partial Semantics of Argumentation
- Justifying answer sets using argumentation
- Simple contrapositive assumption-based argumentation frameworks
- Reasoning on the Web with Assumption-Based 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
- Forecasting with jury-based probabilistic argumentation
- A review of the relations between logical argumentation and reasoning with maximal consistency
- An argument-based approach to reasoning with clinical knowledge
- Deductive Joint Support for Rational Unrestricted Rebuttal
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
- 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
- Computational properties of argument systems satisfying graph-theoretic constraints
- Labellings for assumption-based and abstract argumentation
- 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
- 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
- Assumption-Based Argumentation for Selection and Composition of Services
- Change in quantitative bipolar argumentation: sufficient, necessary, and counterfactual explanations
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Probabilistic qualification of attack in abstract argumentation
- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
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)
