A mathematical treatment of defeasible reasoning and its implementation.
From MaRDI portal
(Redirected from Publication:989158)
Recommendations
- Methods and Applications of Artificial Intelligence
- Defeasible reasoning: A discussion of some intuitions
- A modal logic of defeasible reasoning
- scientific article; zbMATH DE number 1301973
- scientific article; zbMATH DE number 1269578
- Representation results for defeasible logic
- An argumentation system for defeasible reasoning
- scientific article; zbMATH DE number 1292296
Cites work
- scientific article; zbMATH DE number 3978351 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- A logic for default reasoning
- A logical framework for default reasoning
- A mathematical treatment of defeasible reasoning and its implementation.
- A skeptical theory of inheritance in nonmonotonic semantic networks
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Knowledge representation and defeasible reasoning
- Nonmonotonic logic and temporal projection
- The logical foundations of statistical inference
Cited in
(99)- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
- Abductive inference in defeasible reasoning: a model for research programmes
- Two roles of preferences in argumentation frameworks
- Argument-based extended logic programming with defeasible priorities
- On the equivalence between logic programming semantics and argumentation semantics
- Prioritized and non-prioritized multiple change on belief bases
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
- Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack
- Argumentation in artificial intelligence
- On the equivalence between abstract dialectical frameworks and logic programs
- Cost-bounded argumentation
- Explaining black-box classifiers: properties and functions
- The Logical Handling of Threats, Rewards, Tips, and Warnings
- A comparative study of some central notions of \(\mathit{ASPIC}^+\) and \textit{DeLP}
- The foundations of DeLP: Defeating relations, games and truth values
- Constrained Value-Based Argumentation Framework
- SCC-recursiveness: a general schema for argumentation semantics
- A quantitative approach to belief revision in structured probabilistic argumentation
- The inapplicability of (selected) paraconsistent logics
- Abstract argumentation systems
- An abstract, argumentation-theoretic approach to default reasoning
- Relating defeasible and normal logic programming through transformation properties.
- Semantics for a theory of defeasible reasoning
- Determining preferences over extensions: a cautious approach to preference-based argumentation frameworks
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Generating possible intentions with constrained argumentation systems
- A framework for group decision support systems: Combining AI tools and OR techniques
- A formal account of Socratic-style argumentation
- A series of revisions of David Poole's specificity
- Belief revision in structured probabilistic argumentation, model and application to cyber security
- A system for defeasible argumentation, with defeasible priorities
- Stratified belief bases revision with argumentative inference
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- Minimal model semantics for sorted constraint representation
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
- Using arguments for making and explaining decisions
- Logical argumentation by dynamic proof systems
- A logic-based theory of deductive arguments
- Skepticism relations for comparing argumentation semantics
- A review of the relations between logical argumentation and reasoning with maximal consistency
- A mathematical treatment of defeasible reasoning and its implementation.
- A structured bipolar argumentation theory for providing explanations in practical reasoning
- Preferences in artificial intelligence
- Justification and defeat
- Argument strength in probabilistic argumentation based on defeasible rules
- Dynamic reasoning with qualified syllogisms
- Argument strength in probabilistic argumentation using confirmation theory
- Nonmonotonic inheritance, argumentation and logic programming
- Argumentation through a distributed self-stabilizing approach
- An application of formal argumentation: fusing Bayesian networks in multi-agent systems
- Rich preference-based argumentation frameworks
- Local logics, non-monotonicity and defeasible argumentation
- Logical limits of abstract argumentation frameworks
- Belief revision and computational argumentation: a critical comparison
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION
- A new approach for preference-based argumentation frameworks
- Postulates for logic-based argumentation systems
- Valued preference-based instantiation of argumentation frameworks with varied strength defeats
- Defeasible inheritance with doubt index and its axiomatic characterization
- Explaining Bayesian networks using argumentation
- Law and logic: a review from an argumentation perspective
- Value-based argumentation framework built from prioritized qualitative choice logic
- Extending abstract argumentation systems theory
- An argument-based approach to reasoning with specificity
- Computing generalized specificity
- On the evaluation of argumentation formalisms
- Explanations, belief revision and defeasible reasoning.
- Reaching agreements through argumentation: a logical model and implementation
- An argumentation framework in default logic
- The carneades model of argument and burden of proof
- Defeasible reasoning + partial models: A formal framework for the methodology of research programs
- Evaluation of argument strength in attack graphs: foundations and semantics
- On three-valued acceptance conditions of abstract dialectical frameworks
- A two-phase method for extracting explanatory arguments from Bayesian networks
- Deductive belief change
- Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
- Defeasible reasoning with variable degrees of justification
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
- Evaluating dialectical structures
- The first international competition on computational models of argumentation: results and analysis
- Arguing and Explaining Classifications
- On the Acceptability of Incompatible Arguments
- How to reason defeasibly
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Handling controversial arguments
- Arguing with valued preference relations
- Computer-supported collaborative argumentation and fuzzy similarity measures in multiple criteria decision making
- Modeling time and valuation in structured argumentation frameworks
- Preference-based argumentation: arguments supporting multiple values
- Argumentation theory and decision aiding
- Belief base contraction by belief accrual
- How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
- Towards Context Sensitive Defeasible Rules
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- A logical account of formal argumentation
- A labeled argumentation framework
- On a rule-based interpretation of default conditionals
- Building an epistemic logic for argumentation
- Policy-based inconsistency management in relational databases
This page was built for publication: A mathematical treatment of defeasible reasoning and its implementation.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q989158)
