Defeasible logic programming: an argumentative approach
From MaRDI portal
Publication:4819006
DOI10.1017/S1471068403001674zbMath1090.68015OpenAlexW2159569510MaRDI QIDQ4819006
Guillermo R. Simari, Alejandro Javier García
Publication date: 24 September 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068403001674
Related Items (only showing first 100 items - show all)
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics ⋮ A quantitative approach to belief revision in structured probabilistic argumentation ⋮ A logic programming framework for possibilistic argumentation: Formalization and logical properties ⋮ Representing and Reasoning About Arguments Mined from Texts and Dialogues ⋮ Preferences in artificial intelligence ⋮ Similarity measures based on compiled arguments ⋮ Argument strength in probabilistic argumentation using confirmation theory ⋮ Philosophical reflections on argument strength and gradual acceptability ⋮ Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights ⋮ How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? ⋮ An approach to decision making based on dynamic argumentation systems ⋮ Rethinking specificity in defeasible reasoning and its effect in argument reinstatement ⋮ Argumentation for Practical Reasoning: An Axiomatic Approach ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ Bipolarity in temporal argumentation frameworks ⋮ Labellings for assumption-based and abstract argumentation ⋮ An argumentation system for defeasible reasoning ⋮ Weighted argumentation for analysis of discussions in Twitter ⋮ The first international competition on computational models of argumentation: results and analysis ⋮ Logic-based argumentation with existential rules ⋮ Equivalence in logic-based argumentation ⋮ Argument strength in probabilistic argumentation based on defeasible rules ⋮ Foundations for a logic of arguments ⋮ PARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Ω-ENTAILMENT ⋮ When is argumentation deductive? ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ Justifying answer sets using argumentation ⋮ Simple contrapositive assumption-based argumentation frameworks ⋮ Belief revision and computational argumentation: a critical comparison ⋮ A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling ⋮ 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 ⋮ On efficiently estimating the probability of extensions in abstract argumentation frameworks ⋮ An approach to abstract argumentation with recursive attack and support ⋮ A labeled argumentation framework ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Automatic knowledge generation for a persuasion dialogue system with enthymemes ⋮ Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments ⋮ A structured bipolar argumentation theory for providing explanations in practical reasoning ⋮ Stratified belief bases revision with argumentative inference ⋮ Argumentation Framework Based on Evidence Theory ⋮ Dialectical Explanations in Defeasible Argumentation ⋮ 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 ⋮ Algorithms for generating arguments and counterarguments in propositional logic ⋮ A general framework for sound assumption-based argumentation dialogues ⋮ A neural cognitive model of argumentation with application to legal inference and decision making ⋮ Postulates for logic-based argumentation systems ⋮ Logic programming and burden of proof in legal reasoning ⋮ A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments ⋮ Defeasible Argumentation Support for an Extended BDI Architecture ⋮ SCC-recursiveness: a general schema for argumentation semantics ⋮ Approximating agreements in formal argumentation dialogues1 ⋮ Designing context-aware systems: a method for understanding and analysing context in practice ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Revealed preference in argumentation: algorithms and applications ⋮ Argumentative explanations for interactive recommendations ⋮ Computational complexity of flat and generic assumption-based argumentation, with and without probabilities ⋮ Incremental computation for structured argumentation over dynamic DeLP knowledge bases ⋮ Backing and Undercutting in Defeasible Logic Programming ⋮ Handling Exceptions in Logic Programming without Negation as Failure ⋮ Modeling time and valuation in structured argumentation frameworks ⋮ A characterization of types of support between structured arguments and their relationship with support in abstract argumentation ⋮ Reasoning on the Web with Assumption-Based Argumentation ⋮ A general semi-structured formalism for computational argumentation: definition, properties, and examples of application ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ Using argument strength for building dialectical bonsai ⋮ A series of revisions of David Poole's specificity ⋮ Belief revision in structured probabilistic argumentation, model and application to cyber security ⋮ A formal account of Socratic-style argumentation ⋮ Defeasible reasoning + partial models: A formal framework for the methodology of research programs ⋮ Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ The foundations of DeLP: Defeating relations, games and truth values ⋮ An argument-based approach to reasoning with clinical knowledge ⋮ Argumentation Theory and Decision Aiding ⋮ A recursive genetic framework for evolutionary decision-making in problems with high dynamism ⋮ Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach ⋮ A Comparative Study of Some Central Notions of ASPIC+ and DeLP ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Practical reasoning using values: an argumentative approach based on a hierarchy of values ⋮ Probabilistic argumentation: an approach based on conditional probability. A preliminary report ⋮ Some Thoughts on Using Argumentation to Handle Trust ⋮ An Algorithm for Generating Arguments in Classical Predicate Logic ⋮ Modelling Argument Accrual in Possibilistic Defeasible Logic Programming ⋮ Evaluation of argument strength in attack graphs: foundations and semantics ⋮ On the evaluation of argumentation formalisms ⋮ Correct Grounded Reasoning with Presumptive Arguments ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Encoding deductive argumentation in quantified Boolean formulae ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey ⋮ On the equivalence between logic programming semantics and argumentation semantics ⋮ An approach to improve argumentation-based epistemic planning with contextual preferences ⋮ Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence ⋮ Argument graphs and assumption-based argumentation ⋮ Rich preference-based argumentation frameworks ⋮ Presumptive Reasoning in a Paraconsistent Setting
This page was built for publication: Defeasible logic programming: an argumentative approach