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

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

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates

  1. Tomasz Gogacz(University of Warsaw)
  2. Sanja Lukumbuzya(TU Wien)
  3. Magdalena Ortiz(TU Wien)
  4. Mantas Šimkus(TU Wien)

Bibtex record

@inproceedings{KR2020-44,
    title     = {{Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates}},
    author    = {Gogacz, Tomasz and Lukumbuzya, Sanja and Ortiz, Magdalena and Šimkus, Mantas},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {434--444},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/44},
    url       = {https://doi.org/10.24963/kr.2020/44},
  }