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

A Planning Compilation to Reason About Goal Achievement at Planning Time

  1. Alberto Pozanco(J.P. Morgan AI Research)
  2. Marianela Morales(J.P. Morgan AI Research)
  3. Daniel Borrajo(J.P. Morgan AI Research)
  4. Manuela Veloso(J.P. Morgan AI Research)

Bibtex record

@inproceedings{KR2025-82,
    title     = {{A Planning Compilation to Reason About Goal Achievement at Planning Time}},
    author    = {Pozanco, Alberto and Morales, Marianela and Borrajo, Daniel and Veloso, Manuela},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {853--857},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/82},
    url       = {https://doi.org/10.24963/kr.2025/82},
  }
Go back