MIUR-FIRB ASTRO: Knowledge Level Software Engineering. This project was funded by the MIUR, through a FIRB under contract RBNE0195K5.
WASP: Working Group on Answer Set Programming. This project was funded by the European Union Commission, through a FET ("Forward Emerging Technologies") initiative under contract IST-FET-2001-37004. (Start: 15.9.2002;End: 15.3.2005)