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.
See the CACM article "Human-level intelligence or animal-like abilities?" here and its video here.  (more
Version 2.0 of the SDD package has been released!   (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