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
Presumptive Reasoning in a Paraconsistent Setting, 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
