WOA 2005: Camerino, MC, Italy

Full Text (PDF file)

• Stefania Costantini, Arianna Tocchio:
  Learning by Knowledge Exchange in Logical Agents. 1-8
  Electronic Edition (link) BibTeX
• Viviana Mascardi, Daniela Demergasso, Davide Ancona:
  Languages for Programming BDI-style Agents: an Overview. 9-15
  Electronic Edition (link) BibTeX
• Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi:
  An Ontology-Based Similarity between Sets of Concepts. 16-21
  Electronic Edition (link) BibTeX
• Paolo Bouquet, Gabriel M. Kuper, Stefano Zanobini:
  Asking and Answering Queries Semantically. 22-27
  Electronic Edition (link) BibTeX
• Antonella Di Stefano, Corrado Santoro:
  Building Semantic Agents in eXAT. 28-36
  Electronic Edition (link) BibTeX
• Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli:
  Integrating Ontologies in Mobile Agents. 37-45
  Electronic Edition (link) BibTeX
• Alberto Grosso, Antonio Boccalatte, Christian Vecchiola:
  Un'Infrastruttura per la Mobilità in AgentService. 46-53
  Electronic Edition (link) BibTeX
• Giuliano Armano, Giancarlo Cherchi, Andrea Manconi, Eloisa Vargiu:
  PACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System Architecture. 54-60
  Electronic Edition (link) BibTeX
• Giancarlo Cherchi, Andrea Manconi, Eloisa Vargiu, Dario Deledda:
  Text Categorization Using a Personalized, Adaptive, and Cooperative MultiAgent System. 61-65
  Electronic Edition (link) BibTeX
• Vito Morreale, Susanna Bonura, Fabio Centineo, Alessandro Rossi, Massimo Cossentino, Salvatore Gaglio:
  PRACTIONIST: Implementing PRACTIcal reasONIng sySTems. 66-74
  Electronic Edition (link) BibTeX
• Giancarlo Fortino, Alfredo Garro, Wilma Russo:
  A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems. 75-84
  Electronic Edition (link) BibTeX
• Luca Gardelli, Mirko Viroli, Andrea Omicini:
  On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS. 85-90
  Electronic Edition (link) BibTeX
• Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari:
  A Methodology for Crowd Modelling with Situated Cellular Agents. 91-98
  Electronic Edition (link) BibTeX
• Stefania Bandini, Sara Manzoni, Stefano Redaelli:
  Towards the Interpretation of Emergent Spatial Patterns through GO Game: the Case of Forest Population Dynamics. 99-103
  Electronic Edition (link) BibTeX
• Marco Mamei, Franco Zambonelli:
  Pervasive Pheromone-based Interaction with RFID Tags. 104-110
  Electronic Edition (link) BibTeX
• Federico Cabitza, Marco P. Locatelli, Marcello Sarini:
  CASMAS: An Agent-Based Support for Modulated Participation in Cooperative Applications. 111-119
  Electronic Edition (link) BibTeX
• Giuliano Armano, Pietro Baroni, Giancarlo Cherchi, Marco Colombetti, Alfonso Gerevini, Marco Mari, Agostino Poggi, Corrado Santoro, Emiliano Tramontana, Mario Verdicchio:
  ANEMONE - A Network of Multi-Agent Platforms for Academic Communities. 120-126
  Electronic Edition (link) BibTeX
• Pietro Baroni, Alfonso Gerevini, Paolo Toninelli:
  MAgentA: Un Sistema Multi Agente per la Gestione di Agende e Riunioni. 127-135
  Electronic Edition (link) BibTeX
• Giacomo Cabri, Luca Ferrari, Letizia Leonardi, Raffaele Quitadamo:
  Improving Aglets with Strong Agent Mobility through the IBM JikesRVM. 136-143
  Electronic Edition (link) BibTeX
• Federico Bergenti:
  Secure, Trusted and Privacy-aware Interactions in Large-Scale Multiagent Systems. 144-150
  Electronic Edition (link) BibTeX
• Volha Bryl, Paolo Giorgini, Stefano Fante:
  An Implemented Prototype of Bluetooth-based Multi-Agent System. 151-156
  Electronic Edition (link) BibTeX
• Davide Roggero, Fioravante Patrone, Viviana Mascardi:
  Designing and Implementing Electronic Auctions in a Multiagent System Environment. 157-163
  Electronic Edition (link) BibTeX
• Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
  Social roles, from agents back to objects. 164-170
  Electronic Edition (link) BibTeX
• Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani:
  A Temporal Approach to the Specification and Verification of Interaction Protocols. 171-176
  Electronic Edition (link) BibTeX
• Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi:
  Personalization, Verification and Conformance for Logic-based Communicating Agents. 177-183
  Electronic Edition (link) BibTeX
• Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari:
  Protocol Specification and Verification by Using Computational Logic. 184-192
  Electronic Edition (link) BibTeX