Pages that link to "Item:Q3093997"
From MaRDI portal
The following pages link to An Application of Model Checking Games to Abstract Argumentation (Q3093997):
Displaying 5 items.
- Abstract argument games via modal logic (Q484918) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- Formalizing opponent modeling with the rock, paper, scissors game (Q2669107) (← links)
- The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308404) (← links)