KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

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

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

Computing All Facts Entailed By An LTL Specification

  1. Przemysław Andrzej Wałęga(Department of Computer Science, University of Oxford)
  2. Michał Zawidzki(Department of Computer Science, University of Oxford, Department of Logic, University of Łódź)
  3. Christoph Haase(Department of Computer Science, University of Oxford)

Bibtex record

@inproceedings{KR2023-66,
    title     = {{Computing All Facts Entailed By An LTL Specification}},
    author    = {Wałęga, Przemysław Andrzej and Zawidzki, Michał and Haase, Christoph},
    booktitle = {{Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {679--689},
    year      = {2023},
    month     = {8},
    doi       = {10.24963/kr.2023/66},
    url       = {https://doi.org/10.24963/kr.2023/66},
  }
Go back