John Charnley

Research Associate

About me

I am a research associate in the group, working on the Computational Creativity Theory project. I study methods for creating combined reasoning systems. These are systems that use a variety of Artificial Intelligence approaches in combination. In particular, I’m investigating how models of human cognition can be used as a basis for these systems and how they might be applied to domains such as mathematical discovery, constraint solving and machine learning.

I previously worked on a knowledge transfer project, in partnership with Lionhead Studios. The project looked at applications of AI techniques to GUI design for the Microsoft Kinect controller.

Publications

Llano, Maria Teresa; Hepworth, Rose; Colton, Simon; Gow, Jeremy; Charnley, John; Lavrač, Nada; Žnidaršič, Martin; Perovšek, Matic; Granroth-Wilding, Mark; Clark, Stephen

Baseline Methods For Automated Fictional Ideation Inproceedings

In: Proceedings of the 5th international conference on computational creativity, 2014.

Abstract | Links | BibTeX

Llano, Maria Teresa; Hepworth, Rose; Colton, Simon; Charnley, John; Gow, Jeremy

Automating Fictional Ideation Using ConceptNet Inproceedings

In: Proceedings of the AISB14 symposium on computational creativity, 2014.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon; Llano, Maria Teresa

The FloWr Framework: Automated Flowchart Construction, Optimisation and Alteration for Creative Systems Inproceedings

In: Proceedings of the 5th international conference on computational creativity, 2014.

Abstract | Links | BibTeX

Colton, Simon; Charnley, John

Towards a Flowcharting System for Automated Process Invention Inproceedings

In: Demo session Proceedings of the 4th International Conference on Computational Creativity, 2013.

Links | BibTeX

Pease, Alison; Colton, Simon; Ramezani, Ramin; Charnley, John; Reed, Kate

A Discussion on Serendipity in Creative Systems Inproceedings

In: Proceedings of the Fourth International Conference on Computational Creativity, pp. 64–71, 2013.

Abstract | Links | BibTeX

Colton, Simon; Charnley, John; Pease, Alison

Automated Theory Formation: The Next Generation Journal Article

In: IFCOLOG Journal Proceedings in Computational Logic, 2013.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Charnley, John

The Turing Test and Computational Creativity Inproceedings

In: Contributed talks proceedings of the Turing Centenary Conference, 2012.

Links | BibTeX

Charnley, John; Pease, Alison; Colton, Simon

On the Notion of Framing in Computational Creativity Inproceedings

In: Proceedings of the Third International Conference on Computational Creativity, pp. 77–81, 2012.

Abstract | Links | BibTeX

Pease, Alison; Charnley, John; Colton, Simon

Using Grounded Theory to Suggest Types of Framing Information for Computational Creativity Book Chapter

In: Proceedings of the Workshop "Computational Creativity, Concept Invention, and General Intelligence", pp. 7–13, University of Osnabrück, Institute of Cognitive Science, 2012.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison; Charnley, John

Computational Creativity Theory: The FACE and IDEA Descriptive Models Inproceedings

In: Proceedings of the Second International Conference on Computational Creativity, pp. 90–95, 2011.

Abstract | Links | BibTeX

Llano, Maria Teresa; Ireland, Andrew; Pease, Alison; Colton, Simon; Charnley, John

Using Automated Theory Formation to Discover Invariants of Event-B Models Inproceedings

In: In Proceedings of the Rodin User and Developer Workshop, 2010.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon

A Global Workspace Framework for Combining Reasoning Systems Inproceedings

In: International Conference on Intelligent Computer Mathematics, pp. 261–265, Springer Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, ISBN: 978-3-540-85110-3.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon

Applications of a Global Workspace Framework to Mathematical Discovery Inproceedings

In: Proceedings of the Conferences on Intelligent Computer Mathematics workshop on Empirically Successful Automated Reasoning for Mathematics, 2008.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon

Prediction using Machine Learned Constraint Satisfaction Programs Inproceedings

In: Proceedings of the Automated Reasoning Workshop, 2007.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon

Expressing General Problems as CSPs Inproceedings

In: Proceedings of the Workshop on Modelling and Solving Problems with Constraints at ECAI, Citeseer 2006.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon; Miguel, Ian

Automatic generation of Implied Constraints Inproceedings

In: ECAI, pp. 73–77, 2006.

Abstract | Links | BibTeX

Charnley, John; Colton, Simon; Miguel, Ian

Automated Reformulation of Constraint Satisfaction Problems Inproceedings

In: Proceedings of the Automated Reasoning Workshop, pp. 8, Citeseer, 2006.

Abstract | Links | BibTeX