Jeremy Gow

CoRR, 2024

Experiments in Motivating Exploratory Agents.

[BibT_eX]

[DOI]

Bobby Khaleque

Proceedings of the 19th International Conference on the Foundations of Digital Games, 2024

Playing NetHack with LLMs: Potential & Limitations as Zero-Shot Agents.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Games, 2024

2023

Designing for Playfulness in Human-AI Authoring Tools.

[BibT_eX]

[DOI]

Antonios Liapis

Christian Guckelsberger

Proceedings of the 18th International Conference on the Foundations of Digital Games, 2023

2022

Student-Initiated Action Advising via Advice Novelty.

[BibT_eX]

[DOI]

Ercument Ilhan

Diego Perez Liebana

IEEE Trans. Games, 2022

Danesh: Interactive Tools for Understanding Procedural Content Generators.

[BibT_eX]

[DOI]

IEEE Trans. Games, 2022

2021

Adversarial Behaviour Debugging in a Two Button Fighting Game.

[BibT_eX]

[DOI]

Nathan John

Proceedings of the 2021 IEEE Conference on Games (CoG), 2021

Learning on a Budget via Teacher Imitation.

[BibT_eX]

[DOI]

Ercüment Ilhan

Diego Pérez-Liébana

Proceedings of the 2021 IEEE Conference on Games (CoG), 2021

Action Advising with Advice Imitation in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Ercument Ilhan

Diego Perez Liebana

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Teaching on a Budget in Multi-Agent Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Ercüment Ilhan

Diego Pérez-Liébana

Proceedings of the IEEE Conference on Games, 2019

General Analytical Techniques For Parameter-Based Procedural Content Generators.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Games, 2019

2017

The ANGELINA Videogame Design System - Part II.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2017

The ANGELINA Videogame Design System - Part I.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2017

Predicting Player Experience without the Player.: An Exploratory Study.

[BibT_eX]

[DOI]

Christian Guckelsberger

Christoph Salge

Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 2017

Mixed-Initiative Creative Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

Automated Fictional Ideation via Knowledge Base Manipulation.

[BibT_eX]

[DOI]

Cogn. Comput., 2016

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

[BibT_eX]

[DOI]

Maria Teresa Llano

Christian Guckelsberger

Proceedings of the Seventh International Conference on Computational Creativity, 2016

Towards the automatic optimisation of procedural content generators.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence and Games, 2016

Semi-Automated Design Space Exploration for Formal Modelling.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Baseline Methods for Automated Fictional Ideation.

[BibT_eX]

[DOI]

John William Charnley

Nada Lavrac

Martin Znidarsic

Matic Perovsek

Mark Granroth-Wilding

Stephen Clark

Proceedings of the Fifth International Conference on Computational Creativity, 2014

2013

Nobody's A Critic: On The Evaluation Of Creative Code Generators - A Case Study In Video Game Design.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Using Theory Formation Techniques for the Invention of Fictional Concepts.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013

2012

Unsupervised Modeling of Player Style With LDA.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2012

Initial Results from Co-operative Co-evolution for Automated Platformer Design.

[BibT_eX]

[DOI]

Eduardo H. Calvillo Gámez

Proceedings of the Applications of Evolutionary Computation, 2012

Mining Rules from Player Experience and Activity Data.

[BibT_eX]

[DOI]

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

2011

Introduction to special issue: Video games as research instruments.

[BibT_eX]

[DOI]

Eduardo H. Calvillo Gámez

Entertain. Comput., 2011

2010

Experiments in Objet Trouvé Browsing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Creativity, 2010

Video games as research instruments.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

2009

Documentation and the users of digital resources in the humanities.

[BibT_eX]

[DOI]

J. Documentation, 2009

Cognitive economy and satisficing in information seeking: A longitudinal study of undergraduate information behavior.

[BibT_eX]

[DOI]

J. Assoc. Inf. Sci. Technol., 2009

2008

An examination of the physical and the digital qualities of humanities research.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2008

Special issue on digital libraries in the context of users' broader activities.

[BibT_eX]

[DOI]

Ann Blandford

Sally Jo Cunningham

Inf. Process. Manag., 2008

The PRET A Rapporter framework: Evaluating digital libraries from the perspective of information work.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2008

2007

A library or just another information resource? A case study of users' mental models of traditional and digital libraries.

[BibT_eX]

[DOI]

J. Assoc. Inf. Sci. Technol., 2007

Integrating Searching and Authoring in Mizar.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Creators, Composers and Consumers: Experiences of Designing a Digital Library.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction, 2007

Applying Graph Theory to Interaction Design.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006

Representing Aggregate Works in the Digital Library.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2006

2005

Constructing Induction Rules for Deductive Synthesis Proofs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

Literate Proving: Presenting and Documenting Formal Proofs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Automatic Critiques of Interface Modes.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems, 2005

2004

Computer algebra in interface design research.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

MAUI: An Interface Design Tool Based on Matrix Algebra.

[BibT_eX]

Proceedings of the Computer-Aided Design of User Interfaces IV, 2004

2003

Using and Parsing the Mizar Language.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management Symposium, 2003

On Dynamically Presenting a Topology Course.

[BibT_eX]

[DOI]

Peter Collins

Ann. Math. Artif. Intell., 2003

A Theoretical Analysis of Hierarchical Proofs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

1999

Extensions to the Estimation Calculus.

[BibT_eX]

[DOI]