Pages that link to "Item:Q668774"
From MaRDI portal
The following pages link to Verification in incomplete argumentation frameworks (Q668774):
Displaying 19 items.
- Verification in incomplete argumentation frameworks (Q668774) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- The possible winner problem with uncertain weights revisited (Q2140520) (← links)
- Constrained incomplete argumentation frameworks (Q2146007) (← links)
- Complexity of nonemptiness in control argumentation frameworks (Q2146008) (← links)
- Acceptance in incomplete argumentation frameworks (Q2238645) (← links)
- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic (Q2695515) (← links)
- Integrating individual preferences into collective argumentation (Q2695521) (← links)
- Extension-based semantics for incomplete argumentation frameworks (Q2695523) (← links)
- Verifying Refutations with Extended Resolution (Q4928451) (← links)
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks (Q6080638) (← links)
- The possible winner with uncertain weights problem (Q6133655) (← links)
- Probabilistic causal bipolar abstract argumentation: an approach based on credal networks (Q6133708) (← links)
- Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)
- Taking into account ``who said what'' in abstract argumentation: complexity results (Q6161469) (← links)
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments (Q6178732) (← links)
- On dynamics in structured argumentation formalisms (Q6488791) (← links)
- Extension-based semantics for incomplete argumentation frameworks: grounded semantics and principles (Q6587907) (← links)
- How to manage supports in incomplete argumentation (Q6630206) (← links)
