Pages that link to "Item:Q5717463"
From MaRDI portal
The following pages link to Mechanizing Mathematical Reasoning (Q5717463):
Displayed 33 items.
- Optimization of dialectical outcomes in dialogical argumentation (Q324665) (← links)
- Valued preference-based instantiation of argumentation frameworks with varied strength defeats (Q465598) (← links)
- Weighted argument systems: basic definitions, algorithms, and complexity results (Q543610) (← links)
- AFRA: argumentation framework with recursive attacks (Q622279) (← links)
- Instantiating abstract argumentation with classical logic arguments: postulates and properties (Q646494) (← links)
- Reasoning about preferences in argumentation frameworks (Q835836) (← links)
- Equilibrium states in numerical argumentation networks (Q895825) (← links)
- Resource-origins of nonmonotonicity (Q934827) (← links)
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610) (← links)
- Inference procedures and engine for probabilistic argumentation (Q1678421) (← links)
- Completeness theorems for reactive modal logics (Q1935589) (← links)
- Introducing reactive modal tableaux (Q1935590) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Modelling defeasible and prioritized support in bipolar argumentation (Q1935594) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- Valid attacks in argumentation frameworks with recursive attacks (Q2029707) (← links)
- Semantics for higher level attacks in extended argumentation frames. I: Overview (Q2269507) (← links)
- Meta-argumentation modelling. I: Methodology and techniques (Q2269509) (← links)
- Modal logics of reactive frames (Q2269510) (← links)
- Modal provability foundations for argumentation networks (Q2269511) (← links)
- Logical modes of attack in argumentation networks (Q2269513) (← links)
- Fibring argumentation frames (Q2269514) (← links)
- Probabilistic qualification of attack in abstract argumentation (Q2353976) (← links)
- A neural cognitive model of argumentation with application to legal inference and decision making (Q2447172) (← links)
- Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks (Q2695518) (← links)
- Introducing Equational Semantics for Argumentation Networks (Q3011932) (← links)
- Arguing with Valued Preference Relations (Q3011935) (← links)
- Principles Of Talmudic Logic (Q3305655) (← links)
- Modal and Temporal Argumentation Networks (Q3587249) (← links)
- Encompassing Attacks to Attacks in Abstract Argumentation Frameworks (Q3638140) (← links)
- Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension (Q3638142) (← links)
- <i>RAFDivider</i> : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks (Q6056711) (← links)
- Integrated preference argumentation and applications in consumer behaviour analyses (Q6116529) (← links)