Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Proof as Stories

Chris
October 16, 2015
Research
2
580

Proof as Stories

Abstract: http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt

Chris

October 16, 2015
Tweet

More Decks by Chris

See All by Chris
How to think like a system: Puzzles, Problems, and Programs
chrisamaphone
0
330
Compositional Creativity (ICFP 2017)
chrisamaphone
2
720
Anti-Disciplinary: doing a PhD when you like too many things
chrisamaphone
1
180
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
970
Proof Theory for Narrative Structure
chrisamaphone
2
230

Other Decks in Research

See All in Research
Breaking Tradeoffs: Extremely Scalable Multi-Agent Pathfinding Algorithms
kei18
0
150
音声処理ツールキットESPnetの現在と未来
kanbayashi1125
2
550
Prompt Tuning から Fine Tuning への移行時期推定
icoxfog417
17
7k
待機電力を削減したネットワーク更新型電子ペーパーサイネージの開発と評価 / IOT64
yumulab
0
110
方策の長期性能に対する 効率的なオフライン評価・学習 (Long-term Off-Policy Evaluation and Learning)
usaito
PRO
2
180
フルリモートワークでのスクラムのスケール
kmorita1111
2
1k
FMP L3 Year 1 Project Proposal
haiinya
0
150
Accurate Method and Variable Tracking in Commit History
tsantalis
0
260
クリック率を最大化しない推薦システム
joisino
42
14k
論文紹介 DSRNet: Single Image Reflection Separation via Component Synergy (ICCV 2023)
tattaka
0
180
My Journey as a UX Researcher
aranciap
0
1.1k
[KDD2023論文読み会] BERT4CTR: An Efficient Framework to Combine Pre-trained Language Model with Non-textual Features for CTR Prediction / KDD2023 LY Tech Reading
shunk031
0
450

Featured

See All Featured
What's new in Ruby 2.0
geeforr
337
31k
RailsConf 2023
tenderlove
4
540
[RailsConf 2023] Rails as a piece of cake
palkan
23
4k
Designing for Performance
lara
601
67k
Design by the Numbers
sachag
274
18k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
25
2.3k
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
79
43k
From Idea to $5000 a Month in 5 Months
shpigford
377
45k
The Illustrated Children's Guide to Kubernetes
chrisshort
31
46k
The Pragmatic Product Professional
lauravandoore
25
5.8k
GraphQLの誤解/rethinking-graphql
sonatard
50
9.2k
It's Worth the Effort
3n
180
27k

Transcript

  1. None
  2. None

  3. 3

  4. 4

  5. 5

  6. 6

  7. 7

  8. 8

  9. 9

  10. 10

  11. 11

  12. 12

  13. 13

  14. 14

  15. 15

  16. 16

  17. 17

  18. 18

  19. 19

  20. 20

  21. 21

  22. 22

  23. xkcd.com/657 23

  24. 24

  25. 25

  26. 26

  27. 27

  28. 28

  29. 29

  30. 30

  31. 31

  32. 32

  33. 33

  34. 34

  35. 35

  36. 36

  37. 37

  38. None

  39. Related Work 39

  40. Related Work 40

  41. 41 If narratives have several parts, what are they, and

    how do they connect to one another?

  42. 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

  43. Linear Logic Programming 43 signature: set of rules program: signature

    + initial state 6 6¶ 6R6¶  U6R6¶    Q  /RJLF3URJUDP LQLWLDOVWDWH