Search results
Articles 1–20. Northeastern University - Cited by 788 - programming languages - interactive system modeling - creativity support tools - procedural content generation - narrative...
Sep 1, 2022 · Dr. Chris Martens is a computer scientist and computational media scholar in the field of digital games and narrative with a joint appointment in College of Arts, Media and Design and Khoury College of Computer Sciences.
- Research
- Peer-Reviewed Papers
- Talks and Workshop Submissions
- Unpublished Drafts and Projects
- Teaching
- Notes and Other Writing
- Other Outputs
I build executable formal models of interactive andplayful systems. I use formal methods such as proof theoryto buildbetter programming languages and analysis tools for game design,storytelling, computational creativity, and generative methods. More specifically, my interests and past research include tools like logicprogramming, logical frameworks...
Chris Martens. "Ceptre: A Language for Modeling Generative Interactive Systems." In proceedings of Artificial Intelligence and Interactive Digital Entertainment 2015. [pdf, 7 pages]Chris Martens, Joao F. Ferreira, Anne-Gwenn Bosser, and Marc Cavazza. "Generative Story Worlds as Linear Logic Programs." Intelligent Narrative Technologies 7, 2014. [pdf, 7 pages; talk slides(html)]Chris Martens, Anne-Gwenn Bosser, Joao F. Ferreira, and Marc Cavazza. "Linear Logic Programming for Narrative Generation." In proceedings of Logic Programming and Nonmonotonic Reasoning, 2013. [pdf...Chris Martens and Karl Crary. "LF in LF: Mechanizing the Metatheory of LF in Twelf." Logical Frameworks and Metalanguages: Theory and Practice, 2012. [pdf, 12 pages | project repo | talk slides]Invited Talk: "Proofs as Stories," delivered at the UConn Logic Seminar, October 16, 2015. Slides!Invited Talk: "Ceptre: A Language for Modeling Interactive Worlds." Future Programming Workshop at Strange Loop 2015. ***** Watch the video!"Proof-Theoretic Study of Game Mechanics," delivered at the Foundations of Digital Games (FDG) Doctoral Consortium: 3-page PDF; slides on SpeakerDeck"Creating and Analyzing Playable Narratives with Linear Logic," delivered at the CMU Graphics Lab Seminar, April 2015. Slides!Linear Logic Programming for Narrative Generation: long version (draft)Logical analysis of logic programs, at INRIA Parsifal: internship reportType inference for a nested configuration language. (Googleinternship; not yet open-sourced.)In Spring 2014 I taught StuCo: Interactive Fiction. I wrote about it here: [guest post at Storycade]In Fall 2011 I TAed 15-210 Parallel and Sequential Data Structures and Algorithms.In Fall 2010 TAed 15-317 Constructive Logic.Sketchnotes and travelogue from Strange Loop 2014Sketchnotes from !!conThe Contingent Transition Problem: [pdf]Canonical forms-style LF as presented in Computation and Deduction, Spring 2009: [pdf]I maintain a list of programming languages (co)created by women. Please let me know if you have information to add to this list!I maintain a mailing list for Computational Narrative researchers.I maintain a mailing list for underrepresented groups in Programming Languages research.Here are my games, mainly interactive fiction.Associate Professor. Khoury College of Computer Sciences. College of Arts, Media, and Design. Northeastern University. Ph.D. in Computer Science. Carnegie Mellon University. Email: c.martens at northeastern.edu. Office: Meserve 138 (Boston campus) Pronouns: they/them. Research Interests.
Chris Martens is an associate professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston. They are jointly appointed with the College of Arts, Media and Design.
Sep 1, 2022 · This kind of interdisciplinary work is exactly why Chris Martens, a new Northeastern faculty member, wants to make it easier for people to make games.
Chris Martens Abstract Interactive storytelling weaves together deep computational ideas with humanity's rich history of story and play, providing an important context for tools and languages to be built.
