| Strategy Logic with Simple Goals: Tractable Reasoning about Strategies |
| English |
| Belardinelli, Francesco [> >] |
| Jamroga, Wojciech [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >] |
| Kurpiewski, Damian [> >] |
| Malvone, Vadim [> >] |
| Murano, Aniello [> >] |
| 2019 |
| Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI |
| 88--94 |
| Yes |
| No |
| International |
| Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI |
| August 2019 |
| http://hdl.handle.net/10993/41789 |
| 10.24963/ijcai.2019/13 |