Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi. Personalization, Verification and Conformance for Logic-based Communicating Agents. In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini, editors, WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop From Objects to Agents : Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy. pages 177-183, Pitagora Editrice Bologna, 2005. [doi]
Abstract is missing.