"Computational Logic in Multi-Agent Systems, 7 conf" - читать интересную книгу автора (Katsumi Inoue, Ken Satoh, Francesca Toni)