Redcap

  • Authoring Tools

  • Capture the Tag!

    WP Cumulus Flash tag cloud by Roy Tanck requires Flash Player 9 or better.

  • Meta

  • IRIS

    This work has been funded in part by the European Commission under the grant agreement IRIS (FP7-ICT-231824)
Creation Process with Linear Logic

 An authoring tool gives the storyworld and the narrative program.

It is then transformed into a sequent of Linear Logic. An automatic translator transforms the sequent into a Petri net. Finally the Petri nets performs the execution of the model and can interact with the Interactive Storytelling Rendering.

Tags:

This entry was posted on Sunday, November 15th, 2009 at 21:20 and is filed under LinearLogic. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.