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