Token-based Execution Semantics for Multi-Agent Epistemic Planning
Bibtex record
@inproceedings{KR2020-36,
title = {{Token-based Execution Semantics for Multi-Agent Epistemic Planning}},
author = {Engesser, Thorsten and Mattmüller, Robert and Nebel, Bernhard and Ritter, Felicitas},
booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
pages = {351--360},
year = {2020},
month = {9},
doi = {10.24963/kr.2020/36},
url = {https://doi.org/10.24963/kr.2020/36},
}