Defeasible logic programming: an argumentative approach

From MaRDI portal
Revision as of 01:37, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 logicsA quantitative approach to belief revision in structured probabilistic argumentationA logic programming framework for possibilistic argumentation: Formalization and logical propertiesRepresenting and Reasoning About Arguments Mined from Texts and DialoguesPreferences in artificial intelligenceSimilarity measures based on compiled argumentsArgument strength in probabilistic argumentation using confirmation theoryPhilosophical reflections on argument strength and gradual acceptabilityExtending a Temporal Defeasible Argumentation Framework with Possibilistic WeightsHow does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?An approach to decision making based on dynamic argumentation systemsRethinking specificity in defeasible reasoning and its effect in argument reinstatementArgumentation for Practical Reasoning: An Axiomatic ApproachLogic Programming with Defaults and Argumentation TheoriesBipolarity in temporal argumentation frameworksLabellings for assumption-based and abstract argumentationAn argumentation system for defeasible reasoningWeighted argumentation for analysis of discussions in TwitterThe first international competition on computational models of argumentation: results and analysisLogic-based argumentation with existential rulesEquivalence in logic-based argumentationArgument strength in probabilistic argumentation based on defeasible rulesFoundations for a logic of argumentsPARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Ω-ENTAILMENTWhen is argumentation deductive?Merging operators on stratified belief bases equipped with argumentative inferenceJustifying answer sets using argumentationSimple contrapositive assumption-based argumentation frameworksBelief revision and computational argumentation: a critical comparisonA First Order Logic Benchmark for Defeasible Reasoning Tool ProfilingLogical argumentation by dynamic proof systemsFundamental properties of attack relations in structured argumentation with prioritiesSemantic-based construction of arguments: an answer set programming approachAn axiomatic analysis of structured argumentation with prioritiesOn efficiently estimating the probability of extensions in abstract argumentation frameworksAn approach to abstract argumentation with recursive attack and supportA labeled argumentation frameworkPrioritized and non-prioritized multiple change on belief basesAutomatic knowledge generation for a persuasion dialogue system with enthymemesTheoretical analysis and implementation of abstract argumentation frameworks with domain assignmentsA structured bipolar argumentation theory for providing explanations in practical reasoningStratified belief bases revision with argumentative inferenceArgumentation Framework Based on Evidence TheoryDialectical Explanations in Defeasible ArgumentationCharacterizing acceptability semantics of argumentation frameworks with recursive attack and support relationsDEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATIONInstantiating abstract argumentation with classical logic arguments: postulates and propertiesAlgorithms for generating arguments and counterarguments in propositional logicA general framework for sound assumption-based argumentation dialoguesA neural cognitive model of argumentation with application to legal inference and decision makingPostulates for logic-based argumentation systemsLogic programming and burden of proof in legal reasoningA Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking ArgumentsDefeasible Argumentation Support for an Extended BDI ArchitectureSCC-recursiveness: a general schema for argumentation semanticsApproximating agreements in formal argumentation dialogues1Designing context-aware systems: a method for understanding and analysing context in practiceDefault Rules in the Logic of First-Degree EntailmentsRevealed preference in argumentation: algorithms and applicationsArgumentative explanations for interactive recommendationsComputational complexity of flat and generic assumption-based argumentation, with and without probabilitiesIncremental computation for structured argumentation over dynamic DeLP knowledge basesBacking and Undercutting in Defeasible Logic ProgrammingHandling Exceptions in Logic Programming without Negation as FailureModeling time and valuation in structured argumentation frameworksA characterization of types of support between structured arguments and their relationship with support in abstract argumentationReasoning on the Web with Assumption-Based ArgumentationA general semi-structured formalism for computational argumentation: definition, properties, and examples of applicationt-DeLP: an argumentation-based temporal defeasible logic programming frameworkUsing argument strength for building dialectical bonsaiA series of revisions of David Poole's specificityBelief revision in structured probabilistic argumentation, model and application to cyber securityA formal account of Socratic-style argumentationDefeasible reasoning + partial models: A formal framework for the methodology of research programsFormalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unificationA generalized proof-theoretic approach to logical argumentation based on hypersequentsThe foundations of DeLP: Defeating relations, games and truth valuesAn argument-based approach to reasoning with clinical knowledgeArgumentation Theory and Decision AidingA recursive genetic framework for evolutionary decision-making in problems with high dynamismAlgorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph ApproachA Comparative Study of Some Central Notions of ASPIC+ and DeLPA review of the relations between logical argumentation and reasoning with maximal consistencyPractical reasoning using values: an argumentative approach based on a hierarchy of valuesProbabilistic argumentation: an approach based on conditional probability. A preliminary reportSome Thoughts on Using Argumentation to Handle TrustAn Algorithm for Generating Arguments in Classical Predicate LogicModelling Argument Accrual in Possibilistic Defeasible Logic ProgrammingEvaluation of argument strength in attack graphs: foundations and semanticsOn the evaluation of argumentation formalismsCorrect Grounded Reasoning with Presumptive ArgumentsStructured argumentation dynamics. Undermining attacks in default justification logicEncoding deductive argumentation in quantified Boolean formulaeMethods for solving reasoning problems in abstract argumentation -- a surveyOn the equivalence between logic programming semantics and argumentation semanticsAn approach to improve argumentation-based epistemic planning with contextual preferencesTowards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible EvidenceArgument graphs and assumption-based argumentationRich preference-based argumentation frameworksPresumptive Reasoning in a Paraconsistent Setting







This page was built for publication: Defeasible logic programming: an argumentative approach