The Search Space

Adam Smith talks about Answer Set Programming, and how he's used it in game design and other areas. Visit the show's web page: thesearch.space Show notes | Torsten Schaub at Potsdam University Several of his presentations contain the formula ASP = DB + LP + KR + SMT^n ASP: Answer Set Programming DB: Database LP: Logic Programming KR: Knowledge Representation SMT: SAT Modulo Theories SAT solver: Bo...

Visit the show's web page: thesearch.space Show notes I first became aware of Kevin through a series of blog posts that explain the similarities and differences between these different kinds of databases Graph Fundamentals — Part 1: RDF Graph Fundamentals — Part 2: Labelled Property Graphs Graph Fundamentals — Part 3: Graph Schema Languages Graph Fundamentals Part 4: Linked Data Then I found out a...

Visit the show's web page: thesearch.space Show notes The Power of Prolog , Markus' ongoing book project "It says, 'Find your way from darkness to light,' which is one of the quotes that occurs in The Knight of Cups , which is a recent movie by Terrence Malick." "I was introduced to Prolog by Ulrich Neumerkel at the Vienna University of Technology."  "the convener of the Prolog ISO standard   grou...

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

Show notes (full notes coming up, please check back soon) Ryan's talk about Clara at Strange Loop (2014) https://www.youtube.com/watch?v=Z6oVuYmRgkk https://github.com/quoll/naga https://github.com/ulfurinn/wongi-engine https://github.com/jruizgit/rules ★ Support this podcast ★

Show notes 08:10 John Alan Robinson https://en.wikipedia.org/wiki/John_Alan_Robinson Computational Logic: Memories of the Past and Challenges for the Future http://www.computational-logic.org/iccl/downloads/Robinson-CL2000.pdf Maarten van Emden has great material about Robinson, including two interviews: https://vanemden.wordpress.com/2016/09/16/alan-robinson/ https://vanemden.wordpress.com/2010/0...

Logic Programming, you say? That might sound like either an oxymoron or a tautology to you, depending on who you are. If you have heard about Logic Programming before, you are probably thinking about Prolog - a programming language that is almost 50 years old, and which many find fascinating but also frustratingly limited. What is logic? Many people consider it synonymous with dry intellect, humor...