$30 off During Our Annual Pro Sale. View Details »

Proof as Stories

Avatar for Chris Chris
October 16, 2015
Research
2
710

Proof as Stories

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

Avatar for Chris

Chris

October 16, 2015
Tweet

More Decks by Chris

See All by Chris
How to think like a system: Puzzles, Problems, and Programs
Avatar for Chris chrisamaphone
0
600
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
780
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
300
Paper Presentation: A Survey on Story Generation Techniques
Avatar for Chris chrisamaphone
0
2.2k
Principles of Expressive Machines
Avatar for Chris chrisamaphone
1
2.1k
Operationalizing Creative Theories
Avatar for Chris chrisamaphone
0
2.7k
Ceptre: A Language for Modeling Interactive Worlds
Avatar for Chris chrisamaphone
1
220
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
300

Other Decks in Research

See All in Research
EcoWikiRS: Learning Ecological Representation of Satellite Images from Weak Supervision with Species Observation and Wikipedia
Avatar for SatAI.challenge satai
3
410
製造業主導型経済からサービス経済化における中間層形成メカニズムのパラダイムシフト
Avatar for Masatake Yamoto yamotty
0
220
「リアル×スキマ時間」​を活用したUXリサーチ ​〜新規事業を前に進めるためのUXリサーチプロセスの設計〜
Avatar for PERSOL CAREER Dev | techtekt techtekt
PRO
0
160
投資戦略202508
Avatar for Pragmaworks pw
0
580
地域丸ごとデイサービス「Go トレ」の紹介
Avatar for SMARTふくしラボ smartfukushilab1
0
570
SNLP2025:Can Language Models Reason about Individualistic Human Values and Preferences?
Avatar for Yuki Zenimoto yukizenimoto
0
220
VectorLLM: Human-like Extraction of Structured Building Contours via Multimodal LLMs
Avatar for SatAI.challenge satai
4
490
AIスパコン「さくらONE」のLLM学習ベンチマークによる性能評価 / SAKURAONE LLM Training Benchmarking
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
2
890
Neural Spatial Audio Processing for Sound Field Analysis and Control
Avatar for NII S. Koyama's Lab skoyamalab
0
110
Unsupervised Domain Adaptation Architecture Search with Self-Training for Land Cover Mapping
Avatar for SatAI.challenge satai
3
370
令和最新技術で伝統掲示板を再構築: HonoX で作る型安全なスレッドフロート型掲示板 / かろっく@calloc134 - Hono Conference 2025
Avatar for calloc134 calloc134
0
440
snlp2025_prevent_llm_spikes
Avatar for Sho Takase takase
0
420

Featured

See All Featured
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
76
5.2k
Keith and Marios Guide to Fast Websites
Avatar for Keith Pitt keithpitt
413
23k
Designing for Performance
Avatar for Lara Hogan lara
610
69k
Sharpening the Axe: The Primacy of Toolmaking
Avatar for Bryan Cantrill bcantrill
46
2.6k
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.2k
Measuring & Analyzing Core Web Vitals
Avatar for Philip Tellis bluesmoon
9
700
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k
Reflections from 52 weeks, 52 projects
Avatar for Jefferson Lam jeffersonlam
355
21k
Building Better People: How to give real-time feedback that sticks.
Avatar for Will Jessup wjessup
370
20k
Building Adaptive Systems
Avatar for Chris Keathley keathley
44
2.9k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
37
2.6k
Improving Core Web Vitals using Speculation Rules API
Avatar for Sergey Chernyshev sergeychernyshev
21
1.3k

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