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

DatalogMTL with Negation Under Stable Models Semantics

  1. Przemysław A. Wałęga(University of Oxford)
  2. David J. Tena Cucala(University of Oxford)
  3. Egor V. Kostylev(University of Oslo)
  4. Bernardo Cuenca Grau(University of Oxford)

Bibtex record

@inproceedings{KR2021-58,
    title     = {{DatalogMTL with Negation Under Stable Models Semantics}},
    author    = {Wałęga, Przemysław A. and Tena Cucala, David J. and Kostylev, Egor V. and Cuenca Grau, Bernardo},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {609--618},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/58},
    url       = {https://doi.org/10.24963/kr.2021/58},
  }
Go back