EPISODE · Apr 5, 2025 · 52 MIN
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker
from Boston Computation Club · host Max von Hippel
Today Marc Denecker joined us to present How and Why to extend First Order Logic for Knowledge-Based Systems. This presentation provided the setup for a follow-on that Marc's student Simon Vandevelde is set to give on IDP-Z3, a formal reasoning machine that Marc and Simon have built. This was a really interesting talk touching on a variety of forms for formal logic, decision procedures, and industrial use-cases thereof, potentially with profound implications for the future and realizability of so-called AGI.
NOW PLAYING
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker
No transcript for this episode yet
Similar Episodes
May 12, 2026 ·99m
May 9, 2026 ·8m
May 8, 2026 ·68m