Not exactly what you're looking for perhaps but recently Larry Paulson kicked off the Alexandra project:

http://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/

There is some mention of both AI and machine learning in either the proposal or description, I can't remember which.

Not exactly what you're looking for, perhaps, but recently Larry Paulson kicked off the Alexandra project:

http://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/

There is some mention of both AI and machine learning in either the proposal or description, I can't remember which.