@inproceedings{DBLP:conf/ijcai/BelardinelliJKM19,
  author       = {Francesco Belardinelli and
                  Wojciech Jamroga and
                  Damian Kurpiewski and
                  Vadim Malvone and
                  Aniello Murano},
  editor       = {Sarit Kraus},
  title        = {Strategy Logic with Simple Goals: Tractable Reasoning about Strategies},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {88--94},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/13},
  doi          = {10.24963/IJCAI.2019/13},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BelardinelliJKM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"jEgy7hLByia8X9oDs","bibbaseid":"belardinelli-jamroga-kurpiewski-malvone-murano-strategylogicwithsimplegoalstractablereasoningaboutstrategies-2019","author_short":["Belardinelli, F.","Jamroga, W.","Kurpiewski, D.","Malvone, V.","Murano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Belardinelli"],"suffixes":[]},{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]},{"firstnames":["Damian"],"propositions":[],"lastnames":["Kurpiewski"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Malvone"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"editor":[{"firstnames":["Sarit"],"propositions":[],"lastnames":["Kraus"],"suffixes":[]}],"title":"Strategy Logic with Simple Goals: Tractable Reasoning about Strategies","booktitle":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019","pages":"88–94","publisher":"ijcai.org","year":"2019","url":"https://doi.org/10.24963/ijcai.2019/13","doi":"10.24963/IJCAI.2019/13","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ijcai/BelardinelliJKM19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BelardinelliJKM19,\n author = {Francesco Belardinelli and\n Wojciech Jamroga and\n Damian Kurpiewski and\n Vadim Malvone and\n Aniello Murano},\n editor = {Sarit Kraus},\n title = {Strategy Logic with Simple Goals: Tractable Reasoning about Strategies},\n booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,\n 2019},\n pages = {88--94},\n publisher = {ijcai.org},\n year = {2019},\n url = {https://doi.org/10.24963/ijcai.2019/13},\n doi = {10.24963/IJCAI.2019/13},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliJKM19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belardinelli, F.","Jamroga, W.","Kurpiewski, D.","Malvone, V.","Murano, A."],"editor_short":["Kraus, S."],"key":"DBLP:conf/ijcai/BelardinelliJKM19","id":"DBLP:conf/ijcai/BelardinelliJKM19","bibbaseid":"belardinelli-jamroga-kurpiewski-malvone-murano-strategylogicwithsimplegoalstractablereasoningaboutstrategies-2019","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2019/13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["strategy","logic","simple","goals","tractable","reasoning","strategies","belardinelli","jamroga","kurpiewski","malvone","murano"],"title":"Strategy Logic with Simple Goals: Tractable Reasoning about Strategies","year":2019}