Carlos Cares, Xavier Franch, Enric Mayol. Using Antimodels to Define Agents Strategy. In Katsumi Inoue, Ken Satoh, Francesca Toni, editors, Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Volume 4371 of Lecture Notes in Computer Science, pages 284-293, Springer, 2006. [doi]
Abstract is missing.