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

Synthesis Foundations for Online LTLf Goal Management

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

Bibtex record

@inproceedings{KR2026-26,
    title     = {{Synthesis Foundations for Online LTLf Goal Management}},
    author    = {De Giacomo, Giuseppe and Lespérance, Yves and Parretti, Gianmarco and Patrizi, Fabio},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {278--288},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/26},
    url       = {https://doi.org/10.24963/kr.2026/26},
  }
Go back