Erratum to “Dynamic term-modal logics for first-order epistemic planning” [Artif. Intell. 286 (2020) 103305]
Autor: | Occhipinti Liberman, Andrés, Achen, Andreas, Rendsvig, Rasmus Kræmmer |
---|---|
Zdroj: | In Artificial Intelligence October 2023 323 |
Databáze: | ScienceDirect |
Externí odkaz: |