KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus

  1. Giuseppe De Giacomo(University of Oxford, University of Rome La Sapienza)
  2. Yves Lespérance(York University)
  3. Matteo Mancanelli(University of Rome La Sapienza)
  4. Gianmarco Parretti(University of Rome La Sapienza)

Bibtex record

@inproceedings{KR2026-25,
    title     = {{Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus}},
    author    = {De Giacomo, Giuseppe and Lespérance, Yves and Mancanelli, Matteo and Parretti, Gianmarco},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {267--277},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/25},
    url       = {https://doi.org/10.24963/kr.2026/25},
  }
Go back