Learn More
A key issue in interactive storytelling is how to generate stories which are, at the same time, interesting and coherent. On the one hand, it is desirable to provide means for the user to intervene in the story. But, on the other hand, it is necessary to guarantee that user intervention will not introduce events that violate the rules of the intended genre.(More)
A key issue in interactive storytelling is how to generate stories which are, at the same time, interesting and coherent. On the one hand, it is desirable to provide means for the user to intervene in the story. On the other hand, it is necessary to guarantee that user intervention will not introduce events that violate the rules of the intended genre. This(More)
The process of plot composition in the context of interactive storytelling is considered from a fourfold perspective, that is, from the syntagmatic, paradigmatic, antithetic, and meronymic relations between the constituent events. These relations are shown to be associated with the four major tropes of semiotic research. A conceptual model and set of(More)
Some authors have recently suggested the use of constraint logic programming (CLP) for the verification of hybrid systems. In this paper, we offer evidence that CLP can also be used for the derivation of meaningful test cases. In our approach, formal specifications of concurrent hybrid systems are automatically translated into a format executable by a CLP(More)
An operation-based notion of plots of narratives is introduced, to summarize events happening to objects in the temporal database of an information system. The method proposed for modelling and handling plots, involving the application of a Plan-recognition and Plan-generation facility, is shown to be useful for various purposes, including problem-detection(More)