The following pages link to Society Visualiser (Q32659):
Displaying 7 items.
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Contracts Violation: Justification via Argumentation (Q3393386) (← links)
- Programming norm change (Q4583151) (← links)
- Functional completion (Q4583310) (← links)
- Dynamic specification of open agent systems (Q4902309) (← links)
- (Q4993611) (← links)