Login / Signup

Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control.

Kim Dung DangPhuong Thao PhamRonan ChampagnatMourad Rabah
Published in: Advances in Computer Entertainment (2013)
Keyphrases
  • linear logic
  • interactive storytelling
  • logic programming
  • desirable properties
  • video sequences
  • dynamic programming
  • domain specific
  • fixed point
  • computer games
  • sequent calculus