Visit the show's web page: thesearch.space

Show notes

Chris Martens' academic website
https://www.csc.ncsu.edu/people/crmarten

04:30
"Programming Interactive Worlds with Linear Logic", Chris' Ph.D. thesis

06:10
James Meehan’s, Tale-Spin thesis
"The Metanovel: Writing Stories by Computer"

A great post about the story of Tale-Spin's creation:
https://grandtextauto.soe.ucsc.edu/2006/09/13/the-story-of-meehans-tale-spin/

18:40
The Twelf Project

"a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics"

The dependently typed logif LF

20:50
Linear logic

Jean-Yves Girard

The original paper
(The first sentence begins: "Linear logic is a logic behind logic...")

22:00
"A form of logical implication pronounced A lolly B" ... I wish I had a screen to draw on"
Looks like this:  A -o B  (a modified arrow from A to B)

25:10
The frame problem

25:20
Temporal logic
Event calculus

26:50
Pandemic board game

"5% of my design royalty for Pandemic products is donated directly to Doctors Without Borders"

https://www.leacock.com/about

44:40
Interactive fiction

"software simulating environments in which players use text commands to control characters and influence the environment"

https://www.ifarchive.org/

47:30
Behavior trees

56:00
R. Michael Young

"His research focuses on the development of computational models of interactive narrative with applications to computer games, educational and training systems and virtual environments."

57:30
https://twitter.com/chrisamaphone
github.com/chrisamaphone

★ Support this podcast ★