The Logic Programming podcast. About the history, future, and wider landscape of Logic Programming.
…
continue reading
1
#6 - Adam Smith on Answer Set Programming
1:13:28
1:13:28
Reproducir más Tarde
Reproducir más Tarde
Listas
Me gusta
Me gusta
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
1
#5 - Kevin Feeney on TerminusDb and the Semantic Web
1:27:07
1:27:07
Reproducir más Tarde
Reproducir más Tarde
Listas
Me gusta
Me gusta
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
1
#4 - Markus Triska on constraints and the power of Prolog
1:05:56
1:05:56
Reproducir más Tarde
Reproducir más Tarde
Listas
Me gusta
Me gusta
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
1
#3 - Chris Martens on narrative generation
1:00:34
1:00:34
Reproducir más Tarde
Reproducir más Tarde
Listas
Me gusta
Me gusta
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
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 ★Por Felix Holmgren
…
continue reading
1
#1 - The Poet of Logic Programming
1:35:53
1:35:53
Reproducir más Tarde
Reproducir más Tarde
Listas
Me gusta
Me gusta
1:35:53
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