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
600
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
380
Compositional Creativity (ICFP 2017)
chrisamaphone
2
730
Anti-Disciplinary: doing a PhD when you like too many things
chrisamaphone
1
200
Paper Presentation: A Survey on Story Generation Techniques
chrisamaphone
0
2.1k
Principles of Expressive Machines
chrisamaphone
1
2k
Operationalizing Creative Theories
chrisamaphone
0
2.6k
Ceptre: A Language for Modeling Interactive Worlds
chrisamaphone
1
170
Programming Interactive Worlds with Linear Logic
chrisamaphone
2
1k
Proof Theory for Narrative Structure
chrisamaphone
2
230
Other Decks in Research
See All in Research
AIを前提とした体験の実現に向けて/toward_ai_based_experiences
monochromegane
1
430
SSII2024 [OS3] 基盤モデル(オープニング)
ssii
PRO
0
280
インタビューだけじゃない!ユーザーに共感しユーザーの目👀を手に入れるためのインプット
moco1013
0
430
「確率的なオウム」にできること、またそれがなぜできるのかについて
eumesy
PRO
7
2.5k
Off-Policy Evaluation of Slate Bandit Policies via Optimizing Abstraction(日本語版)
aiueola
0
120
The Future of AI: Beyond Completion Models to Systematic Innovation
sunghopark0
0
120
バスのサービスレベル向上と運賃策による熊本都市圏の渋滞緩和効果推計 ~公共交通への公的投資に向けた感度と集計QVに基づく迅速なシナリオ検討~
trafficbrain
0
180
ICLR2024 LLMエージェントの研究動向
masatoto
13
9.1k
Minimum Bayes-Risk Decoding における性能変動の理解に向けて(2024年6月5日 第59回 NLPコロキウム)
atsumoto
0
210
SSII2024 [OS1] 研究紹介100連発(オープンニング)
ssii
PRO
0
420
SSII2024 [OS1] 現場の課題を解決する ロボットラーニング
ssii
PRO
0
420
Mathematical Optimization +Artificial Intelligence =MOAI
mickey_kubo
1
230
Featured
See All Featured
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
26
2.1k
Teambox: Starting and Learning
jrom
130
8.6k
Web development in the modern age
philhawksworth
203
10k
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
353
29k
GitHub's CSS Performance
jonrohan
1026
450k
The Mythical Team-Month
searls
217
43k
The Language of Interfaces
destraynor
151
23k
What's in a price? How to price your products and services
michaelherold
239
11k
The Invisible Customer
myddelton
117
13k
StorybookのUI Testing Handbookを読んだ
zakiyama
15
4.9k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
24
1.8k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
155
14k
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