KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

An Intuitionistic Version of Alternating-Time Temporal Logic

  1. Laura Bozzelli(University of Naples Federico II)
  2. Andrea Capone(University of Naples Federico II)
  3. Davide Catta(Université Sorbonne Paris Nord)
  4. Aniello Murano(University of Naples Federico II)

Bibtex record

@inproceedings{KR2025-19,
    title     = {{An Intuitionistic Version of Alternating-Time Temporal Logic}},
    author    = {Bozzelli, Laura and Capone, Andrea and Catta, Davide and Murano, Aniello},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {185--195},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/19},
    url       = {https://doi.org/10.24963/kr.2025/19},
  }
Go back