KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Partially Finite Model Reasoning in Description Logics

  1. Tomasz Gogacz(University of Warsaw)
  2. Filip Murlak(University of Warsaw)
  3. Marcin Przybyłko(University of Warsaw)
  4. Alexandra Rogova(University of Warsaw)
  5. Michał Skrzypczak(University of Warsaw)

Bibtex record

@inproceedings{KR2026-35,
    title     = {{Partially Finite Model Reasoning in Description Logics}},
    author    = {Gogacz, Tomasz and Murlak, Filip and Przybyłko, Marcin and Rogova, Alexandra and Skrzypczak, Michał},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {367--378},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/35},
    url       = {https://doi.org/10.24963/kr.2026/35},
  }
Go back