The Search Space

Feb 14 2024 7 ep. 62 mins 74
The Search Space Podcast artwork

The Logic Programming podcast. About the history, future, and wider landscape of Logic Programming.

  Technology  Society & Culture
RSS feed Share
Copy RSS


Subscribe on Podcast Addict


#6 - Adam Smith on Answer Set Programming

Feb 14 2024 73 mins  
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.spaceShow notes| Torsten Schaub at Potsdam UniversitySeveral of his presentations contain the formulaASP = DB + LP + KR + SMT^nASP: Answer Set ProgrammingDB: DatabaseLP: Logic ProgrammingKR: Knowledge RepresentationSMT: SAT Modulo TheoriesSAT solve

#5 - Kevin Feeney on TerminusDb and the Semantic Web

Mar 20 2022 87 mins  
Kevin Feeney talks about different kinds of graph databases, the role of logic in the Semantic Web vision, the shortcomings the technologies created to fulfill that vision, and how TerminusDb, the database project Kevin co-founded, is seeking to finally make good on the promise of the Semantic Web.

#4 - Markus Triska on constraints and the power of Prolog

Jan 03 2021 65 mins  
Markus Triska talks about his work on Constraint Logic Programming packages, writing robust software, modern features of Prolog systems, and the future of logic programming.

#3 - Chris Martens on narrative generation

Aug 23 2020 60 mins  
Chris Martens talks about using linear logic programming to generate interactive narratives, and various ways to apply logic to games and digital arts.

#2 - Ryan Brush on retaking rules for developers

Jun 08 2020 49 mins  
Ryan Brush talks about Clara, a rules engine written in Clojure, and how to close the semantic gap between specification and implementation.

#1 - The Poet of Logic Programming

Apr 24 2020 95 mins  
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the language Prolog. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and connectionist AI including deep learning, why rule engines fail at logic, and the future of logic programming. Find show notes

Trailer

Mar 04 2020 5 mins  
Felix introduces the podcast and briefly explains what logic programming is.