KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

High-level Programming via Generalized Planning and LTL Synthesis

  1. Blai Bonet(Universidad Simon Bolivar)
  2. Giuseppe De Giacomo(University of Rome "La Sapienza")
  3. Hector Geffner(ICREA & Universitat Pompeu Fabra)
  4. Fabio Patrizi(University of Rome "La Sapienza")
  5. Sasha Rubin(The University of Sydney)

Bibtex record

@inproceedings{KR2020-16,
    title     = {{High-level Programming via Generalized Planning and LTL Synthesis}},
    author    = {Bonet, Blai and De Giacomo, Giuseppe and Geffner, Hector and Patrizi, Fabio and Rubin, Sasha},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {152--161},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/16},
    url       = {https://doi.org/10.24963/kr.2020/16},
  }