20 Apr
2017
20 Apr
'17
2:36 p.m.
Hi all, I've asked Andrea to give us a lecture on SMT, and he kindly agreed. It will be tomorrow at 3pm. I'll let you know the room later. You are all welcome. Dan -- Dr Daniele Magazzeni Lecturer in Artificial Intelligence, King's College London Head, AI Planning Group Editor-in-Chief, AI Communications http://www.inf.kcl.ac.uk/staff/danmag