A mathematical treatment of defeasible reasoning and its implementation.
From MaRDI portal
Publication:989158
DOI10.1016/0004-3702(92)90069-AzbMath1193.68238MaRDI QIDQ989158
Guillermo R. Simari, Ronald P. Loui
Publication date: 27 August 2010
Published in: Artificial Intelligence (Search for Journal in Brave)
Related Items
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, A quantitative approach to belief revision in structured probabilistic argumentation, A logic programming framework for possibilistic argumentation: Formalization and logical properties, Using arguments for making and explaining decisions, A two-phase method for extracting explanatory arguments from Bayesian networks, Explaining Bayesian Networks Using Argumentation, Preferences in artificial intelligence, Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack, Argumentation through a distributed self-stabilizing approach, Argument strength in probabilistic argumentation using confirmation theory, An argumentation framework in default logic, Building an Epistemic Logic for Argumentation, On a rule-based interpretation of default conditionals, How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?, Minimal model semantics for sorted constraint representation, Rethinking specificity in defeasible reasoning and its effect in argument reinstatement, The first international competition on computational models of argumentation: results and analysis, Logical limits of abstract argumentation frameworks, The inapplicability of (selected) paraconsistent logics, Argument strength in probabilistic argumentation based on defeasible rules, Nonmonotonic inheritance, argumentation and logic programming, Defeasible inheritance with doubt index and its axiomatic characterization, Belief revision and computational argumentation: a critical comparison, Explaining black-box classifiers: properties and functions, On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs, Logical argumentation by dynamic proof systems, Deductive belief change, Law and logic: a review from an argumentation perspective, Value-based argumentation framework built from prioritized qualitative choice logic, An abstract, argumentation-theoretic approach to default reasoning, Dynamic reasoning with qualified syllogisms, Abstract argumentation systems, A labeled argumentation framework, Prioritized and non-prioritized multiple change on belief bases, A structured bipolar argumentation theory for providing explanations in practical reasoning, Stratified belief bases revision with argumentative inference, Constrained Value-Based Argumentation Framework, Generating possible intentions with constrained argumentation systems, The Logical Handling of Threats, Rewards, Tips, and Warnings, On the Acceptability of Incompatible Arguments, Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations, DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION, Instantiating abstract argumentation with classical logic arguments: postulates and properties, Valued preference-based instantiation of argumentation frameworks with varied strength defeats, Postulates for logic-based argumentation systems, Arguing and Explaining Classifications, A system for defeasible argumentation, with defeasible priorities, SCC-recursiveness: a general schema for argumentation semantics, Deductive argumentation by enhanced sequent calculi and dynamic derivations, Arguing with Valued Preference Relations, Two Roles of Preferences in Argumentation Frameworks, Modeling time and valuation in structured argumentation frameworks, A series of revisions of David Poole's specificity, Belief revision in structured probabilistic argumentation, model and application to cyber security, Skepticism relations for comparing argumentation semantics, A formal account of Socratic-style argumentation, Cost-bounded argumentation, Defeasible reasoning + partial models: A formal framework for the methodology of research programs, A logic-based theory of deductive arguments, A logical account of formal argumentation, Preference-based argumentation: arguments supporting multiple values, Semantics for a theory of defeasible reasoning, Local logics, non-monotonicity and defeasible argumentation, A generalized proof-theoretic approach to logical argumentation based on hypersequents, The foundations of DeLP: Defeating relations, games and truth values, A mathematical treatment of defeasible reasoning and its implementation., Towards Context Sensitive Defeasible Rules, Argumentation Theory and Decision Aiding, An argument-based approach to reasoning with specificity, Defeasible reasoning with variable degrees of justification, A Comparative Study of Some Central Notions of ASPIC+ and DeLP, A review of the relations between logical argumentation and reasoning with maximal consistency, Evaluation of argument strength in attack graphs: foundations and semantics, Evaluating dialectical structures, Reaching agreements through argumentation: a logical model and implementation, On the evaluation of argumentation formalisms, Argumentation in artificial intelligence, An application of formal argumentation: fusing Bayesian networks in multi-agent systems, The carneades model of argument and burden of proof, Computing Generalized Specificity, Handling controversial arguments, A framework for group decision support systems: Combining AI tools and OR techniques, A new approach for preference-based argumentation frameworks, Computer-supported collaborative argumentation and fuzzy similarity measures in multiple criteria decision making, Belief base contraction by belief accrual, Extending abstract argumentation systems theory, Abductive inference in defeasible reasoning: a model for research programmes, On three-valued acceptance conditions of abstract dialectical frameworks, Argument-based extended logic programming with defeasible priorities, Explanations, belief revision and defeasible reasoning., Relating defeasible and normal logic programming through transformation properties., Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, On the equivalence between logic programming semantics and argumentation semantics, Policy-based inconsistency management in relational databases, Rich preference-based argumentation frameworks
Cites Work
- Unnamed Item
- Unnamed Item
- A mathematical treatment of defeasible reasoning and its implementation.
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A logical framework for default reasoning
- Nonmonotonic logic and temporal projection
- A logic for default reasoning
- Knowledge representation and defeasible reasoning
- The logical foundations of statistical inference
- A skeptical theory of inheritance in nonmonotonic semantic networks
