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

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

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Nondeterministic Strategies and their Refinement in Strategy Logic

  1. Giuseppe De Giacomo(University of Rome "La Sapienza")
  2. Bastien Maubert(University of Naples Federico II)
  3. Aniello Murano(University of Naples Federico II)

Bibtex record

@inproceedings{KR2020-30,
    title     = {{Nondeterministic Strategies and their Refinement in Strategy Logic}},
    author    = {De Giacomo, Giuseppe and Maubert, Bastien and Murano, Aniello},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {294--303},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/30},
    url       = {https://doi.org/10.24963/kr.2020/30},
  }