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

Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic

  1. Simone Silvetti(University of Trieste)
  2. Ivan Compagnucci(Gran Sasso Science Institute)
  3. Francesca Cairoli(University of Trieste)
  4. Catia Trubiani(Gran Sasso Science Institute)
  5. Laura Nenzi(University of Trieste)

Bibtex record

@inproceedings{KR2026-56,
    title     = {{Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic}},
    author    = {Silvetti, Simone and Compagnucci, Ivan and Cairoli, Francesca and Trubiani, Catia and Nenzi, Laura},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {589--599},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/56},
    url       = {https://doi.org/10.24963/kr.2026/56},
  }
Go back