Kim Dung Dang

Learn More
Debugging is one of the main requirements for Interactive Storytelling (IS) authoring tools. During the authoring phase, authors have to specify large numbers of rules and actions as well as consider many possible paths. As a consequence, flaws may happen and finding them “by hand” is complex. Therefore the validation of an IS becomes a crucial issue and(More)
Research on Interactive Storytelling has mainly focused on the opposition between a discourse point of view and a character point of view for a story. 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 give an example on an educational game that shows(More)
Much of the fruit fly genome is compact ("Escherichia coli mode"), indicating a genome-wide selection pressure against DNA with little adaptive function. However, in the bithorax complex (BX-C) homeodomain genes are widely dispersed with large introns ("mammalian mode"). Chargaff difference analysis of compact bacterial and viral genomes has shown that most(More)
We present a case study of interactive story creation, in which we applied a proof mechanism based on Linear Logic to the authoring process. After initial scenario modeling for dynamic plot generation based on planning, we used the mechanism in iterations of refinements to find possible problems within a huge possibility space of resulting discourses. We(More)
In previous works [3, 4], we showed how to use Linear Logic to model an Interactive Storytelling (IS). 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 implementation of the methodology via a detailed presentation of the steps in the process of IS(More)
The games are typical interactive applications where the system has to react to user actions and behavior with respect to some predefined rules established by the designer. The storytelling allows the interactive system to unfold the scenario of the game story according to these inputs and constraints. In order to improve system’s behavior, the scenario(More)
According to these experiments, it appears thatLinum austriacum L. needs vernalisation to bloom. The treatment at low temperature (vernalisation) may be replaced in the course of the first year by a process of mutilation, that is to say, the ablation of all lateral shoots as soon as they appear. The notion of the concentration of tropho-hormonal reserves in(More)
  • 1