Debugging Systems for Constraint Programming

Results and Achievements
The project has defined, implemented and assessed novel and effective debugging systems for Constraint Programming:
- novel techniques of high level debugging,
- integration of these novel techniques into industrial CP platforms,
- assessment of these techniques in industrial applications.

Partners:

Academic partners

- INRIA (Institut National de Recherche en Informatique et en Automatique), LOCO research team
- University of Bristol, Great Britain, Department of Computer Science
- Linköping University, Sweden; Department of the Computer and Information Science, Laboratory for Logic Programming
- Technical University of Madrid (UPM), Department of Artificial Intelligence in the School of Computer Science:

Industrial partners
- OM Partners, Belgium
- COSYTEC, France
- ICON s.r.l., Italy
- PrologIA, France

Duration:
1 October 1996 - 3 June 1999

ERCIM's role:
associated contractor

Total budget:
2 206 000 Euro

Funding Agencies:
European Commission, Telematics Programme: 1 205 000 Euro

Digital Libraries Thematic Network

Abstract:
The aim of the Network of Excellence on Digital Libraries (DLs) is to provide an open context in which an international research agenda for future research activities in the digital library domain can be developed and continuously updated. It will constitute a reference point for all DL projects funded by the 5th FP-IST, stimulating the exchange of experience and know-how in this multidisciplinary domain, and will also establish close contacts with relevant application communities. It will make testbeds available, facilitate their interoperability, and provide mechanisms for the evaluation of models, techniques, approaches, and the exchange of open-source software components. It will contribute to the definition of relevant standards. Appropriate take-up models will be studied to facilitate the exploitation of the new DL technologies in the industrial/commercial environment. A network of links with the international DL research community will be created.

Partners:
CNR-IEI, CWI, FORTH, GMD, INRIA, SICS, Swiss Federal Institute of Technology ETH, Norwegian University of Science and Technology, SZTAKI, Technical University of Crete, University of Athens, University of Dortmund, FORWISS - Bavarian Research Centre for Knowledge-Based Systems, Politecnico di Milano, Austrian Academy of Sciences, University of Mannheim, InformationsZenttrum Sozialwissenschaften Bonn, Eurospider Information Technology (Switzerland), Springer Verlag GmbH&Co. KG (Germany), Elsevier Science (The Netherlands), Istituto Centrale per il Catalogo Unico delle Biblioteche Italiane e per le
Informazioni Bibliografiche (Italy), Biblioteca Nacional (Italy), Ministero per i Beni e le Attività Culturali (Italy), Arts and Humanities Data Service (United Kingdom), INTRACOM (Belgium), British Broadcasting Corporation - Information and Archives, Institute for Problems of Informatics of the Russian Academy of Science

Duration:
1 January 2000 - 31 December 2002

ERCIM's role:
Project co-ordinator

Total budget:
950 000 Euros

Funding Agencies:
European Commission, IST Programme: 950 000 Euro

Development of an earth observation data converter with application to air quality forecasting

Abstract:
The aim of the DECAIR project is to provide companies in charge of forecasting urban air pollution with good quality data derived from Earth Observation (EO) devices, in order to improve the results of existing air quality models. Satellite data will be delivered to a pre-operational demonstrator, the DECAIR prototype (also called DECAIR demonstrator in this document), feeding two regional air quality models, running in BERLIN and MADRID, with EO-derived input data. This prototype will not be an operational air quality forecast system, but it aims at specifying how such a system should be designed. The DECAIR demonstrator will concentrate on a restricted set of input data; it will use existing air quality models and no new model will be developed; the models will be adapted and integrated to the demonstrator, and specified to work with satellite data; the necessary architecture and data management will be addressed. It will be flexible enough to take into account future developments of the system - theses are not addressed during the project but are rather subjects of a future one. Such developments would include a larger set of input data, the adaptation of an air quality model to new sites, detection and handling of rapid changes of meteorological conditions, and potential applications to other environmental domains not restricted to air quality.

Partners:
GMD, INRIA, UPM (Spain), CLRC, BULL-SA (France), SICE (Spain), FORTH - CSI

Duration:
1 June 1999 - 31 May 2002

ERCIM's role:
Project co-ordinator

Total budget:
1 880 000 Euro

Funding Agencies:
European Commission, Centre for Earth Observation Programme: 940 000 Euro

Supporting Community-Webs

Abstract:
A feasability study for C-WEB, a project that aims at designing a generic platform based on open standards to support community-webs. Typical target applications are semantic portals and corporate memory systems.

Partners:
EDW International SRL (Italy), ERCIM

Duration:
1 January 2000 - 31 December 2000

ERCIM's role:
Project co-ordinator

Total budget:
342 401 Euro

Funding Agencies:
European Commission, IST Programme: 171 200 Euro