Computational Logic in Multi-Agent Systems - Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh. (Springer, 2017)
309 p.