@conference {1852,
	title = {Generative Story Worlds as Linear Logic Programs},
	booktitle = {Intelligent Narrative Technologies 7 (INT7)},
	year = {2014},
	month = {July},
	address = {Milwaukee, USA},
	abstract = {<p>Linear logic programming languages have been identified 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 specific 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 specified 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 specification can assist the author in reasoning about the structure and consequences of emergent stories.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jff/files/2014-generativestoryworldsllp.pdf},
	author = {Chris Martens and Jo{\~a}o F. Ferreira and Anne-Gwenn Bosser and Marc Cavazza}
}