Logic Courses
NPTEL-NOC IITM via YouTube Entailment and Proof in Artificial Intelligence - Lecture 2.5
NPTEL-NOC IITM via YouTube Abductive Inferences and Expectations - Lecture 1.2
NPTEL-NOC IITM via YouTube Logical Reasoning: Syllogism Logic, Truth and Validity - Lecture 12
NPTEL-NOC IITM via YouTube How Logic and Structure Can Be Used to Enhance Creativity
TEDx via YouTube OpenAI O1 Models: Chain of Thought Training Analysis
Chris Hay via YouTube Model-Based Reasoning in Neurosymbolic Programming for Science
Neurosymbolic Programming for Science via YouTube From Probabilistic Logics to Neuro-Symbolic Artificial Intelligence
RWTH Center for Artificial Intelligence via YouTube Reverse-Mathematical Reconsideration of Lower-Level Borel Games
BIMSA via YouTube Hard and Easy Constraint Problems - ICBS 2024
BIMSA via YouTube