Hans van Ditmarsch

2 papers · 2013–2016 · 1 conference · across top CS/AI conferences

Achievements

🚀 Conference Pioneer

Conferences

IJCAI (2)

Top co-authors

Sophie Pinchinat (1) Yongmei Liu (1) Liangda Fang (1) Laura Bozzelli (1)

Papers

Forgetting in Multi-Agent Modal Logics IJCAI 2016

The Complexity of One-Agent Refinement Modal Logic IJCAI 2013