"Computational Logic in Multi-Agent Systems, 8 conf" - читать интересную книгу автора (Fariba Sadri, Ken Satoh)