Documents Instructor: Vincent Conitzer

CPS 170: Artificial Intelligence http://www.cs.duke.edu/courses/spring09/cps170/ Propositional Logic Instructor: Vincent Conitzer Logic and AI Would like our AI to have knowledge…

Documents CPS 270: Artificial Intelligence cs.duke/courses/fall08/cps270/ Logic

CPS 270: Artificial Intelligence http://www.cs.duke.edu/courses/fall08/cps270/ Logic Instructor: Vincent Conitzer Logic and AI Would like our AI to have knowledge about the…