Back in December last year, Michael Thielscher gave a keynote presentation titled “Knowledge Representation for General Problem-Solving Robots” at the 10th Multi-Disciplinary International Workshop on Artificial Intelligence.
For more details, including slides see: https://khamreang.msu.ac.th/miwai16/speakers
This research has been supported by the Australian Research Council (ARC) under the Discovery Projects funding scheme (project DP 150103035).