Automated Reasoning: Theory and Applications

Lecture, four hours; discussion, two hours; outside study, six hours. Requisite: course 161. Introduction to theory and practice of automated reasoning using propositional and first-order logic. Topics include syntax and semantics of formal logic; algorithms for logical reasoning, including satisfiability and entailment; syntactic and semantic restrictions on knowledge bases; effect of these restrictions on expressiveness, compactness, and computational tractability; applications of automated reasoning to diagnosis, planning, design, formal verification, and reliability analysis. Letter grading.

Review Summary

Clarity
N/A
Organization
N/A
Time
N/A
Overall
N/A

Enrollment Progress

Jul 13, 4 PM PDT
LEC 1: 64/70 seats taken (Waitlist)
LEC 91: 11/15 seats taken (Waitlist)
First passPriority passSecond pass2 days5 days8 days11 days14 days17 days20 days23 days26 days020406080

Section List

  • LEC 1

    Open (22 seats)

    MW 12pm-1:50pm

    Dodd Hall 175

  • LEC 91

    Open (3 seats)

    MW 12pm-1:50pm

    Dodd Hall 175

Course

Instructor
Adnan Darwiche
Previously taught
24F 23F 22F 21F 16S 14S 13S 12S 08F 06F 04F 03F 02F

Previous Grades

Grade distributions not available.