KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

DatalogMTL over the Integer Timeline

  1. Przemysław A. Wałęga(University of Oxford)
  2. Bernardo Cuenca Grau(University of Oxford)
  3. Mark Kaminski(University of Oxford)
  4. Egor V. Kostylev(University of Oxford)

Bibtex record

@inproceedings{KR2020-79,
    title     = {{DatalogMTL over the Integer Timeline}},
    author    = {Wałęga, Przemysław A. and Cuenca Grau, Bernardo and Kaminski, Mark and V. Kostylev, Egor},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {768--777},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/79},
    url       = {https://doi.org/10.24963/kr.2020/79},
  }
Go back