Maria Teresa Llano

Research Associate

About me

I’m a Research Associate in the Computational Creativity Group at Goldsmiths, University of London. I was awarded my PhD at Heriot-Watt University where I worked on the Automated Discovery of Invariants and Refinement Plans for Formal Modelling in Event-B. Currently I’m part of the WHIM Project which aims at building the What-If Machine, a software system able to invent, evaluate and present fictional ideas with cultural value. [CV]

My research interests are in the areas of Artificial Intelligence and Formal Methods for Software Engineering. In particular:

  • Computational Creativity
  • Natural Language Processing
  • Machine Learning
  • Formal Approaches to Software Engineering
  • Refinement Techniques
  • Automated Theory Formation

You can contact me at .[at]...

Publications

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

Automated Fictional Ideation via Knowledge Base Manipulation Journal Article

In: Cognitive Computation, 8 (2), pp. 153-174, 2016.

Abstract | Links | BibTeX

Llano, Maria Teresa; Guckelsberger, Christian; Hepworth, Rose; Gow, Jeremy; Corneli, Joseph; Colton, Simon

What If A Fish Got Drunk? Exploring the Plausibility of Machine-Generated Fictions Inproceedings

In: Proc. 7th Int. Conf. Computational Creativity, 2016.

Abstract | Links | BibTeX

Corneli, Joseph; Jordanous, Anna; Shepperd, Rosie; Llano, Maria Teresa; Misztal, Joanna; Colton, Simon; Guckelsberger, Christian

Computational Poetry Workshop: Making Sense of Work in Progress Inproceedings

In: Proc. 6th Int. Conf. Computational Creativity, 2015.

Abstract | Links | BibTeX

Llano, Maria Teresa; Cook, Michael; Guckelsberger, Christian; Colton, Simon; Hepworth, Rose

Towards the Automatic Generation of Fictional Ideas for Games Inproceedings

In: Experimental AI in Games (EXAG’14), a workshop collocated with the tenth annual AAAI conference on artificial intelligence and interactive digital entertainment (AIIDE’14). AAAI Publications, 2014.

Abstract | Links | BibTeX

Colton, Simon; Pease, Alison; Corneli, Joseph; Cook, Michael; Llano, Maria Teresa

Assessing Progress in Building Autonomously Creative Systems Inproceedings

In: Proceedings of the Fifth International Conference on Computational Creativity, pp. 137–145, 2014.

Abstract | Links | BibTeX

Colton, Simon; Ramezani, Ramin; Llano, Maria Teresa

The HR3 discovery system: Design decisions and implementation details Inproceedings

In: Proceedings of the AISB symposium on Computational Scientific Discovery, 2014.

Abstract | Links | BibTeX

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

Pease, Alison; Smaill, Alan; Colton, Simon; Ireland, Andrew; Llano, Maria Teresa; Ramezani, Ramin; Grov, Gudmund; Guhe, Markus

Applying Lakatos-style reasoning to AI problems Book Chapter

In: Thinking Machines and the philosophy of computer science: Concepts and principles., Chapter 10, pp. 149–174, Information Science Reference, 2010, ISBN: 9781616920142.

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