The Search Space

Felix Holmgren
The Search Space

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

Episodes

  1. FEB 15

    #6 - Adam Smith on Answer Set Programming

    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 ProgrammingDB: DatabaseLP: Logic ProgrammingKR: Knowledge RepresentationSMT: SAT Modulo Theories SAT solver: Boolean Satisfiability | this refraction game that I had made a puzzle generator for Described in Adam's dissertation. | the Potassco tools from University of Potsdam. potassco.org | A book called Procedural Content Generation in Games www.pcgbook.com | There's this idea due to Kate Compton ... of the 10 000 bowls of oatmeal problem http://www.galaxykate.com/blog/generator.html | We modeled a design space of information visualizations, line plots and scatter plots and bar charts "Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco"| a Python library called Clorm .. so that you can define your problem instances with Python objects github.com/potassco/clorm | the concept of elaboration tolerance that when someone gives you some clarification about how your domain works, can you incorporate that change by just adding more code to add more choices or more constraints? John McCarthy's paper on elaboration tolerance | a paper from Google DeepMind ... describing a system called the Apperception Engine "Making sense of sensory input", Evans et al | taught a class called Applied ASP a few years ago Lecture slides, programming assignments, reading assignments here: canvas.ucsc.edu/courses/1338 | Once you want to write a program that's more than 30 lines long, how do you profile it? How do you test it? How do you deploy it? Slides from a talk about Adam's test automation framework: Unit Test Automation for ASP with Ansunit Try ASP from your browser: https://potassco.org/clingo/run/ ★ Support this podcast ★

    1h 13m

  2. 03/20/2022

    #5 - Kevin Feeney on TerminusDb and the Semantic Web

    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.

    1h 27m

  3. 01/04/2021

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

    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.

    1h 6m

  4. 08/23/2020

    #3 - Chris Martens on narrative generation

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

    1h 1m

  5. 06/08/2020

    #2 - Ryan Brush on retaking rules for developers

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

    49 min
  6. #1 - The Poet of Logic Programming

    04/24/2020

    #1 - The Poet of Logic Programming

    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 and more on thesearch.space, and follow the show on Twitter: @searchspacepod

    1h 36m

  7. 03/04/2020

    Trailer

    Felix introduces the podcast and briefly explains what logic programming is.

    6 min

Trailer

Ratings & Reviews

5
out of 5
2 Ratings

About

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

Information

  • Creator
    Felix Holmgren
  • Years Active
    2020 - 2024
  • Episodes
    7
  • Rating
    Clean
  • Copyright
    © Holmgren Interstellar, 2020
  • Show Website
    The Search Space

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes, and get the latest updates.
Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada