Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control

Kim Dung Dang, Phuong Thao Pham, Ronan Champagnat, Mourad Rabah. Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control. In Dennis Reidsma, Haruhiro Katayose, Anton Nijholt, editors, Advances in Computer Entertainment - 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings. Volume 8253 of Lecture Notes in Computer Science, pages 524-527, Springer, 2013. [doi]

Abstract

Abstract is missing.