UCLA Automated Reasoning Group Courses

Beyond Truth and Falsehood - Logic as a Calculus of Events in AI

Explore logic's evolving role in AI, from truth calculus to event calculus, enabling advancements in probabilistic reasoning, machine learning, and explainable AI systems.

• YouTube
• 57 minutes
• Self-Paced
• Free Video

Optimizing Causal Objective Functions - Algorithms and Complexity

Explore causal objective functions, their optimization, and algorithmic complexities. Delve into structural causal models, unit selection, and variable elimination techniques for associational queries.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video

Logic for Explainable AI - Tutorial

Explore a comprehensive theory of explainable AI using symbolic logic, covering necessary and sufficient conditions for decisions, minimal perturbations, and applications to various classifier types.

• YouTube
• 1 hour 55 minutes
• Self-Paced
• Free Video

Causality - Interventions and Counterfactuals

Dive into causal inference fundamentals, exploring interventions and counterfactuals with intuitive explanations and key results from Bayesian network theory.

• YouTube
• 3 hours 57 minutes
• Self-Paced
• Free Video

Automated Reasoning - Logic, Probabilistic Reasoning and Machine Learning

Explore Boolean logic, probabilistic reasoning, and machine learning through tractable circuits and knowledge compilation techniques for automated reasoning systems.

• YouTube
• 1 day 1 hour 51 minutes
• Self-Paced
• Free Video

Bayesian Networks - Selected Lectures

Discover probabilistic reasoning fundamentals through Bayesian networks, covering syntax, semantics, inference methods, parameter learning, and advanced causality concepts.

• YouTube
• 7 hours 32 minutes
• Self-Paced
• Free Video

Learning and Reasoning with Bayesian Networks

Master probabilistic reasoning and machine learning through comprehensive coverage of Bayesian networks, from basic probability theory to advanced inference algorithms and causal modeling.

• YouTube
• 22 hours 11 minutes
• Self-Paced
• Free Video