Pages that link to "Item:Q3128365"
From MaRDI portal
The following pages link to Argument-based extended logic programming with defeasible priorities (Q3128365):
Displayed 50 items.
- Postulates for logic-based argumentation systems (Q465599) (← links)
- Weighted argument systems: basic definitions, algorithms, and complexity results (Q543610) (← links)
- Instantiating abstract argumentation with classical logic arguments: postulates and properties (Q646494) (← links)
- Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
- A new approach for preference-based argumentation frameworks (Q766045) (← links)
- Two party immediate response disputes: Properties and efficiency (Q814510) (← links)
- A model of legal reasoning with cases incorporating theories and values (Q814518) (← links)
- A logic programming framework for possibilistic argumentation: Formalization and logical properties (Q835125) (← links)
- Reasoning about preferences in argumentation frameworks (Q835836) (← links)
- An argument-based approach to reasoning with clinical knowledge (Q990964) (← links)
- An argumentation framework for merging conflicting knowledge bases (Q997053) (← links)
- On the evaluation of argumentation formalisms (Q1028909) (← links)
- On the merging of Dung's argumentation systems (Q1028950) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- The carneades model of argument and burden of proof (Q1028962) (← links)
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- Semantics for a theory of defeasible reasoning (Q1776195) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Minimal hypotheses: extension-based semantics to argumentation (Q1928824) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming (Q2269506) (← links)
- Logical modes of attack in argumentation networks (Q2269513) (← links)
- A logical account of formal argumentation (Q2269515) (← links)
- Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification (Q2270426) (← links)
- Preference-based argumentation: arguments supporting multiple values (Q2270427) (← links)
- On the equivalence between logic programming semantics and argumentation semantics (Q2344367) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- SCC-recursiveness: a general schema for argumentation semantics (Q2457654) (← links)
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems (Q2457665) (← links)
- A formal account of Socratic-style argumentation (Q2480967) (← links)
- Normative KGP agents (Q2509078) (← links)
- Argumentation Theory and Decision Aiding (Q3058464) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Defeasible logic with dynamic priorities (Q3156907) (← links)
- On the Acceptability of Incompatible Arguments (Q3524934) (← links)
- An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences (Q3524975) (← links)
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION (Q3528982) (← links)
- On bipolarity in argumentation frameworks (Q3537543) (← links)
- Assumption-Based Argumentation for Selection and Composition of Services (Q3602953) (← links)
- An Algorithm for Generating Arguments in Classical Predicate Logic (Q3638143) (← links)
- Remedial interchange, contrary-to-duty obligation and commutation (Q3643260) (← links)
- Computing Generalized Specificity (Q3647205) (← links)
- Declarative Representation of Revision Strategies* (Q4443396) (← links)
- Argumentation through a distributed self-stabilizing approach (Q4808099) (← links)
- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents (Q5385618) (← links)
- Arguing and Explaining Classifications (Q5385620) (← links)
- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) (Q5385622) (← links)
- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II) (Q5385623) (← links)
- Probabilistic legal reasoning in CHRiSM (Q5398310) (← links)