@inproceedings{3834d072664f42e5aea748c55e019ffe,
title = "Telling non-linear stories with interval temporal logic",
abstract = "Authoring a consistent interactive narrative is difficult without exhaustively specifying all possible deviations from the main path of a story. When automatically generating new story paths, it is important to be able to check these paths for consistency with the narrative world. We present a method of describing the structure of a story as a Kripke structure using Interval Temporal Logic. This allows themodel checking of each possible telling of the narrative for consistency with the story world, as well as the ability to construct re-usable story components at different levels of abstraction. This is the first step towards building a fully checkable framework for building story components using modal logic.",
keywords = "Interactive narrative, Interval temporal logic, Kripke structures, Modal logic, Model checking",
author = "Matt Thompson and Steve Battle and Julian Padget",
year = "2015",
month = dec,
day = "11",
doi = "10.1007/978-3-319-27036-4_39",
language = "English",
isbn = "9783319270357",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "370--373",
editor = "H. Shoenau-Fog and Bruni, {L. E. } and S. Louchart and S. Baceviciute",
booktitle = "Interactive Storytelling",
note = "8th International Conference on Interactive Digital Storytelling, ICIDS 2015 ; Conference date: 30-11-2015 Through 04-12-2015",
}