The seminar will focus on most recent research papers
in automated reasoning. Each student will be engaged
in a research project and will be required to present his own
results as well as relevant papers to his research.
Students will also need to provide a final report for their research
project.
Some topics we will focus on are:
Sampling methods for Bayesian networks
Analysis of IBP's performance
Investigeting tree-width, cycle-cutsets, w-custets
Combinatorial auction
Planning: classical, MDPs, POMDPs
