|
| Course Title: | | CS 262A: Reasoning with Partial Beliefs | | Web-Site: | | http://www.cs.ucla.edu/~darwiche/cs262a/ | | Description: | | The focus of this course is on the theory and practice of knowledge representation and reasoning under uncertainty within the framework of probabilistic graphical models---with a major emphasis on Bayesian belief networks. | |
| Course Title: | | CS 264A: Automated Reasoning | | Web-Site: | | http://www.cs.ucla.edu/~darwiche/cs264a/ | | Description: | | The focus of this course is on the theory and practice of automated reasoning using propositional (Boolean) logic. |
|
|