Stop the war!
Остановите войну!
for scientists:
default search action
WOA 2005: Camerino, MC, Italy
- Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini:
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. Pitagora Editrice Bologna 2005, ISBN 88-371-1590-3
Full Text (PDF file)
- Stefania Costantini, Arianna Tocchio:
Learning by Knowledge Exchange in Logical Agents. 1-8 - Viviana Mascardi, Daniela Demergasso, Davide Ancona:
Languages for Programming BDI-style Agents: an Overview. 9-15 - Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi:
An Ontology-Based Similarity between Sets of Concepts. 16-21 - Paolo Bouquet, Gabriel M. Kuper, Stefano Zanobini:
Asking and Answering Queries Semantically. 22-27 - Antonella Di Stefano, Corrado Santoro:
Building Semantic Agents in eXAT. 28-36 - Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli:
Integrating Ontologies in Mobile Agents. 37-45 - Alberto Grosso, Antonio Boccalatte, Christian Vecchiola:
Un'Infrastruttura per la Mobilità in AgentService. 46-53 - Giuliano Armano, Giancarlo Cherchi, Andrea Manconi, Eloisa Vargiu:
PACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System Architecture. 54-60 - Giancarlo Cherchi, Andrea Manconi, Eloisa Vargiu, Dario Deledda:
Text Categorization Using a Personalized, Adaptive, and Cooperative MultiAgent System. 61-65 - Vito Morreale, Susanna Bonura, Fabio Centineo, Alessandro Rossi, Massimo Cossentino, Salvatore Gaglio:
PRACTIONIST: Implementing PRACTIcal reasONIng sySTems. 66-74 - Giancarlo Fortino, Alfredo Garro, Wilma Russo:
A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems. 75-84 - 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 - Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari:
A Methodology for Crowd Modelling with Situated Cellular Agents. 91-98 - Stefania Bandini, Sara Manzoni, Stefano Redaelli:
Towards the Interpretation of Emergent Spatial Patterns through GO Game: the Case of Forest Population Dynamics. 99-103 - Marco Mamei, Franco Zambonelli:
Pervasive Pheromone-based Interaction with RFID Tags. 104-110 - Federico Cabitza, Marco P. Locatelli, Marcello Sarini:
CASMAS: An Agent-Based Support for Modulated Participation in Cooperative Applications. 111-119 - 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 - Pietro Baroni, Alfonso Gerevini, Paolo Toninelli:
MAgentA: Un Sistema Multi Agente per la Gestione di Agende e Riunioni. 127-135 - Giacomo Cabri, Luca Ferrari, Letizia Leonardi, Raffaele Quitadamo:
Improving Aglets with Strong Agent Mobility through the IBM JikesRVM. 136-143 - Federico Bergenti:
Secure, Trusted and Privacy-aware Interactions in Large-Scale Multiagent Systems. 144-150 - Volha Bryl, Paolo Giorgini, Stefano Fante:
An Implemented Prototype of Bluetooth-based Multi-Agent System. 151-156 - Davide Roggero, Fioravante Patrone, Viviana Mascardi:
Designing and Implementing Electronic Auctions in a Multiagent System Environment. 157-163 - Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Social roles, from agents back to objects. 164-170 - Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani:
A Temporal Approach to the Specification and Verification of Interaction Protocols. 171-176 - 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 - Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari:
Protocol Specification and Verification by Using Computational Logic. 184-192
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.