Article thumbnail

6th Joint Workshop AI*IA/TABOO "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005)

By Corradini Flavio, De Paoli Flavio, Merelli Emanuela and Omicini Andrea

Abstract

WOA 2005 dagli Oggetti agli Agenti Simulazione e Analisi Formale di Sistemi Complessi Dipartimento di Matematica e Informatica Università di Camerino Camerino, 14-16 Novembre 2005 URL: http://woa05.cs. unicam.it, email:woa05@unicam.it Il Gruppo di lavoro "Sistemi ad Agente e Multiagente" dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e l'Associazione Italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti (TABOO) in collaborazione con il Dipartimento di Matematica e Informatica dell'Università degli Studi di Camerino, gruppo di lavoro "Ingegneria dei Sistemi Software Complessi", organizzano un workshop sul tema Simulazione e Analisi Formale dei Sistemi Complessi che si terrà a Camerino dal 14 al 16 novembre 2005. Scopo Le tecnologie degli agenti stanno assumendo un ruolo centrale non solo nel settore dell'intelligenza artificiale, ma anche in settori più tradizionali dell'informatica quali l'ingegneria del software e i linguaggi di programmazione, dove il concetto di agente viene considerato una naturale estensione di quello di oggetto. L'importanza di queste tecniche è dimostrata anche in ambito industriale dall'interesse per il loro utilizzo nella realizzazione di strumenti e applicazioni in molteplici aree. L'evento di quest'anno è dedicato a "Simulazione e Analisi Formale di Sistemi Complessi". Comitato Scientifico Organizzatore Flavio Corradini (U. Camerino) Flavio De Paoli (U. Milano - Bicocca) Emanuela Merelli (U. Camerino) Andrea Omicini (U. Bologna - Cesena

Year: 2005
OAI identifier: oai:cris.unibo.it:11585/17978
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/11585/17... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles