Autor der Publikation

Enhancing Interactivity in Propp-Based Narrative Generation.

, und . ICIDS, Volume 13138 von Lecture Notes in Computer Science, Seite 260-265. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Natural Modelling of Interactive Applications., und . DSV-IS, Volume 3941 von Lecture Notes in Computer Science, Seite 67-77. Springer, (2005)Enhancing Interactivity in Propp-Based Narrative Generation., und . ICIDS, Volume 13138 von Lecture Notes in Computer Science, Seite 260-265. Springer, (2021)A general proof certification framework for modal logic., und . CoRR, (2018)FireFly: Lightweight AJAX System for F2F-CL., und . EC-TEL Workshops, Volume 213 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)Labeled natural deduction for temporal logics.. University of Verona, Italy, (2010)Focused Labeled Proof Systems for Modal Logic., und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2015)A focused framework for emulating modal proof systems., , und . Advances in Modal Logic, Seite 469-488. College Publications, (2016)Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics., , und . WoLLIC, Volume 7456 von Lecture Notes in Computer Science, Seite 321-335. Springer, (2012)