Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

PROCURE - Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications

Project information

The project addresses the problem of uncertainty reasoning with mathematical models involving nonlinear constraints over continuous variables. It extends previous work on a new technology that combines probability reasoning with constraint programming and use it in science and engineering applications. With the participation of experts from physics and electronic engineering, the project focus on ocean color remote sensing and robotics localization.

Ongoing since May 1st 2013, concludes in October 31 2015.


Participating entities: LINA - Laboratoire d\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'Informatique de Nantes Atlantique, Holos SA..

Principal researcher: Alexandre Goldsztejn.

Researchers: Laurent Granvillier, Pedro Sousa.


Funding entity: Fundação Ciência e Tecnologia (MCTES).

Reference: PTDC/EEI-CTP/1403/2012

Funding: 137740.


Principal researcher: Jorge Cruz.

Researchers: Pedro Barahona, Davide D'Alimonte, Marco Correia, Elsa Carvalho.

Funding: 137740.

Other information

Project website

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541