All Outputs (3)

A modal logic analysis of a line-following robot (2018)
Journal Article
Battle, S., & Thompson, M. (2018). A modal logic analysis of a line-following robot. Communications in Computer and Information Science, 732, 42-55. https://doi.org/10.1007/978-3-319-90418-4_4

© Springer International Publishing AG, part of Springer Nature 2018. The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the... Read More about A modal logic analysis of a line-following robot.

Governing narrative events with tropes as institutional norms (2018)
Journal Article
Thompson, M., Padget, J., & Battle, S. (2018). Governing narrative events with tropes as institutional norms. Communications in Computer and Information Science, 732, 133-137. https://doi.org/10.1007/978-3-319-90418-4_11

© Springer International Publishing AG, part of Springer Nature 2018. A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of)... Read More about Governing narrative events with tropes as institutional norms.

Telling non-linear stories with interval temporal logic (2015)
Journal Article
Thompson, M., Battle, S., & Padget, J. (2015). Telling non-linear stories with interval temporal logic. Lecture Notes in Artificial Intelligence, 9445, 370-373. https://doi.org/10.1007/978-3-319-27036-4_39

© Springer International Publishing Switzerland 2015. 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 i... Read More about Telling non-linear stories with interval temporal logic.