Marek Sergot
Department of Computing, Imperial College London, UK
Making golog norm compliant
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems