Visit the show's web page: thesearch.spaceShow notesChris Martens' academic websitehttps://www.csc.ncsu.edu/people/crmarten04:30"Programming Interactive Worlds with Linear Logic", Chris' Ph.D. thesis06:10James 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:40The Twelf Project"a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics"The dependently typed logif LF20:50Linear logicJean-Yves GirardThe 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:10The frame problem25:20Temporal logicEvent calculus26:50Pandemic board game"5% of my design royalty for Pandemic products is donated directly to Doctors Without Borders"https://www.leacock.com/about44:40Interactive fiction"software simulating environments in which players use text commands to control characters and influence the environment"https://www.ifarchive.org/47:30Behavior trees56:00R. 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:30https://twitter.com/chrisamaphonegithub.com/chrisamaphone

★ Support this podcast ★

Ver todos los episodios