KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

SAT-Based ATL Satisfiability Checking

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

Bibtex record

@inproceedings{KR2020-54,
    title     = {{SAT-Based ATL Satisfiability Checking}},
    author    = {Kacprzak, Magdalena and Niewiadomski, Artur and Penczek, Wojciech},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {539--549},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/54},
    url       = {https://doi.org/10.24963/kr.2020/54},
  }
Go back