Argument-based extended logic programming with defeasible priorities

DOI10.1080/11663081.1997.10510900zbMath0877.68019OpenAlexW2069176561MaRDI QIDQ3128365

Publication date: 27 November 1997

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1997.10510900

zbMATH Keywords

defeasible argumentation logic-programming language

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Other applications of logic (03B80)

Related Items

Defeasible logic with dynamic priorities ⋮ A logic programming framework for possibilistic argumentation: Formalization and logical properties ⋮ Reasoning about preferences in argumentation frameworks ⋮ Preferences in artificial intelligence ⋮ Argumentation through a distributed self-stabilizing approach ⋮ How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? ⋮ An approach to decision making based on dynamic argumentation systems ⋮ Argumentation for Practical Reasoning: An Axiomatic Approach ⋮ Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction ⋮ Weighted argumentation for analysis of discussions in Twitter ⋮ Equivalence of defeasible normative systems ⋮ Logical limits of abstract argumentation frameworks ⋮ Minimal hypotheses: extension-based semantics to argumentation ⋮ CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Integrated preference argumentation and applications in consumer behaviour analyses ⋮ On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs ⋮ Fundamental properties of attack relations in structured argumentation with priorities ⋮ Law and logic: a review from an argumentation perspective ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ Value-based argumentation framework built from prioritized qualitative choice logic ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ Flexible dispute derivations with forward and backward arguments for assumption-based argumentation ⋮ On the Acceptability of Incompatible Arguments ⋮ An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences ⋮ Classical logic, argument and dialectic ⋮ 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 QBF-based formalization of abstract argumentation semantics ⋮ On bipolarity in argumentation frameworks ⋮ Postulates for logic-based argumentation systems ⋮ Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents ⋮ Arguing and Explaining Classifications ⋮ A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) ⋮ A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II) ⋮ Revision of defeasible preferences ⋮ SCC-recursiveness: a general schema for argumentation semantics ⋮ Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems ⋮ Approximating agreements in formal argumentation dialogues1 ⋮ Probabilistic legal reasoning in CHRiSM ⋮ Principles Of Talmudic Logic ⋮ Revealed preference in argumentation: algorithms and applications ⋮ Uses and computation of imprecise probabilities from statistical data and expert arguments ⋮ An approach to characterize graded entailment of arguments through a label-based framework ⋮ A characterization of types of support between structured arguments and their relationship with support in abstract argumentation ⋮ Handling threats, rewards, and explanatory arguments in a unified setting ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ A formal account of Socratic-style argumentation ⋮ Weighted argument systems: basic definitions, algorithms, and complexity results ⋮ Symbolic knowledge extraction from trained neural networks: A sound approach ⋮ Complete extensions in argumentation coincide with 3-valued stable models in logic programming ⋮ Logical modes of attack in argumentation networks ⋮ A logical account of formal argumentation ⋮ Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification ⋮ Preference-based argumentation: arguments supporting multiple values ⋮ Semantics for a theory of defeasible reasoning ⋮ Evaluation of arguments in weighted bipolar graphs ⋮ Assumption-Based Argumentation for Selection and Composition of Services ⋮ A labelling framework for probabilistic argumentation ⋮ An argument-based approach to reasoning with clinical knowledge ⋮ Argumentation Theory and Decision Aiding ⋮ Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach ⋮ Normative KGP agents ⋮ An argumentation framework for merging conflicting knowledge bases ⋮ Reasoning in BDI agents using Toulmin's argumentation model ⋮ Declarative Representation of Revision Strategies* ⋮ An Algorithm for Generating Arguments in Classical Predicate Logic ⋮ Normative Systems Represented as Hybrid Knowledge Bases ⋮ Evaluation of argument strength in attack graphs: foundations and semantics ⋮ Remedial interchange, contrary-to-duty obligation and commutation ⋮ On the evaluation of argumentation formalisms ⋮ On the merging of Dung's argumentation systems ⋮ An executable specification of a formal argumentation protocol ⋮ The carneades model of argument and burden of proof ⋮ Computing Generalized Specificity ⋮ A new approach for preference-based argumentation frameworks ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction ⋮ Encoding deductive argumentation in quantified Boolean formulae ⋮ Temporal Deontic Defeasible Logic: An Analytical Approach ⋮ Relating defeasible and normal logic programming through transformation properties. ⋮ On the equivalence between logic programming semantics and argumentation semantics ⋮ Policy-based inconsistency management in relational databases ⋮ Rich preference-based argumentation frameworks ⋮ Two party immediate response disputes: Properties and efficiency ⋮ A model of legal reasoning with cases incorporating theories and values

Cites Work