Jantke, K.P.K.P.Jantke2022-03-112022-03-112010https://publica.fraunhofer.de/handle/publica/36986010.1109/PIC.2010.5687910en621Logical Formalization and Reasoning for Computerized Interactive Storytellingconference paper