Proof as Stories

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

Transcript

1. View Slide

2. View Slide

3. View Slide

4. View Slide

5. View Slide

6. View Slide

7. View Slide

8. View Slide

9. View Slide

10. View Slide

11. View Slide

12. View Slide

13. View Slide

14. View Slide

15. View Slide

16. View Slide

17. View Slide

18. View Slide

19. View Slide

20. View Slide

21. View Slide

22. View Slide

23. xkcd.com/657
    23
    

    View Slide

24. View Slide

25. View Slide

26. View Slide

27. View Slide

28. View Slide

29. View Slide

30. View Slide

31. View Slide

32. View Slide

33. View Slide

34. View Slide

35. View Slide

36. View Slide

37. View Slide

38. View Slide

39. Related Work
    39
    

    View Slide

40. Related Work
    40
    

    View Slide

41. 41
    If narratives have several parts,
    
    what are they,
    
    and how do they connect to one another?
    

    View Slide

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
    

    View Slide

43. Linear Logic Programming
    43
    signature: set of rules
    
    program: signature + initial state
    6 6¶
    6R6¶
    
    U6R6¶
    
    
    Q
    
    /RJLF3URJUDP
    LQLWLDOVWDWH
    

    View Slide