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

Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement

  1. Stylianos Loukas Vasileiou(New Mexico State University)
  2. Minh Nguyen(New Mexico State University)
  3. Tran Cao Son(New Mexico State University)
  4. Huiping Cao(New Mexico State University)
  5. Enrico Pontelli(New Mexico State University)

Bibtex record

@inproceedings{KR2026-108,
    title     = {{Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement}},
    author    = {Vasileiou, Stylianos Loukas and Nguyen, Minh and Son, Tran Cao and Cao, Huiping and Pontelli, Enrico},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {1153--1158},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/108},
    url       = {https://doi.org/10.24963/kr.2026/108},
  }
Go back