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
680
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
510
Compositional Creativity (ICFP 2017)
chrisamaphone
2
760
Anti-Disciplinary: doing a PhD when you like too many things
chrisamaphone
1
250
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.7k
Ceptre: A Language for Modeling Interactive Worlds
chrisamaphone
1
200
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
電通総研の生成AI・エージェントの取り組みエンジニアリング業務向けAI活用事例紹介
isidaitc
1
120
SSII2025 [SS1] レンズレスカメラ
ssii
PRO
2
880
Transparency to sustain open science infrastructure - Printemps Couperin
mlarrieu
1
170
作業記憶の発達的特性が言語獲得の臨界期を形成する(NLP2025)
chemical_tree
2
580
Adaptive fusion of multi-modal remote sensing data for optimal sub-field crop yield prediction
satai
3
210
TRIPOD+AI Expandedチェックリスト 有志翻訳による日本語版 version.1.1
shuntaros
0
170
ウッドスタックチャン:木材を用いた小型エージェントロボットの開発と印象評価 / ec75-sato
yumulab
1
360
SSII2025 [TS2] リモートセンシング画像処理の最前線
ssii
PRO
7
2.7k
研究テーマのデザインと研究遂行の方法論
hisashiishihara
5
1.3k
3D Gaussian Splattingによる高効率な新規視点合成技術とその応用
muskie82
5
2.3k
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
shunk031
11
7.6k
大規模日本語VLM Asagi-VLMにおける合成データセットの構築とモデル実装
kuehara
5
2.3k
Featured
See All Featured
Agile that works and the tools we love
rasmusluckow
329
21k
GraphQLとの向き合い方2022年版
quramy
46
14k
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
Practical Orchestrator
shlominoach
188
11k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
31
2.4k
Fashionably flexible responsive web design (full day workshop)
malarkey
407
66k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
9.5k
Java REST API Framework Comparison - PWX 2021
mraible
31
8.6k
The Invisible Side of Design
smashingmag
299
50k
Building an army of robots
kneath
306
45k
Reflections from 52 weeks, 52 projects
jeffersonlam
349
20k
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