KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by
  1. Meghyn Bienvenu
  2. Gerhard Lakemeyer
  3. Esra Erdem

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

  1. Giuseppe De Giacomo(Sapienza University of Rome, Italy)
  2. Aniello Murano(University of Naples Federico II, Italy)
  3. Fabio Patrizi(Sapienza University of Rome, Italy)
  4. Giuseppe Perelli(Sapienza University of Rome, Italy)

Bibtex record

@inproceedings{KR2021-22,
    title     = {{Timed Trace Alignment with Metric Temporal Logic over Finite Traces}},
    author    = {De Giacomo, Giuseppe and Murano, Aniello and Patrizi, Fabio and Perelli, Giuseppe},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {227--236},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/22},
    url       = {https://doi.org/10.24963/kr.2021/22},
  }
Go back