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

Multi-head Guarded Existential Rules Over Fixed Signatures

  1. Georg Gottlob(Department of Computer Science, University of Oxford)
  2. Marco Manna(Department of Mathematics and Computer Science, University of Calabria)
  3. Andreas Pieris(School of Informatics, University of Edinburgh)

Bibtex record

@inproceedings{KR2020-45,
    title     = {{Multi-head Guarded Existential Rules Over Fixed Signatures}},
    author    = {Gottlob, Georg and Manna, Marco and Pieris, Andreas},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {445--454},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/45},
    url       = {https://doi.org/10.24963/kr.2020/45},
  }
Go back