An abstract, argumentation-theoretic approach to default reasoning
From MaRDI portal
Recommendations
Cites work
- A circumscriptive theorem prover
- A logic for default reasoning
- A logical framework for default reasoning
- A mathematical treatment of defeasible reasoning and its implementation.
- A theory of nonmonotonic rule systems I
- A theory of nonmonotonic rule systems. II
- Abductive Logic Programming
- Circumscription - a form of non-monotonic reasoning
- Completed logic programs and their consistency
- Computing the acceptability semantics
- Conditional entailment: bridging two approaches to default reasoning.
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4164169 (Why is no real title available?)
- scientific article; zbMATH DE number 4166925 (Why is no real title available?)
- scientific article; zbMATH DE number 67505 (Why is no real title available?)
- scientific article; zbMATH DE number 140387 (Why is no real title available?)
- scientific article; zbMATH DE number 140416 (Why is no real title available?)
- scientific article; zbMATH DE number 592368 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- Justification and defeat
- Nonmonotonic inheritance, argumentation and logic programming
- Nonmonotonic Logic II
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- Semantical considerations on nonmonotonic logic
- Short note preferred extensions are partial stable models
- The well-founded semantics for general logic programs
Cited in
(only showing first 100 items - show all)- 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
- The computational complexity of ideal semantics
- A logical framework for default reasoning
- A directly cautious theory of defeasible consequence for default logic via the notion of general extension
- An argumentation framework in default logic
- Extending abstract argumentation systems theory
- Alternative foundations for Reiter's default logic
- Logic programming and knowledge representation---The A-Prolog perspective
- Obligation as optimal goal satisfaction
- Inference procedures and engine for probabilistic argumentation
- Fundamental properties of attack relations in structured argumentation with priorities
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
- Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens
- A general semi-structured formalism for computational argumentation: definition, properties, and examples of application
- Augmenting tractable fragments of abstract argumentation
- Semantics for a theory of defeasible reasoning
- Coherence in finite argument systems.
- On the computational complexity of assumption-based argumentation for default reasoning.
- Reasoning with power defaults
- Minimal hypotheses: extension-based semantics to argumentation
- A modal logic for subjective default reasoning
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Evaluation of argument strength in attack graphs: foundations and semantics
- Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
- Structured argumentation dynamics. Undermining attacks in default justification logic
- Assumption-based argumentation for extended disjunctive logic programming
- Graded labellings for abstract argumentation
- Assumption-based argumentation is logic programming with projection
- Simple contrapositive assumption-based argumentation frameworks
- A probabilistic deontic argumentation framework
- Revealed preference in argumentation: algorithms and applications
- Computational complexity of flat and generic assumption-based argumentation, with and without probabilities
- Meta-argumentation modelling. I: Methodology and techniques
- 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
- On the graded acceptability of arguments in abstract and instantiated argumentation
- A comprehensive study of argumentation frameworks with sets of attacking arguments
- On the equivalence between logic programming semantics and argumentation semantics
- Labellings for assumption-based and abstract argumentation
- An argumentation system for defeasible reasoning
- Logical argumentation by dynamic proof systems
- Abstract argumentation and explanation applied to scientific debates
- A QBF-based formalization of abstract argumentation semantics
- A neural cognitive model of argumentation with application to legal inference and decision making
- Dialectic proof procedures for assumption-based, admissible argumentation
- A formal account of Socratic-style argumentation
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- Argument graphs and assumption-based argumentation
- A general approach to extension-based semantics in abstract argumentation
- On the preferred extensions of argumentation frameworks: bijections with naive sets
- Flexible dispute derivations with forward and backward arguments for assumption-based argumentation
- Correct grounded reasoning with presumptive arguments
- Backdoors to satisfaction
- Mathematical arguments and distributed knowledge
- Reasoning about exceptions to contracts
- Partial semantics of argumentation
- Preferences in artificial intelligence
- Representation properties of abstract default reasoning frameworks
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- A methodology for using a default and abductive reasoning system
- Hybrid reasoning on a bipolar argumentation framework
- Provided you're not trivial: adding defaults and paraconsistency to a formal model of explanation
- scientific article; zbMATH DE number 4200176 (Why is no real title available?)
- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
- A formal theory of justifications
- Representing and reasoning about arguments mined from texts and dialogues
- scientific article; zbMATH DE number 4160167 (Why is no real title available?)
- scientific article; zbMATH DE number 4166920 (Why is no real title available?)
- scientific article; zbMATH DE number 4166925 (Why is no real title available?)
- Approved Models for Normal Logic Programs
- 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
- Meta Level Reasoning and Default Reasoning
- A Fault-Tolerant Default Logic
- Towards Context Sensitive Defeasible Rules
- Assumption-Based Argumentation for Selection and Composition of Services
- scientific article; zbMATH DE number 2031006 (Why is no real title available?)
- scientific article; zbMATH DE number 2064305 (Why is no real title available?)
- scientific article; zbMATH DE number 1522676 (Why is no real title available?)
- scientific article; zbMATH DE number 1754690 (Why is no real title available?)
- Argumentation for practical reasoning: an axiomatic approach
- Argumentation-based semantics for logic programs with first-order formulae
- scientific article; zbMATH DE number 6902516 (Why is no real title available?)
- Equivalence in logic-based argumentation
- Foundations for a logic of arguments
- Justifying answer sets using argumentation
- A general framework for sound assumption-based argumentation dialogues
- Reasoning on the web with assumption-based argumentation
- Abduction in argumentation frameworks
This page was built for publication: An abstract, argumentation-theoretic approach to default reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402718)
