Artificial Intelligence: Methodology, Systems, and Applications - Christo Dichev, Gennady Agre (Springer, 2016)