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)
- Uses and computation of imprecise probabilities from statistical data and expert arguments (Q505254) (← links)
- An approach to characterize graded entailment of arguments through a label-based framework (Q511660) (← 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 labelling framework for probabilistic argumentation (Q722102) (← 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)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Value-based argumentation framework built from prioritized qualitative choice logic (Q899191) (← links)
- An axiomatic analysis of structured argumentation with priorities (Q899441) (← 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)
- How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? (Q1653442) (← links)
- Fundamental properties of attack relations in structured argumentation with priorities (Q1693566) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- Revision of defeasible preferences (Q1726329) (← links)
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation (Q1748533) (← 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)
- Evaluation of argument strength in attack graphs: foundations and semantics (Q2060740) (← links)
- Revealed preference in argumentation: algorithms and applications (Q2237149) (← 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)
- Reasoning in BDI agents using Toulmin's argumentation model (Q2285661) (← links)
- On the equivalence between logic programming semantics and argumentation semantics (Q2344367) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Rich preference-based argumentation frameworks (Q2353975) (← links)
- Weighted argumentation for analysis of discussions in Twitter (Q2409095) (← 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)