MNEMOSYNEv0.1.2563

Mnemosynev0.1.2563

Podcasts

Andrea Cirla (233 · 2 transcripts)
Angelicum (0)
Artesquieu (686 · 2 transcripts)
Collège de France (0)
Collège des Bernardins (25)
Elucid (168)
Fadi Akil (Untimely Thoughts) (7)
Gregory B. Sadler (0)
Hopliteia (81)
Intellectual Deep Web (1)
Interesting Times with Ross Douthat (11)
Lecture Sleep Club (0)
Les Financiers (0)
Lex Fridman Podcast (488)
Mets tes bottes ! (0)
Résonance[s] (12)
Rien ne veut rien dire (381 · 1 transcript)
Roger Scruton Lectures (0)
Sator (0)
Storiavoce (0)
Transmission (48 · 18 transcripts)

Browse

Full transcripts
Guests
Tags

Podcasts/Tags/higher-order logic

higher-order logic

Lex Fridman PodcastSep 15, 2021Lenat, DouglasDouglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI