Chris Martens

Martens is an IF author who created Ceptre, a linear logic programming language for creating narratives and interactive models.

Author Credits

Origins (with Vincent Zeng; 1-Oct-2014; Twine; Web browser). IF Comp 2014: 25th place.

"Ceptre: A Language for Modeling Generative Interactive Systems". AIIDE 2015.
"Generating Explorable Narrative Spaces with Answer Set Programming". With Chinmaya Dabral. AIIDE 2020.
"Generative Story Worlds as Linear Logic Programs". With João F. Ferreira, Anne-Gwenn Bosser, and Marc Cavazza. INT 2014.
"Linear Logic Programming for Narrative Generation". With Anne-Gwenn Bosser, João F. Ferreira, and Marc Cavazza. LPNMR 2013.
"LF in LF: Mechanizing the Metatheories of LF in Twelf". With Karl Crary. LFMTP 2012.
"Volunteer Computing Using Casual Games". With Charles Cusack, Chris Martens, and Priyanshu Mutreja. Future Play International Conference, 2006.
"Scheduling with Uncertain Resources: Elicitation of Additional Data". With Ulas Bardak, Eugene Fink, Jamie Carbonell. IEEE SMC, 2006.