Publications

2017

Practical Specification of Belief Manipulation in Games. Markus Eger and Chris Martens. AIIDE 2017, to appear (draft available soon).

An Intentional AI for Hanabi. Markus Eger and Chris Martens. CIG 2017, to appear.

A Generative Model of Group Conversation. Hannah Morrison and Chris Martens. NPC Workshop 2017, to appear.

Languages of Play: Towards Semantic Foundations for Game Interfaces. Chris Martens and Matthew Hammer. FDG 2017, to appear.

Deriving Quests from Open World Mechanics. Ryan Alexander and Chris Martens. FDG 2017, to appear.

Programming with Epistemic Logic. Markus Eger and Chris Martens. In OBT 2017.

2016

Proceduralist Readings, Procedurally.

Chris Martens, Adam Summerville, Michael Mateas, Joseph Osborn, Sarah Harmon, Noah Wardrip-Fruin and Arnav Jhala.

In proceedings of EXAG 2016

Generating Abstract Comics. Chris Martens and Rogelio E. Cardona-Rivera. In proceedings of ICIDS 2016.

2015 and earlier

Programming Interactive Worlds with Linear Logic.

Chris Martens. Ph.D. thesis, Carnegie Mellon University. 2015.

Ceptre: A Language for Modeling Generative, Interactive Systems.

Chris Martens.

In proceedings of AIIDE 2015.

Generative Story Worlds as Linear Logic Programs.

Chris Martens, João Ferreira, Anne-Gwenn Bosser, and Marc Cavazza.

In proceedings of INT 2014.

Linear Logic Programming for Narrative Generation.

Chris Martens, Anne-Gwenn Bosser, Joao F. Ferreira, and Marc Cavazza.

In proceedings of LPNMR 2013.

LF in LF: Mechanizing the Metatheory of LF in Twelf.

Chris Martens and Karl Crary.

In proceedings of LFMTP 2012.