BibTeX record conf/kr/EngesserMNR20

download as .bib file

@inproceedings{DBLP:conf/kr/EngesserMNR20,
  author    = {Thorsten Engesser and
               Robert Mattm{\"{u}}ller and
               Bernhard Nebel and
               Felicitas Ritter},
  editor    = {Diego Calvanese and
               Esra Erdem and
               Michael Thielscher},
  title     = {Token-based Execution Semantics for Multi-Agent Epistemic Planning},
  booktitle = {Proceedings of the 17th International Conference on Principles of
               Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
               September 12-18, 2020},
  pages     = {351--360},
  year      = {2020},
  url       = {https://doi.org/10.24963/kr.2020/36},
  doi       = {10.24963/kr.2020/36},
  timestamp = {Fri, 29 Jan 2021 19:06:04 +0100},
  biburl    = {https://dblp.org/rec/conf/kr/EngesserMNR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics