A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic.

Kim Dung Dang Ronan Champagnat Michel Augeraud

Published in: Trans. Edutainment (2013)

Keyphrases

linear logic
interactive storytelling
fixed point
desirable properties
cut elimination
logic programming
logical framework
sequent calculus
goal oriented
virtual characters
high level
social media
probabilistic model
computer games
learning scenarios
automated planning