CCG Group Members - John Charnley

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.

Conferences

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]
Calculemus 2008

Automatic Generation of Implied Constraints [Charnley, Colton, Miguel]
ECAI 2006

Workshops

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

Theses

A Global Workspace Framework for Combined Reasoning
PhD 2010

Automatically Reformulating Constraint Satisfaction Problems
MSc 2005