<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Chris Martens</style></author><author><style face="normal" font="default" size="100%">João F. Ferreira</style></author><author><style face="normal" font="default" size="100%">Anne-Gwenn Bosser</style></author><author><style face="normal" font="default" size="100%">Marc Cavazza</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Generative Story Worlds as Linear Logic Programs</style></title><secondary-title><style face="normal" font="default" size="100%">Intelligent Narrative Technologies 7 (INT7)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year><pub-dates><date><style  face="normal" font="default" size="100%">July</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jff/files/2014-generativestoryworldsllp.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Milwaukee, USA</style></pub-location><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Linear logic programming languages have been identiﬁed in prior work as viable for specifying stories and analyzing their causal structure. We investigate the use of such a language for specifying story worlds, or settings where generalized narrative actions have uniform effects (not speciﬁc to a particular set of characters or setting elements), which may create emergent behavior through feedback loops. We show a sizable example of a story world speciﬁed in the language Celf and discuss its interpretation as a story-generating program, a simulation, and an interactive narrative. Further, we show that the causal analysis tools available by virtue of using a proof-theoretic language for speciﬁcation can assist the author in reasoning about the structure and consequences of emergent stories.&lt;/p&gt;
</style></abstract></record></records></xml>