The Logic Programming podcast. About the history, future, and wider landscape of Logic Programming.
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#6 - Adam Smith on Answer Set Programming
1:13:28
1:13:28
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:13:28
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 Repr…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#5 - Kevin Feeney on TerminusDb and the Semantic Web
1:27:07
1:27:07
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:27:07
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 F…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#4 - Markus Triska on constraints and the power of Prolog
1:05:56
1:05:56
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:05:56
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." …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#3 - Chris Martens on narrative generation
1:00:34
1:00:34
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:00:34
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:/…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#2 - Ryan Brush on retaking rules for developers
49:27
49:27
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
49:27
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 ★Felix Holmgren による
…
continue reading
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/al…
…
continue reading
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 peopl…
…
continue reading