Rasmus Kræmmer Rendsvig

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

First Order Logic

Decision Procedures

Knowledge Sources

Top Venues

Publications

Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Erratum to "Dynamic term-modal logics for first-order epistemic planning" [Artif. Intell. 286 (2020) 103305]. Artif. Intell. 323 (2023)
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Dynamic term-modal logics for first-order epistemic planning. Artif. Intell. 286 (2020)
Andrés Occhipinti Liberman, Rasmus Kræmmer Rendsvig
Decidability Results in First-Order Epistemic Planning. IJCAI (2020)
Dominik Klein, Rasmus Kræmmer Rendsvig
Converging on Common Knowledge. IJCAI (2019)