Satisfiability Checking of Strategy Logic with Simple Goals

Magdalena Kacprzak; Artur Niewiadomski; Wojciech Penczek

doi:10.24963/kr.2021/38

KR2021

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Satisfiability Checking of Strategy Logic with Simple Goals

Magdalena Kacprzak(Bialystok University of Technology)
Artur Niewiadomski(Siedlce University, Faculty of Exact and Natural Sciences)
Wojciech Penczek(Institute of Computer Science, Polish Academy of Sciences)

Bibtex record

@inproceedings{KR2021-38,
    title     = {{Satisfiability Checking of Strategy Logic with Simple Goals}},
    author    = {Kacprzak, Magdalena and Niewiadomski, Artur and Penczek, Wojciech},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {400--410},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/38},
    url       = {https://doi.org/10.24963/kr.2021/38},
  }

Go back