Decidability Results in First-Order Epistemic Planning (bibtex)

by Andrés Occhipinti Liberman and Rasmus K. Rendsvig

Reference:

Decidability Results in First-Order Epistemic Planning Andrés Occhipinti Liberman and Rasmus K. Rendsvig. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. Christian Bessiere, ed.. International Joint Conferences on Artificial Intelligence Organization. 2020.

Bibtex Entry:

@inproceedings{OcchipintiLibermanRendsvig_IJCAI2020,
    title     = {{Decidability Results in First-Order Epistemic Planning}},
    author    = {Andr{\'e}s {Occhipinti Liberman} and Rasmus~K. Rendsvig},
    booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
                 Artificial Intelligence, {IJCAI-20}},
    publisher = {International Joint Conferences on Artificial Intelligence Organization},
    editor    = {Christian Bessiere},
    pages     = {4161--4167},
    year      = {2020},
    doi       = {10.24963/ijcai.2020/575},
    url       = {https://www.ijcai.org/Proceedings/2020/0575.pdf},
}