Hans van Ditmarsch

3 papers in the IJCAI proceedings

IJCAI 2016

Forgetting in Multi-Agent Modal Logics

with Liangda Fang, Yongmei Liu

Details PDF

IJCAI 2013

The Complexity of One-Agent Refinement Modal Logic

with Laura Bozzelli, Sophie Pinchinat

Details PDF

IJCAI 2009

Knowing More - From Global to Local Correspondence

with Wiebe van der Hoek, Barteld P. Kooi

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings