call for paper / txt
*************************************************************************
****** NUOVA SCADENZA PER LA SOTTOMISSIONE DEI LAVORI: 15 GIUGNO *******
*************************************************************************
* _____________________________________________________________________ *
[AI*IA] Associazione Italiana per l'Intelligenza Artificiale [AI*IA]
GRUPPI DI LAVORO
``RAPPRESENTAZIONE DELLA CONOSCENZA E RAGIONAMENTO AUTOMATICO''
``AGENTI E SISTEMI MULTIAGENTE''
* _____________________________________________________________________ *
AGENTI E VINCOLI
Richiesta invio contributi e invito alla partecipazione
http://www.dipmat.unipg.it/aiia04/WorkshopAV.htm
* _____________________________________________________________________ *
I gruppi di lavoro ``Rappresentazione della conoscenza e ragionamento
automatico'' e ``Agenti e sistemi multiagente'' dell'Associazione
Italiana per l'Intelligenza Artificiale (AI*IA) organizzano una giornata
di lavoro sul tema
AGENTI E VINCOLI
Modelli, tecnologie e metodi per dominare la complessita'
---------------------------------------------------------------------
DATA
17 settembre 2004
LUOGO
Perugia, in occasione del Nono Convegno dell'Associazione Italiana
per l'Intelligenza Artificiale (AI*IA 2004)
http://www.dipmat.unipg.it/aiia04/
SCOPO DELL'INCONTRO
La complessita' dei sistemi artificiali cresce a dismisura, mentre le
soluzioni teoriche e tecnologiche, sia dentro sia fuori dell'informatica
e della IA, stentano a tenere il passo, tanto in termini scientifici,
quanto (e forse piu') in termini ingegneristici.
Due tra gli approcci che con maggiore successo stanno proponendosi come
veicoli di modelli e tecnologie per costruire sistemi software complessi
sono quelli ad agenti e quelli a vincoli.
Da una parte, le tecnologie ad agenti forniscono strumenti concettuali e
pratici per modellare e costruire sistemi software sempre piu' articolati
e potenti, per esempio con astrazioni espressive come agenti, societa'
di agenti e ambiente, con le infrastrutture distribuite ad agenti, o con
l'emergere delle tecniche e metodologie dell'Agent-Oriented Software
Engineering.
Dall'altra, i linguaggi e le tecnologie a vincoli realizzano un concetto
di "invariante computazionale" che consente una rappresentazione
dichiarativa e compatta di generiche relazione tra entita' computazionali,
e rende possibili, tra le molte cose, la verifica formale di proprieta',
e la realizzazione di tecniche di propagazione, consistenza ed entailment.
I non troppo frequenti tentativi di trovare una sintesi tra le due aree
si sono fino a qui spesso arenati su visioni limitate delle potenzialita'
dei due approcci. Lo scopo del workshop e' pertanto quello di costruire
un ponte tra le diverse comunita' scientifiche che insistono intorno
ad agenti e vincoli, proponendo un forum dove i ricercatori e i tecnologi
possano trovare finalmente un'occasione di incontro stimolante e proficuo.
A tale scopo, nell'ambito di questo incontro si adotteranno come
riferimenti nozioni di agente e di vincolo le piu' ampie possibile,
proprio per assicurare la piu' larga partecipazione scientifica,
e promuovere un interscambio aperto e fertile.
I TEMI DI INTERESSE DEL WORKSHOP INCLUDONO, MA NON SONO LIMITATI, AI
SEGUENTI:
o Pianificazione e vincoli
o Tecniche di ragionamento con vincoli
o Architetture ad agenti e vincoli
o Vincoli sociali: infrastrutture e istituzioni elettroniche
o Regola, norma e legge nei MAS
o Modelli di coordinazione per MAS e invarianti di interazione
o Integrazione di sistemi a vincoli eterogenei
o Fondamenti teorici e modelli formali per agenti e vincoli
o Verifiche di proprieta' in MAS
o Integrazione di metodologie a vincoli e ad agenti
o Sistemi a vincoli distribuiti
o Linguaggi a vincoli per la comunicazione e la cooperazione fra agenti
o Linguaggi a vincoli per la rappresentazione della conoscenza
o Vincoli e invarianti per la negoziazione
o L'ambiente come sorgente di vincoli e invarianti per MAS
o Vincoli per la sicurezza e l'organizzazione dei MAS
o Fiducia e vincoli nei MAS
RIUNIONI DEI GRUPPI DI LAVORO
A latere del meeting, si terranno come di consueto le riunioni annuali
dei gruppi di lavoro. I coordinatori invitano tutti i membri dei gruppi
e gli interessati a partecipare attivamente.
COMITATO ORGANIZZATORE
Marco Cadoli, Universita' di Roma ``La Sapienza''
Michela Milano, Universita' degli Studi di Bologna
Andrea Omicini, Universita' degli Studi di Bologna a Cesena
COMITATO DI PROGRAMMA
Paolo Bouquet Universita' di Trento
Francesco Buccafurri Universita' Mediterranea di Reggio Calabria
Monique Calisti Whitestein Technologies Zurigo
Cristiano Castelfranchi Universita' di Siena
Stefania Costantini Universita' degli Studi dell'Aquila
Giorgio Delzanno Universita' di Genova
Agostino Dovier Universita' di Udine
Marco Gavanelli Universita' di Ferrara
Rino Falcone ISTC-CNR
Nicoletta Fornara Universita' della Svizzera Italiana
Viviana Mascardi Universita' di Genova
Rebecca Montanari Universita' di Bologna
Luigi Palopoli Universita' della Calabria
Maria Teresa Pazienza Universita' di Roma Tor Vergata
Paolo Petta Istituto Austriaco per l'Intelligenza Artificiale, Vienna
Agostino Poggi Universita' di Parma
Enrico Pontelli New Mexico State University
Alessandro Ricci Universita' di Bologna a Cesena
Giovanni Rimassa Whitestein Technologies Zurigo
Andrea Roli Universita' "G. D'Annunzio", Chieti
Francesca Rossi Universita' di Padova
Corrado Santoro Universita' di Catania
Giovanni Sartor CIRSFID, Universita' di Bologna
Andrea Schaerf Universita' di Udine
Carla Simone Universita' di Milano Bicocca
Mirko Viroli Universita' di Bologna a Cesena
Franco Zambonelli Universita' di Modena e Reggio Emilia
DATE IMPORTANTI
o Invio contributi: 15 giugno 2004
o Notifica accettazione: 5 luglio 2004
o Invio versione finale: 31 luglio 2004
o Giornata di lavoro: 17 settembre 2004
FORMATO E INVIO DEI CONTRIBUTI
Le persone interessate a presentare un lavoro possono inviare un
sommario esteso (tra le 1500 e le 2500 parole) in lingua inglese o
italiana, preferibilmente tramite posta elettronica e possibilmente
in formato PDF a uno dei coordinatori dei due gruppi di lavoro:
o Rappresentazione della conoscenza e ragionamento automatico
Marco Cadoli
Dipartimento di Informatica e Sistemistica,
Universita' di Roma ``La Sapienza''
Via Salaria, 113, 00198 ROMA
Tel: 06 49918326 - Fax: 06 85300849
E-mail: cadoli@dis.uniroma1.it
o Agenti e sistemi multiagente
Andrea Omicini
DEIS, Universita' degli Studi di Bologna,
via Venezia 52, 40023 CESENA
Tel: 0547 3 39220 - Fax: 0547 3 39219
E-mail: andrea.omicini@unibo.it
I lavori accettati verranno pubblicati a cura dell'AI*IA e devono essere
inviati in Latex o Word. Per i relativi formati si vedano il file di stile
Latex e MS Word disponibili sul sito del convegno:
http://www.dipmat.unipg.it/aiia04/aiia04/InvioLavori.htm
NUMERO SPECIALE SU "INTELLIGENZA ARTIFICIALE"
Come tradizione per il convegno AI*IA, gli organizzatori hanno preso
contatti e accordi con il Direttore Responsabile e il Comitato
Scientifico e di Redazione della rivista "Intelligenza Artificiale"
per una possibile pubblicazione di alcuni contributi selezionati
dal workshop come articoli di un numero speciale della rivista
dell'associazione, nella sua forma rinnovata e "potenziata".
http://ia.di.uniba.it/
INFORMAZIONI PIU' AGGIORNATE, fra cui il programma definitivo, saranno rese
pubbliche sulle pagina WWW del Gruppi di lavoro "Rappresentazione della
conoscenza e ragionamento automatico" e "Agenti e sistemi multiagente"
dell'AI*IA.
LINK SU WEB
- Home page del Nono Convegno dell'Associazione Italiana per
l'Intelligenza Artificiale
http://www.dipmat.unipg.it/aiia04/
- GdL "Agenti e sistemi multiagente"
http://mas-aiia.ingce.unibo.it/
- GdL "Rappresentazione della conoscenza e ragionamento automatico"
http://www.dis.uniroma1.it/~rcra
* ________________________________________________________________________ *
