LOGIC AND STRATEGY OF DISTRIBUTED AGENTS
Trento, December 14-19

Thursday 10:00-12:00 a.m.

Introduction
Cristina Bicchieri
(Carnegie Mellon University)

Tutorial
Maria Luisa Dalla Chiara
(University of Florence)
Quantum Computation, Quantum Logic and
Epistemic Logic
 

LUNCH
 

Thursday 2:00-6:00 p.m.

Gianpiero Cattaneo
(University of Milan)
A Multi-Agent Based Simulation of Reaction - Diffusion Phenomena in Percolation Processes: the Case of  Coffee Cake

COFFEE BREAK

Corrado Bohm
(University of Rome 1)
Rewriting, Toward Bionic Software

Roger Young
(University of Dundee, Scotland)
Schizoid agents
 
 

Friday 10:00-12:00 a.m.

Tutorial
Giacomo Sillari
(Carnegie Mellon University)
Common Knowledge

LUNCH
 

Friday 2:00-6:00 p.m.

Aldo Antonelli
(University of California, Irvine)
A Logic for Common Knowledge
(joint work with R. Thomason)
COFFEE BREAK

Salvatore Modica
(University of Palermo)
The Unawareness Principle, priors and posteriors

Gerhard Jaeger
(University of Bern)
Some proof-theoretic approaches to common knowledge and the propositional modal
 mu-calculus
 
 

Saturday 10:00-12:00 a.m.

Tutorial
Pierpaolo Battigalli
(Universita` Bocconi, Milano)
Learning

LUNCH
 

Saturday 2:00-6:00 p.m.

Piotr Gymtrasievitch
(University of Texas, Austin)
Some Decision- and Game-theoretic Issues in Design of Socially Competent Agents

Piero La Mura
( Stanford University )
Simulated Annealing of Game Equilibria: A Simple Adaptive Procedure Leading to Nash Equilibrium
(joint work with Mark R.  Pearson)

COFFEE BREAK

Paolo Bouquet
(University of Trento)
Autonomous Agents: a Challenge for AI (and Philosophy)
 
 

Sunday

Free day

Monday 10:00-12:00 a.m.

Tutorial
Wilfried Sieg
(Carnegie Mellon University)
Computability
 

LUNCH
 
 
 

Monday 2:00-6:00 p.m.

Rohit Parikh
(CUNY, New York)
Belief Revision

Daniele Mundici
(University of Milan)
Coping with Lies: the First Fifty Years

COFFEE BREAK

John Mylopoulos
(University of Toronto)
Building Multi-Agent Systems: A Software Engineering Perspective
 

Tuesday 10:00-12:00 a.m.

Massimo Benerecetti
(University of Trento)
Formal modelling and validation of multi agent systems using model checking techniques

Round table

LUNCH
DEPARTURE OF PARTICIPANTS