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

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

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Lifted Inference with Tree Axioms

  1. Timothy van Bremen(KU Leuven)
  2. Ondřej Kuželka(Czech Technical University in Prague)

Bibtex record

@inproceedings{KR2021-57,
    title     = {{Lifted Inference with Tree Axioms}},
    author    = {van Bremen, Timothy and Kuželka, Ondřej},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {599--608},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/57},
    url       = {https://doi.org/10.24963/kr.2021/57},
  }