KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Minimal Model Reasoning in Description Logics: Don’t Try This at Home!

  1. Federica Di Stefano(Institute of Logic and Compuation, TU Wien)
  2. Quentin Manière(Universität Leipzig, ScaDS.AI)
  3. Magdalena Ortiz(Institute of Logic and Compuation, TU Wien)
  4. Mantas Šimkus(Institute of Logic and Compuation, TU Wien)

Bibtex record

@inproceedings{KR2025-27,
    title     = {{Minimal Model Reasoning in Description Logics: Don’t Try This at Home!}},
    author    = {Di Stefano, Federica and Manière, Quentin and Ortiz, Magdalena and Šimkus, Mantas},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {271--280},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/27},
    url       = {https://doi.org/10.24963/kr.2025/27},
  }
Go back