Debugging is one of the main requirements for Interactive Storytelling (IS) authoring tools. During the authoring phase, authors have to specify large ...
Abstract. Debugging is one of the main requirements for Interactive. Storytelling (IS) authoring tools. During the authoring phase, authors have to.
Originated from those requirements, we propose, within the framework of this paper, a methodology using Linear Logic, based on analyzing automatically the ...
Dec 16, 2012 · The works described in this paper present a methodology for authors to create and validate the Linear Logic sequent mentioned above at the ...
A Methodology to Validate Interactive Storytelling Scenarios in ...
link.springer.com › content › pdf
Abstract. Debugging is one of the main requirements for Interactive. Storytelling (IS) authoring tools. During the authoring phase, authors have to.
Dec 16, 2012 · Debugging is one of the main requirements for Interactive Storytelling (IS) authoring tools. During the authoring phase, authors have to ...
Nov 8, 2011 · Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic. In: Aylett, R. et al. (eds.) ICIDS 2010. LNCS, vol ...
People also ask
What is an interactive storytelling method?
What is digital storytelling methodology?
Proceeding from the achieved results, this paper introduces a methodology for authors to derive a valid scenario of an IS. In the paper, we will explain the ...
In this paper, we propose an approach to model Interactive Storytelling using Linear Logic, which is a support for reasoning on both points of view. Then we ...
Apr 25, 2024 · A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic. Trans. Edutainment 10: 53-82 (2013). [c5]. view. electronic ...