Argument-based extended logic programming with defeasible priorities
From MaRDI portal
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
- 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
- scientific article; zbMATH DE number 1735835 (Why is no real title available?)
- 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)- 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
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
- Encoding deductive argumentation in quantified Boolean formulae
- How does incoherence affect inconsistency-tolerant semantics for Datalog^?
- Fundamental properties of attack relations in structured argumentation with priorities
- Classical logic, argument and dialectic
- Revision of defeasible preferences
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation
- Semantics for a theory of defeasible reasoning
- Relating defeasible and normal logic programming through transformation properties.
- Minimal hypotheses: extension-based semantics to argumentation
- Evaluation of argument strength in attack graphs: foundations and semantics
- Revealed preference in argumentation: algorithms and applications
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- 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
- Reasoning in BDI agents using Toulmin's argumentation model
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- On the equivalence between logic programming semantics and argumentation semantics
- Policy-based inconsistency management in relational databases
- Rich preference-based argumentation frameworks
- Weighted argumentation for analysis of discussions in Twitter
- A QBF-based formalization of abstract argumentation semantics
- SCC-recursiveness: a general schema for argumentation semantics
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
- A formal account of Socratic-style argumentation
- Normative KGP agents
- Flexible dispute derivations with forward and backward arguments for assumption-based argumentation
- Web based system for weighted defeasible argumentation
- Extending a temporal defeasible argumentation framework with possibilistic weights
- RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics
- On influence and contractions in defeasible logic programming
- Backing and undercutting in defeasible logic programming
- Argumentation theory and decision aiding
- Normative systems represented as hybrid knowledge bases
- Preferences in artificial intelligence
- Defeasible logic with dynamic priorities
- Principles of Talmudic logic
- An approach to decision making based on dynamic argumentation systems
- On the Acceptability of Incompatible Arguments
- An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION
- On bipolarity in argumentation frameworks
- Assumption-Based Argumentation for Selection and Composition of Services
- An Algorithm for Generating Arguments in Classical Predicate Logic
- Remedial interchange, contrary-to-duty obligation and commutation
- Computing generalized specificity
- Declarative Representation of Revision Strategies*
- scientific article; zbMATH DE number 1490025 (Why is no real title available?)
- Argumentation for practical reasoning: an axiomatic approach
- Balancing rationality and utility in logic-based argumentation with classical logic sentences and belief contraction
- Equivalence of defeasible normative systems
- Logical limits of abstract argumentation frameworks
- A system for defeasible argumentation, with defeasible priorities
- Postulates for logic-based argumentation systems
- Argumentation Semantics for Defeasible Logic
- Argumentation through a distributed self-stabilizing approach
- Defeasible logic programming: an argumentative approach
- scientific article; zbMATH DE number 6174932 (Why is no real title available?)
- scientific article; zbMATH DE number 1418282 (Why is no real title available?)
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Uses and computation of imprecise probabilities from statistical data and expert arguments
- On the equivalence between abstract dialectical frameworks and logic programs
- Extending defeasible logic programming with informant-based argumentation
- Argument graphs for defeasible logic programming
- An approach to characterize graded entailment of arguments through a label-based framework
- Approximating agreements in formal argumentation dialogues
- Methods and Applications of Artificial Intelligence
- 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)
- Probabilistic legal reasoning in CHRiSM
- Weighted argument systems: basic definitions, algorithms, and complexity results
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
- Advances in Artificial Intelligence
- Temporal Deontic Defeasible Logic: An Analytical Approach
- Handling threats, rewards, and explanatory arguments in a unified setting
- Evaluation of arguments in weighted bipolar graphs
- Symbolic knowledge extraction from trained neural networks: A sound approach
- CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION
- Belief revision and computational argumentation: a critical comparison
- Integrated preference argumentation and applications in consumer behaviour analyses
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Algorithms for generating arguments and counterarguments in propositional logic
- Investigation of semantic behavior in probabilistic argumentation
- Constraints and lifting-based (conditional) preferences in abstract argumentation
- Dynamic superiorities in defeasible logic
- Weakest link, prioritized default logic and principles in argumentation
- A labelling framework for probabilistic argumentation
- A new approach for preference-based argumentation frameworks
- Two party immediate response disputes: Properties and efficiency
- A model of legal reasoning with cases incorporating theories and values
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
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)
