An abstract, argumentation-theoretic approach to default reasoning
From MaRDI portal
Publication:1402718
DOI10.1016/S0004-3702(97)00015-5zbMath1017.03511OpenAlexW2039020269WikidataQ56551818 ScholiaQ56551818MaRDI QIDQ1402718
Publication date: 28 August 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00015-5
Logic programmingNonmonotonic reasoningAbductionTheoristArgumentationDefault logicCircumscriptionNonmonotonic logicsDefault reasoningAutoepistemic logicNonmonotonic modal logics
Related Items
When is argumentation deductive? ⋮ Forecasting with jury-based probabilistic argumentation ⋮ Lattice point of view for argumentation framework ⋮ Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation ⋮ Belief revision and computational argumentation: a critical comparison ⋮ The complexity landscape of claim-augmented argumentation frameworks ⋮ Weakest link in formal argumentation: lookahead and principle-based analysis ⋮ Presumptive Reasoning in a Paraconsistent Setting ⋮ A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments ⋮ Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents ⋮ An argument-based approach to reasoning with specificity ⋮ Reasoning about preferences in argumentation frameworks ⋮ A Formal Theory of Justifications ⋮ Representing and Reasoning About Arguments Mined from Texts and Dialogues ⋮ Preferences in artificial intelligence ⋮ Backdoors to Satisfaction ⋮ Assumption-based argumentation is logic programming with projection ⋮ Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ Argumentation for Practical Reasoning: An Axiomatic Approach ⋮ Argumentation-Based Semantics for Logic Programs with First-Order Formulae ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ Obligation as optimal goal satisfaction ⋮ Labellings for assumption-based and abstract argumentation ⋮ An argumentation system for defeasible reasoning ⋮ Inference procedures and engine for probabilistic argumentation ⋮ Equivalence in logic-based argumentation ⋮ Minimal hypotheses: extension-based semantics to argumentation ⋮ Foundations for a logic of arguments ⋮ Mathematical Arguments and Distributed Knowledge ⋮ Approved Models for Normal Logic Programs ⋮ Justifying answer sets using argumentation ⋮ Simple contrapositive assumption-based argumentation frameworks ⋮ A general approach to extension-based semantics in abstract argumentation ⋮ On the preferred extensions of argumentation frameworks: bijections with naive sets ⋮ On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs ⋮ Logical argumentation by dynamic proof systems ⋮ Fundamental properties of attack relations in structured argumentation with priorities ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ Flexible dispute derivations with forward and backward arguments for assumption-based argumentation ⋮ A probabilistic deontic argumentation framework ⋮ Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks ⋮ Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation ⋮ An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences ⋮ Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations ⋮ Unnamed Item ⋮ Abstract argumentation and explanation applied to scientific debates ⋮ 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 ⋮ A QBF-based formalization of abstract argumentation semantics ⋮ A neural cognitive model of argumentation with application to legal inference and decision making ⋮ Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens ⋮ On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach ⋮ Evaluating dialectical structures with Bayesian methods ⋮ Hybrid Reasoning on a Bipolar Argumentation Framework ⋮ Dialectic proof procedures for assumption-based, admissible argumentation ⋮ Approximating agreements in formal argumentation dialogues1 ⋮ On degrees of justification ⋮ Revealed preference in argumentation: algorithms and applications ⋮ Computational complexity of flat and generic assumption-based argumentation, with and without probabilities ⋮ 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 ⋮ Belief revision in structured probabilistic argumentation, model and application to cyber security ⋮ Assessing the epistemological relevance of Dung-style argumentation theories ⋮ Skepticism relations for comparing argumentation semantics ⋮ A formal account of Socratic-style argumentation ⋮ Augmenting tractable fragments of abstract argumentation ⋮ Meta-argumentation modelling. I: Methodology and techniques ⋮ Semantics for a theory of defeasible reasoning ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Towards Context Sensitive Defeasible Rules ⋮ Assumption-Based Argumentation for Selection and Composition of Services ⋮ Abduction in argumentation frameworks ⋮ A labelling framework for probabilistic argumentation ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ Reasoning in BDI agents using Toulmin's argumentation model ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface ⋮ Reasoning about Exceptions to Contracts ⋮ Evaluation of argument strength in attack graphs: foundations and semantics ⋮ Simple contrapositive assumption-based argumentation. II: Reasoning with preferences ⋮ Partial Semantics of Argumentation ⋮ Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant ⋮ Evaluating dialectical structures ⋮ Default logic generalized and simplified ⋮ Audiences in argumentation frameworks ⋮ On the evaluation of argumentation formalisms ⋮ Argumentation in artificial intelligence ⋮ Computing ideal sceptical argumentation ⋮ Computational properties of argument systems satisfying graph-theoretic constraints ⋮ An executable specification of a formal argumentation protocol ⋮ The carneades model of argument and burden of proof ⋮ Correct Grounded Reasoning with Presumptive Arguments ⋮ On the graded acceptability of arguments in abstract and instantiated argumentation ⋮ Extending abstract argumentation systems theory ⋮ Modelling last-act attempted crime in criminal law ⋮ The computational complexity of ideal semantics ⋮ A comprehensive study of argumentation frameworks with sets of attacking arguments ⋮ Alternative foundations for Reiter's default logic ⋮ Coherence in finite argument systems. ⋮ On the computational complexity of assumption-based argumentation for default reasoning. ⋮ On the equivalence between logic programming semantics and argumentation semantics ⋮ Assumption-based argumentation for extended disjunctive logic programming ⋮ Graded labellings for abstract argumentation ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Argument graphs and assumption-based argumentation ⋮ Two party immediate response disputes: Properties and efficiency
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A mathematical treatment of defeasible reasoning and its implementation.
- Conditional entailment: bridging two approaches to default reasoning.
- Semantical considerations on nonmonotonic logic
- A logical framework for default reasoning
- A circumscriptive theorem prover
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Justification and defeat
- A theory of nonmonotonic rule systems. II
- A theory of nonmonotonic rule systems I
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Completed logic programs and their consistency
- Nonmonotonic Logic II
- Short note preferred extensions are partial stable models
- The well-founded semantics for general logic programs
- Nonmonotonic inheritance, argumentation and logic programming
- Computing the acceptability semantics
- Abductive Logic Programming
