The Automated Reasoning group at UCLA is directed by professor Adnan Darwiche. The group focuses on research in the areas of probabilistic and logical reasoning and their applications to problems in science and engineering disciplines. On the theoretical side, the research involves formulation of various tasks such as machine learning, diagnosis, belief revision, planning and verification as reasoning problems. On the practical side, the group focuses on the development of efficient and embeddable reasoning algorithms that can scale to real-world problems, and software environments that can be used to construct and validate large-scale models.
Jul 12, 2017
Read Adnan Darwiche's position paper "Human-Level Intelligence or Animal-Like Abilities?" about recent advances in AI  (more
Apr 24, 2017
Watch Adnan Darwiche's talk "On Model-Based versus Model-Blind Approaches to Artificial Intelligence" given at the Tenth Annual West Coast Experiments Conference, held at UCLA.  (more
Mar 29, 2017
Watch Adnan Darwiche's talk "Tractable Learning in Structured Probability Spaces" given at the Representation Learning Workshop, held at the Simons Institute.  (more
May 12, 2016
Knowledge compilation powers Toyota and Lexus configuration  (more
Nov 7, 2013
Version 1.1 of the SDD package has been released!  (more