Pages that link to "Item:Q5941137"
From MaRDI portal
The following pages link to A logic-based theory of deductive arguments (Q5941137):
Displaying 50 items.
- Argumentation update in YALLA (yet another logic language for argumentation) (Q289011) (← links)
- Normal and strong expansion equivalence for argumentation frameworks (Q359982) (← links)
- Postulates for logic-based argumentation systems (Q465599) (← links)
- Uses and computation of imprecise probabilities from statistical data and expert arguments (Q505254) (← links)
- Modeling time and valuation in structured argumentation frameworks (Q508777) (← links)
- An approach to characterize graded entailment of arguments through a label-based framework (Q511660) (← links)
- A series of revisions of David Poole's specificity (Q524933) (← 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 logic programming framework for possibilistic argumentation: Formalization and logical properties (Q835125) (← links)
- Using arguments for making and explaining decisions (Q835816) (← links)
- Combining argumentation and Bayesian nets for breast cancer prognosis (Q853792) (← links)
- Equilibrium states in numerical argumentation networks (Q895825) (← links)
- An approach to abstract argumentation with recursive attack and support (Q901084) (← links)
- On the evaluation of argumentation formalisms (Q1028909) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- On the merging of Dung's argumentation systems (Q1028950) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- Probabilistic argumentation systems. A new way to combine logic with probability. (Q1427350) (← links)
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations (Q1711894) (← links)
- From fine-grained properties to broad principles for gradual argumentation: a principled spectrum (Q1726355) (← links)
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation (Q1748533) (← links)
- A general semi-structured formalism for computational argumentation: definition, properties, and examples of application (Q1749391) (← links)
- Stratified belief bases revision with argumentative inference (Q1947030) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Evaluation of argument strength in attack graphs: foundations and semantics (Q2060740) (← links)
- Graded labellings for abstract argumentation (Q2105593) (← links)
- Paraconsistent inference relations induced from inconsistency measures (Q2105602) (← links)
- Similarity measures based on compiled arguments (Q2145999) (← links)
- Simple contrapositive assumption-based argumentation frameworks (Q2191233) (← links)
- Using argument strength for building dialectical bonsai (Q2248521) (← links)
- Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification (Q2270426) (← links)
- A review of the relations between logical argumentation and reasoning with maximal consistency (Q2294581) (← links)
- A polynomial-time fragment of epistemic probabilistic argumentation (Q2302822) (← links)
- Epistemic graphs for representing and reasoning with positive and negative influences of arguments (Q2303513) (← links)
- A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions (Q2317506) (← links)
- On the graded acceptability of arguments in abstract and instantiated argumentation (Q2321325) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Rich preference-based argumentation frameworks (Q2353975) (← links)
- Probabilistic qualification of attack in abstract argumentation (Q2353976) (← links)
- Probabilistic argumentation (Q2390652) (← links)
- Rethinking specificity in defeasible reasoning and its effect in argument reinstatement (Q2401637) (← links)
- Labellings for assumption-based and abstract argumentation (Q2406908) (← links)
- Logical argumentation by dynamic proof systems (Q2424889) (← links)
- A formal account of Socratic-style argumentation (Q2480967) (← links)
- A general approach to extension-based semantics in abstract argumentation (Q2680804) (← links)
- On restricting the impact of self-attacking arguments in gradual semantics (Q2695512) (← links)
- A multi attack argumentation framework (Q2695531) (← links)
