"Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings (Lecture Notes ... Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga)