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

Automated Planning with Ontologies Under Coherence Update Semantics

  1. Stefan Borgwardt(Institute of Theoretical Computer Science, TU Dresden, Germany)
  2. Duy Nhu(Institute of Theoretical Computer Science, TU Dresden, Germany)
  3. Gabriele Röger(Department of Mathematics and Computer Science, University of Basel, Switzerland)

Bibtex record

@inproceedings{KR2025-72,
    title     = {{Automated Planning with Ontologies Under Coherence Update Semantics}},
    author    = {Borgwardt, Stefan and Nhu, Duy and Röger, Gabriele},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {751--761},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/72},
    url       = {https://doi.org/10.24963/kr.2025/72},
  }
Go back