3

I vincitori dei premi AI*IA 2005

5

Costruzione di mappe e ricomposizione di frammenti: due esempi dello stesso problema?
F. Amigoni

13

Ragionamento automatico per logiche modali e temporali quantificate
C. Castellini

22

Utilizzo della tecnologia degli agenti intelligenti nel contesto dell'e-Government
D. Ursino, D. De Benedetto, P De Meo, G. Quattrone

35

Nota del curatore: A. Oddi
Planning & scheduling: nuove proposte di algoritmi e scenari applicativi

36

Valutazione empirica di un algoritmo di ripianificazione per pianificatori basati su teoria delle decisioni
G. Boella, R. Damiano

44

PC-SHOP: un pianificatore gerarchico basato su pianificazione condizionale probabilistica
A. Bouguerra, L.Karlsson

51

Pianificazione automatica con variabili numeriche in LPG
A. Gerevini, A. Saetti, I. Serina

58

Generazione di piani ciclici con conoscenza incompleta e percezione
L. Iocchi, D. Nardi, R. Rosati

66

Pianificare con azioni e fluenti graduati
M. Cialdea, C. Limongelli, A. Orlandini, V. Poggioni

74

Tecniche di scheduling per il monitoraggio di attività domestiche
A. Cesta, G. Cortellessa, F. Pecora, R. Rasconi

82

La ventesima conferenza della American Association for Artificial Intelligence (AAAI-05)
P. Massa

83

Il nono congresso dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA 2005)
S. Manzoni

85

Workshop AI*IA 2005 su "Ambient Intelligence"
P. Remagnino, G.L. Foresti

86

Workshop AI*IA 2005 su "Cultural Heritage"
L. Bordoni

87

Workshop AI*IA 2005 su "Research Challenges in Speech and Natural Language Processing"
G. Riccardi, G. Satta

88

Workshop AI*IA 2005 su "Computational Knowledge meets Economics Analysis"
G. Frisoni

91

Giornata Italiana sul Calcolo Evoluzionistico (GSICE 2005)
S. Cagnoni, L. Vanneschi

93

Il primo simposio internazionale su "Brain, Vision and Artificial Intelligence"
F. Mele

95

Il sesto workshop internazionale su "Engineering Societies in the Agents' World" (ESAW 2005)
A. Molesini

96

Il decimo "Knowledge Management Forum" sulla gestione della conoscenza nelle organizzazioni
C. Sorge

98

Donna contro computer: sfida a scacchi fra campioni
V. Lupi

101

Strutture, logica, linguaggi
S. Ferilli