Login / Signup

Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic.

Kim Dung DangRonan ChampagnatMichel Augeraud
Published in: ICIDS (2010)
Keyphrases
  • linear logic
  • interactive storytelling
  • fixed point
  • computer games
  • sequent calculus
  • cut elimination
  • desirable properties
  • automated planning