Logic Programming Education
A channel to display presentations and videos produced within the Logic Programming and Prolog Education Initiative
Vinay K Chaudhri on A community-driven vision for a new knowledge resource for AI
FOLL-E: Teaching First-OrderLogic by Simon Vandevelde
A Discussion on Strategies for Teaching Logical Thinking (Part 3) with Verónica Dahl
A Discussion on Strategies for Teaching Logical Thinking (Part 2)
A Discussion on Strategies for Teaching Logical Thinking (Part 1)
Alejandro J. García on Computational Argumentation with Defeasible Logic Programming (full meeting)
David Poole on Knowledge Graphs and Relational Learning
Magdalena Maglizhanova on Bulgarian IDEAS (Intelligent Data Educational Analysis System)
Bob Kowalski on What is AI? (shorter version)
Bob Kowalski on What is AI?
Włodzimierz (Włodek) Drabent on Constructing provably correct (and complete) logic/Prolog programs
David S Warren on the Mathematics of Prolog
Christian Jendreiko on Generative Logic, Teaching Prolog in Art & Design
Bob Kowalski on Teaching Computing, Logic, Human Communication, and Problem Solving through Prolog
Paul Tarau on DeepLLM: Casting Dialog Threads into LogicPrograms
Veronica Dahl on Teaching Safety and Trustworthiness in AI through Prolog
Michael Genesereth on Teaching Logic Programming Stanford Style
Manuel Hermenegildo on How to Best Teach Prolog
Gopal Gupta on Teaching Prolog and Logic Programming
Bob Kowalski on Artificial Intelligence and Human Thinking