Argument-based extended logic programming with defeasible priorities
From MaRDI portal
(Redirected from Publication:3128365)
Recommendations
- Preference-based argumentation built from prioritized logic programming
- Argumentation semantics for logic programs with literal priority
- Defeasible logic programming: an argumentative approach
- Defeasible logic with dynamic priorities
- Extending defeasible logic programming with informant-based argumentation
- Assumption-based argumentation for extended disjunctive logic programming
- Logic Programming with Defaults and Argumentation Theories
- Argument graphs for defeasible logic programming
Cites work
- scientific article; zbMATH DE number 1735835 (Why is no real title available?)
- A Fixpoint Semantics for Ordered Logic
- A mathematical treatment of defeasible reasoning and its implementation.
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Circumscriptive theories: A logic-based framework for knowledge representation
- Conditional entailment: bridging two approaches to default reasoning.
- Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- Reliable Semantics for Extended Logic Programs with Rule Prioritization
- Vivid logic. Knowledge-based reasoning with two kinds of negation
Cited in
(only showing first 100 items - show all)- A model of legal reasoning with cases incorporating theories and values
- A logical account of formal argumentation
- Defeasible logic programming: an argumentative approach
- Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
- Extending a temporal defeasible argumentation framework with possibilistic weights
- Policy-based inconsistency management in relational databases
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Advances in Artificial Intelligence
- Normative KGP agents
- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II)
- Revision of defeasible preferences
- Remedial interchange, contrary-to-duty obligation and commutation
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
- On the equivalence between logic programming semantics and argumentation semantics
- RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics
- Equivalence of defeasible normative systems
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Logical modes of attack in argumentation networks
- Weighted argumentation for analysis of discussions in Twitter
- Methods and Applications of Artificial Intelligence
- Revealed preference in argumentation: algorithms and applications
- A QBF-based formalization of abstract argumentation semantics
- On the equivalence between abstract dialectical frameworks and logic programs
- Extending defeasible logic programming with informant-based argumentation
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Principles of Talmudic logic
- SCC-recursiveness: a general schema for argumentation semantics
- Probabilistic legal reasoning in CHRiSM
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation
- Relating defeasible and normal logic programming through transformation properties.
- Semantics for a theory of defeasible reasoning
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
- Backing and undercutting in defeasible logic programming
- Balancing rationality and utility in logic-based argumentation with classical logic sentences and belief contraction
- A labelling framework for probabilistic argumentation
- A formal account of Socratic-style argumentation
- A system for defeasible argumentation, with defeasible priorities
- Algorithms for generating arguments and counterarguments in propositional logic
- Argumentation Semantics for Defeasible Logic
- CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION
- Symbolic knowledge extraction from trained neural networks: A sound approach
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
- Defeasible logic with dynamic priorities
- An Algorithm for Generating Arguments in Classical Predicate Logic
- On bipolarity in argumentation frameworks
- An argument-based approach to reasoning with clinical knowledge
- Evaluation of arguments in weighted bipolar graphs
- Preferences in artificial intelligence
- Temporal Deontic Defeasible Logic: An Analytical Approach
- An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences
- Argumentation through a distributed self-stabilizing approach
- Rich preference-based argumentation frameworks
- Handling threats, rewards, and explanatory arguments in a unified setting
- Weighted argument systems: basic definitions, algorithms, and complexity results
- On influence and contractions in defeasible logic programming
- Logical limits of abstract argumentation frameworks
- Belief revision and computational argumentation: a critical comparison
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION
- A new approach for preference-based argumentation frameworks
- Postulates for logic-based argumentation systems
- Minimal hypotheses: extension-based semantics to argumentation
- Web based system for weighted defeasible argumentation
- Reasoning about preferences in argumentation frameworks
- Law and logic: a review from an argumentation perspective
- An axiomatic analysis of structured argumentation with priorities
- Semantic-based construction of arguments: an answer set programming approach
- Value-based argumentation framework built from prioritized qualitative choice logic
- scientific article; zbMATH DE number 6174932 (Why is no real title available?)
- Computing generalized specificity
- An executable specification of a formal argumentation protocol
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
- On the evaluation of argumentation formalisms
- An argumentation framework for merging conflicting knowledge bases
- An approach to decision making based on dynamic argumentation systems
- The carneades model of argument and burden of proof
- Reasoning in BDI agents using Toulmin's argumentation model
- Evaluation of argument strength in attack graphs: foundations and semantics
- scientific article; zbMATH DE number 1418282 (Why is no real title available?)
- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I)
- Investigation of semantic behavior in probabilistic argumentation
- Constraints and lifting-based (conditional) preferences in abstract argumentation
- Argument graphs for defeasible logic programming
- Arguing and Explaining Classifications
- Uses and computation of imprecise probabilities from statistical data and expert arguments
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- On the Acceptability of Incompatible Arguments
- Two party immediate response disputes: Properties and efficiency
- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents
- Fundamental properties of attack relations in structured argumentation with priorities
- Normative systems represented as hybrid knowledge bases
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Encoding deductive argumentation in quantified Boolean formulae
- Dynamic superiorities in defeasible logic
- Weakest link, prioritized default logic and principles in argumentation
- Flexible dispute derivations with forward and backward arguments for assumption-based argumentation
- Approximating agreements in formal argumentation dialogues
- An approach to characterize graded entailment of arguments through a label-based framework
- Declarative Representation of Revision Strategies*
- Argumentation for practical reasoning: an axiomatic approach
- Preference-based argumentation: arguments supporting multiple values
This page was built for publication: Argument-based extended logic programming with defeasible priorities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128365)
