Specification and Verification of Epistemic Properties in MultiAgent Systems

11^th November 2003, 16:00
Alessio Lomuscio
Department of Computer Science, Kings College, London, UK