Laboratory of Artificial Intelligence for the Diagnosis of Complex Systems www.mind-lab.it
	Systems and Technologies for Automated Reasoning www.star.dist.unige.it www.star-lab.it
Enrico Giunchiglia DIST, Università di Genova
Massimo Narizzano DIST, Università di Genova
Luca Pulina DIST, Università di Genova
Armando Tacchella DIST, Università di Genova