Dynamic term-modal logics for first-order epistemic planning (bibtex)
by Andrés Occhipinti Liberman and Andreas Achen
Reference:
Dynamic term-modal logics for first-order epistemic planning Andrés Occhipinti Liberman and Andreas Achen. Artificial Intelligence. vol. 286. 2020.
Bibtex Entry:
@article{OcchipintiLibermanRendsvig_AIJ20,
    author  = {Andr{\'e}s {Occhipinti Liberman} and Andreas Achen and Rasmus Kr{\ae}mmer Rendsvig},
    title   = {{Dynamic term-modal logics for first-order epistemic planning}},
    journal = {Artificial Intelligence},
    volume  = {286},
    pages   = {103305},
    year    = {2020},
    doi     = {https://doi.org/10.1016/j.artint.2020.103305},
    url     = {https://arxiv.org/pdf/1906.06047.pdf},
}
Powered by bibtexbrowser