In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
This paper analyses the stages and circumstances for immersion based on quantitative and qualitative feedback from 563 people who took part in a three week long public trial of a ...
Ben J. C. Clayton, Erik Geelhoed, Josephine Reid, ...
A long-standing challenge in interactive entertainment is the creation of story-based games with dynamically responsive story-lines. Such games are populated by multiple objects a...
Mark J. Nelson, David L. Roberts, Charles Lee Isbe...
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so it satisfies the author's expressive goals ...