cs@parma CILC 2004
Convegno Italiano di Logica Computazionale
16-17 giugno 2004
Dipartimento di Matematica, Università di Parma
Via M. D'Azeglio 85/A, Parma
Home
Call for Papers
Comitato di programma
Comitato organizzatore
Date importanti

Atti del convegno
Programma
Relazione invitata
Relazioni presentate
Tutorial
Demo

Iscrizione al Convegno
Informazioni logistiche
Eventi collegati

Partecipanti al Convegno
Foto del Convegno

Tutorial



Stefania COSTANTINI, Università dell'Aquila
Answer set Programming

È disponibile il materiale relativo al tutorial.



Agostino DOVIER, Università di Udine
Il problema del Protein Folding
e i relativi approcci basati su programmazione con vincoli.

È disponibile il materiale relativo al tutorial, compresi i lucidi della presentazione.



Paolo TORRONI, DEIS Bologna
Introduzione ai sistemi multi-agente basati su logica computazionale.

Sommario: Negli ultimi anni c'è stata una notevole crescita di interesse verso un paradigma computazionale noto sotto il nome di 'sistemi multi-agente'. Esso è l'oggetto di studio di una nuova area di ricerca che riunisce ed integra certi aspetti dell'Intelligenza Artificiale con altri tipici dei Sistemi Distribuiti, con l'idea di sviluppare modelli e architetture per agenti intelligenti. Questo breve tutorial vuole essere un'introduzione ai sistemi multi-agente intelligenti, dal punto di vista dei modelli formali, e del ruolo importante che ha avuto e sta avendo la logica computazionale nell'affrontare problematiche di vario tipo, dalla rappresentazione della conoscenza ai meccanismi di ragionamento, dalla semantica delle interazioni tra gli agenti ai modelli operazionali.

Sono disponibili i lucidi della presentazione.


Pagina a cura di
Enea Zaffanella
[Pagina aggiornata il 21/06/2004, 14:23:26.]