Book

Computational logic in multi-agent systems

by Katsumi Inoue, Ken Satoh, Francesca Toni