PRIMA 2019
Event name
PRIMA 2019
Start date
28-10-2019
End date
31-10-2019
Location
Turin
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lyon, Tim ; van Berkel, Kees | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | Pascucci, Matteo ; Glavanicova, Daniela | Formal Analysis of Responsibility Attribution in a Multimodal Framework | Konferenzbeitrag Inproceedings | 2019 |