Mario Wenzel on IMPLY
Logic Programming Education
Mario Wenzel on IMPLY
26:30
Jason Morris on Blawx for teaching logic and coding the law
Logic Programming Education
Jason Morris on Blawx for teaching logic and coding the law
1:16:14
Paul Tarau on a minimal logic for constructive next-token inference
Logic Programming Education
Paul Tarau on a minimal logic for constructive next-token inference
23:26
Francesca Toni on Computational Argumentation
Logic Programming Education
Francesca Toni on Computational Argumentation
1:00:44
Vinay K Chaudhri on A community-driven vision for a new knowledge resource for AI
Logic Programming Education
Vinay K Chaudhri on A community-driven vision for a new knowledge resource for AI
1:05:13
FOLL-E: Teaching First-OrderLogic by Simon Vandevelde
Logic Programming Education
FOLL-E: Teaching First-OrderLogic by Simon Vandevelde
54:16
A Discussion on Strategies for Teaching Logical Thinking (Part 3) with Verónica Dahl
Logic Programming Education
A Discussion on Strategies for Teaching Logical Thinking (Part 3) with Verónica Dahl
31:52
A Discussion on Strategies for Teaching Logical Thinking (Part 2)
Logic Programming Education
A Discussion on Strategies for Teaching Logical Thinking (Part 2)
1:05:26
A Discussion on Strategies for Teaching Logical Thinking (Part 1)
Logic Programming Education
A Discussion on Strategies for Teaching Logical Thinking (Part 1)
44:19
Alejandro J. García on Computational Argumentation with Defeasible Logic Programming (full meeting)
Logic Programming Education
Alejandro J. García on Computational Argumentation with Defeasible Logic Programming (full meeting)
1:06:44
David Poole on Knowledge Graphs and Relational Learning
Logic Programming Education
David Poole on Knowledge Graphs and Relational Learning
1:13:30
Magdalena Maglizhanova on Bulgarian IDEAS (Intelligent Data Educational Analysis System)
Logic Programming Education
Magdalena Maglizhanova on Bulgarian IDEAS (Intelligent Data Educational Analysis System)
12:41
Bob Kowalski on What is AI? (shorter version)
Logic Programming Education
Bob Kowalski on What is AI? (shorter version)
14:44
Bob Kowalski on What is AI?
Logic Programming Education
Bob Kowalski on What is AI?
16:44
Włodzimierz (Włodek) Drabent on Constructing provably correct (and complete) logic/Prolog programs
Logic Programming Education
Włodzimierz (Włodek) Drabent on Constructing provably correct (and complete) logic/Prolog programs
56:30
David S Warren on the Mathematics of Prolog
Logic Programming Education
David S Warren on the Mathematics of Prolog
51:49
Christian Jendreiko on Generative Logic, Teaching Prolog in Art & Design
Logic Programming Education
Christian Jendreiko on Generative Logic, Teaching Prolog in Art & Design
18:24
Bob Kowalski on Teaching Computing, Logic, Human Communication, and Problem Solving through Prolog
Logic Programming Education
Bob Kowalski on Teaching Computing, Logic, Human Communication, and Problem Solving through Prolog
38:10
Paul Tarau on DeepLLM: Casting Dialog Threads into LogicPrograms
Logic Programming Education
Paul Tarau on DeepLLM: Casting Dialog Threads into LogicPrograms
43:17
Veronica Dahl on Teaching Safety and Trustworthiness in AI through Prolog
Logic Programming Education
Veronica Dahl on Teaching Safety and Trustworthiness in AI through Prolog
48:05
Michael Genesereth on Teaching Logic Programming Stanford Style
Logic Programming Education
Michael Genesereth on Teaching Logic Programming Stanford Style
36:31
Manuel Hermenegildo on How to Best Teach Prolog
Logic Programming Education
Manuel Hermenegildo on How to Best Teach Prolog
25:25
Gopal Gupta on Teaching Prolog and Logic Programming
Logic Programming Education
Gopal Gupta on Teaching Prolog and Logic Programming
22:40
Bob Kowalski on Artificial Intelligence and Human Thinking
Logic Programming Education
Bob Kowalski on Artificial Intelligence and Human Thinking
55:16