- Decision-theoretic planning: conformant, contingent, probabilistic, non deterministic, etc
- Knowledge compilation languages: DNNF, OBDD
- SAT and QBF solving
- Tractability (theoretical and empirical) of Planning, SAT and QBF
- Constraint Programming and CSPs
- Computational Social Choice