A Method to Check the Satisfaction of Continuous-Time Constraints by Nonlinear Stories

Eric T. Araujo, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer, Bruno Feijó. A Method to Check the Satisfaction of Continuous-Time Constraints by Nonlinear Stories. In Mei Si, David Thue, Elisabeth André, James C. Lester, Joshua Tanenbaum, Veronica Zammitto, editors, Interactive Storytelling - Fourth International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28 - 1 December, 2011. Proceedings. Volume 7069 of Lecture Notes in Computer Science, pages 272-277, Springer, 2011. [doi]

Abstract

Abstract is missing.