Number	Topic	Student
1	Extension of lock resolution using craig's interpolation theorem
2	Hybrid reasoning with logic and probabilities via partitioning (requires knowledge of FOPL, at least Halpern's work)
3	Logical filtering with a first-order language
4	Logical filtering with BDDs
5	Activity detection using filtering (any method)
6	SLAM2.0 improved and applied to a robotic arm
7	Combining logical filtering and stochastic filtering
8	Survey propagation for dynamic settings (e.g., planning via SAT)
9	Approximation algorithm for hyper-treewidth
10	Implementation of an algorithm for planar treewidth
11	TAKEN (replaced soon)
12	Labeling image segments with words (using a probabilistic graphical model)
13	Implementation of Message-Passing as a restriction strategy for reasoning in FOL
14	Playing Kriegspiel
15	Equational reasoning in first-order probabilistic models
16	First-Order DPLL with equality
17	LSA-like robot control architecture with probabilities
18	Learning action models via filtering
19	MCMC for image segmentation
20	Robot localization for a basketball game
21	Control of a robotic arm via dynamic programming
22	TAKEN (replaced soon)
23	TAKEN (replaced soon)
24	Orienting polygonal parts using filtering
25	Resolution on reconfigurable hardware