AGI-13 John Licato - On Deep Computational Formalization of Natural Language
How Well Can AI Language Models Actually Reason? - Dr. John Licato
John Licato, PhD: AI Peer Review
Making Your Job Easier with ChatGPT and Generative AI
AGI-13 Zhongzhi Shi - Computational Model of Memory in CAM
Solving a moral dilemma in PAGI World with DCEC
AGI-13 Summer School - Student Presentations 1
Ben Goertzel - Aspects of Artificial General Intelligence - AGI 13 Interview
AGI-13 FORMAL Magic Panel Discussion
AGI-13 Luigia Carlucci Aiello - Knowledgeable Talking Robots
AGI-13 Naoya Arakawa - Information Binding with Dynamic Associative Representations
AGI-13 Kristinn Thórisson - Reductio ad Absurdum
AGI-13 Ben Goertzel - Lojban++: An Interlingua for Communication Between Humans and AGIs
Formalization
Computational Thinking... Is it Just The Newest Buzz-word? Pt.5 (2nd Yr. Faculty 2013-14)
AGI-14 Selmer Bringsjord - Toward a Formalization of QA Problem Classes
AGI-14 Panel Discussion 3
RodDowney - Complexity, Computation and a bit of Fuzzy Logic
"Formalizing biological systems (and brains!): pushing the boundaries" with Johannes Jaeger
C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of n
