John Charnley is a Research Associate in the group, with interests in the systematic combination of reasoning techniques and their application to AI tasks.
John is currently working on a knowledge transfer project, in partnership with Lionhead Studios. This project is looking at applications of AI techniques to GUI design for the Microsoft Kinect controller.
John's Homepage can be found here.
Computational Creativity Theory: The FACE and IDEA models [Colton, Charnley, Pease]
International Conference on Computational Creativity, 2011
A Global Workspace Framework for Combining Reasoning Systems [Charnley, Colton]
Automatic Generation of Implied Constraints [Charnley, Colton, Miguel]
Using Automated Theory Formation to Discover Invariants of Event-B models [Llano, Ireland, Pease, Colton, Charnley]
Rodin User and Developer Workshop (2010)
Applying the GC Combined Reasoning Framework to Mathematical Discovery [Charnley]
Symposium on Mathematical Practice and Cognition (AISB 2010)
Applications of a Global Workspace Framework to Mathematical Discovery [Charnley, Colton]
Empirically Successful Automated Reasoning For Mathematics (CICM 2008)
Expressing General Problems as CSPs [Charnley, Colton]
Modelling and Solving Problems with Constraints (ECAI 2006)
Automatically Reformulating Constraint Satisfaction Problems [Charnley, Colton, Miguel]
Automated Reasoning Workshop 2006