Skip to main content

Research Repository

Advanced Search

All Outputs (2)

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.