Chris Martens

1. Deriving Quests from Open World Mechanics
   2017/04/30 by Ryan Alexander, Chris Martens, Alexander, Ryan +1 · 2 voices · 1 citation
   Computer Science · Psychology · Social Sciences · #Artificial Intelligence in Games #Digital Games and Media #Educational Games and Gamification #cs.AI #cs.MM
2. Substructural Parametricity
   2025/03/05 by C. B. Aberlé, Chris Martens, Aberlé, C. B. +3 · 1 voice · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
3. Finite-Choice Logic Programming
   2024/05/29 by Chris Martens, Robert J. Simmons, Michael Arntzenius · 2 voices
   #cs.PL #cs.LO