CPS 270: Artificial Intelligence First-Order Logic Instructor: Vincent Conitzer.
Bayesian games and their use in auctions Adapted from notes by Vincent Conitzer.
CPS 570: Artificial Intelligence Introduction Instructor: Vincent Conitzer.
CPS 570: Artificial Intelligence Planning Instructor: Vincent Conitzer.
CPS 270: Artificial Intelligence Markov processes and Hidden Markov Models (HMMs) Instructor: Vincent Conitzer.
New Results on Computing in Games Tuomas Sandholm Carnegie Mellon University Computer Science Department Joint work with Vincent Conitzer.