Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone. -Tropos. In Fariba Sadri, Ken Satoh, editors, Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Volume 5056 of Lecture Notes in Computer Science, pages 157-176, Springer, 2007. [doi]
Abstract is missing.