Abstract: http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt
View Slide
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
xkcd.com/65723
24
25
26
27
28
29
30
31
32
33
34
35
36
37
Related Work39
Related Work40
41If narratives have several parts, what are they, and how do they connect to one another?
Ceptre42stage = set of rules r : A -o B !program = set of stages + stage control flow + initial state 6 6¶6R6¶U6R6¶ Q/RJLF3URJUDPLQLWLDOVWDWH
Linear Logic Programming43signature: set of rules program: signature + initial state6 6¶6R6¶U6R6¶ Q/RJLF3URJUDPLQLWLDOVWDWH