Rasmus Kræmmer Rendsvig

2 papers · 2019–2020 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14)

Conferences

IJCAI (2)

Top co-authors

Andrés Occhipinti Liberman (1) Dominik Klein (1)

Keywords

dynamic epistemic logic (2) multi-agent planning (1) plan existence (1) multi-agent system (1) epistemic planning (1) common knowledge (1) first-order logic (1) coordinated attack (1)

Papers

Decidability Results in First-Order Epistemic Planning IJCAI 2020

Converging on Common Knowledge IJCAI 2019