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