Dynamic term-modal logics for first-order epistemic planning
| Autor: | Occhipinti Liberman, Andrés, Achen, Andreas, Rendsvig, Rasmus Kræmmer |
|---|---|
| Zdroj: | In Artificial Intelligence September 2020 286 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Occhipinti Liberman, Andrés, Achen, Andreas, Rendsvig, Rasmus Kræmmer |
|---|---|
| Zdroj: | In Artificial Intelligence September 2020 286 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect