Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Proof as Stories
Search
Chris
October 16, 2015
Research
2
690
Proof as Stories
Abstract:
http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt
Chris
October 16, 2015
Tweet
Share
More Decks by Chris
See All by Chris
How to think like a system: Puzzles, Problems, and Programs
chrisamaphone
0
520
Compositional Creativity (ICFP 2017)
chrisamaphone
2
760
Anti-Disciplinary: doing a PhD when you like too many things
chrisamaphone
1
260
Paper Presentation: A Survey on Story Generation Techniques
chrisamaphone
0
2.1k
Principles of Expressive Machines
chrisamaphone
1
2.1k
Operationalizing Creative Theories
chrisamaphone
0
2.7k
Ceptre: A Language for Modeling Interactive Worlds
chrisamaphone
1
210
Programming Interactive Worlds with Linear Logic
chrisamaphone
2
1.1k
Proof Theory for Narrative Structure
chrisamaphone
2
280
Other Decks in Research
See All in Research
A scalable, annual aboveground biomass product for monitoring carbon impacts of ecosystem restoration projects
satai
3
110
電通総研の生成AI・エージェントの取り組みエンジニアリング業務向けAI活用事例紹介
isidaitc
1
740
生成的推薦の人気バイアスの分析:暗記の観点から / JSAI2025
upura
0
210
[CV勉強会@関東 CVPR2025] VLM自動運転model S4-Driver
shinkyoto
2
360
データサイエンティストの採用に関するアンケート
datascientistsociety
PRO
0
1.1k
Trust No Bot? Forging Confidence in AI for Software Engineering
tomzimmermann
1
250
Ad-DS Paper Circle #1
ykaneko1992
0
5.7k
SSII2025 [TS1] 光学・物理原理に基づく深層画像生成
ssii
PRO
4
3.9k
SkySense : A Multi-Modal Remote Sensing Foundation Model Towards Universal Interpretation for Earth Observation Imagery
satai
3
270
NLP Colloquium
junokim
1
170
公立高校入試等に対する受入保留アルゴリズム(DA)導入の提言
shunyanoda
0
6.3k
2025/7/5 応用音響研究会招待講演@北海道大学
takuma_okamoto
1
120
Featured
See All Featured
BBQ
matthewcrist
89
9.7k
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.8k
Building Flexible Design Systems
yeseniaperezcruz
328
39k
Rails Girls Zürich Keynote
gr2m
95
14k
Visualization
eitanlees
146
16k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
GraphQLとの向き合い方2022年版
quramy
49
14k
RailsConf 2023
tenderlove
30
1.2k
Building Applications with DynamoDB
mza
95
6.5k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
53
2.9k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
18
1k
Thoughts on Productivity
jonyablonski
69
4.7k
Transcript
None
None
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
xkcd.com/657 23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
None
Related Work 39
Related Work 40
41 If narratives have several parts, what are they, and
how do they connect to one another?
Ceptre 42 stage = set of rules r : A
-o B ! program = set of stages + stage control flow + initial state 6 6¶ 6R6¶ U6R6¶ Q /RJLF3URJUDP LQLWLDOVWDWH
Linear Logic Programming 43 signature: set of rules program: signature
+ initial state 6 6¶ 6R6¶ U6R6¶ Q /RJLF3URJUDP LQLWLDOVWDWH