Pages that link to "Item:Q1935593"

The following pages link to A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593):

Displaying 11 items.

• Argumentation update in YALLA (yet another logic language for argumentation) (Q289011) (← links)
• Optimization of dialectical outcomes in dialogical argumentation (Q324665) (← links)
• Forum: A multiple-conclusion specification logic (Q671512) (← links)
• A logic programming framework for possibilistic argumentation: Formalization and logical properties (Q835125) (← links)
• AGM meets abstract argumentation: contraction for dung frameworks (Q2296694) (← links)
• A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
• On the acceptance of loops in argumentation frameworks (Q2957945) (← links)
• Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints (Q5019290) (← links)
• (Q5224670) (← links)
• Revisiting Abstract Argumentation Frameworks (Q5405007) (← links)
• A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness (Q6066787) (← links)