Statistical Relational Artificial Intelligence: From Distributions through Actions to Optimization
Artificial Intelligence: From programs to solvers