Semantics and Inferences on Storyboarding ♣

  • Klaus-Dieter Schewe
  • Bernhard Thalheim


The chapter continues the presentation of the storyboarding method from Chapter 3 emphasising content for further, advanced reading. The main focus of the chapter is on the customisation of the storyboard to preferences, goals and deontic constraints. For this a formalisation of plots on grounds of Kleene algebras with test is used, which is then exploited for customisation using a conditional term rewriting approach. A formal proof of the Church-Rosser property of this rewriting approach is conducted. This is extended to capture the effects of deontic constraints and their compatibility with preferences.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  • Klaus-Dieter Schewe
    • 1
  • Bernhard Thalheim
    • 2
  1. 1.UIUC InstituteZhejiang UniversityHainingChina
  2. 2.Christian-Albrechts-Universität zu Kiel, Institut für InformatikKielGermany

Personalised recommendations