Output details
11 - Computer Science and Informatics
Teesside University
Output title
Linear logic for non-linear storytelling
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 2010 Conference on ECAI
Volume number
215
Issue number
-
First page of article
713
ISSN of proceedings
-
Year of publication
2010
Number of additional authors
2
Additional information
<22> This paper evidences the suitability of Linear Logic as a conceptual model for computational narratives. This is an output of the FP7 NoE IRIS, in collaboration with Université de La Rochelle. ECAI is one of the three top conferences in Artificial Intelligence. This year had an acceptance rate of 22% (607 submissions). This research takes an original logical (seldom used so far) and structural angle to computational narrative issues, and widens the horizons of the Interactive Storytelling community to conceptual tools originating in proof theory. It has also led to further work as an application of Linear Logic programming.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
