RtP           AgroCal       PROCURE     ATTEST    CHRBio     PRECISE   
PRACTIC   PROTEINA   PROLOPPE   DOMLOG   RHESMA   IADM


RtP: Restrict to Plan
Funding: QREN/Compete)
Reference: 34091
Duration: 2013-2015
Partners: TECMIC and FCT/UNL - CENTRIA (Centre of Artificial Intelligence).
Role: Responsible for CENTRIA
Objectives:
To provide a new planning tool for the sector of public bus transport services, fully automated and that can combine both in the planning as well as in the operational phase, information about services, vehicles and the scheduling of drivers.
The new tool, based on constraint programming, should allow a flexible modelling of the problem, accommodating the various restrictions in a global model, and its reformulation in the presence of exceptional events, allowing to properly use these constraints during execution to efficiently explore the possibilities open, and support informed decisions to be taken by system managers..


AgroCAl: Agriculture Calendars
Funding: QREN (Vale Inovação)
Reference: ALENT-07-0401-FEDER-031590
Duration: 2013-2014
Partners: FCT/UNL - CENTRIA (Centre of Artificial Intelligence) under subcontract from Borrego, Leonor & Irmão (BLI).
Role: Responsible for the project.
Objectives:
The project aims to implement an intelligent system for scheduling field visits by the technicians of the promoting company, minimising the time and travel costs, while ensuring the visit of agricultural parcels of their client at the right time. The system will have a central component of monthly planning of visits and a mobile system Android smartphone component to monitoring and re-planning the daily visits.


PROCURE
Funding: FCT/PTDC
Reference: PTDC/EEI-CTP/1403/2012
Duration: 2013-2015
Partners: FCT/UNL - CENTRIA (Centre of Artificial Intelligence), LINA - Laboratoire d'Informatique de Nantes Atlantique, Holos SA.
Role: Member
Objectives:
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 localisation.
more info at webpage


ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems
Funding: FCT/PTDC
Reference: PTDC/EEI-CTP/1403/2012
Duration: 2010-2012
Partners: INESC Id, FCT/UNL - CENTRIA (Centre of Artificial Intelligence), Carnegir Mellon University and Caixa Mágica.
Role: Responsible for CENTRIA
Objectives:
The ATTEST project is organised in three main themes, all related with the development of certified tools for software verification. The first theme consists of extending existing work in the area of decision procedures for software verification. One aspect is the development of decision procedures capable of producing certificates to validate the correctness of the computed result. The second theme consists of developing certified decision procedures, i.e. decision procedures that produce outputs which are formally proved to be correct. The third and final theme is the development of a software model checker that uses certified decision procedures, thus formally proving the correctness of the outputs.


CHRBio: Constraint- and Hypothetical-based Reasoning for Bioinformatics
Funding: CRUP (Portugal)
Reference: E-72/09
Duration: 2010-2011
Partners: FCT/UNL - CENTRIA (Centre of Artificial Intelligence) and Universidad de Rovira i Virgili (Tarragona/Spain)
Role: Principal Investigator from CENTRIA
Objectives:
The goal of this project is to enrich the quality of the research in both groups through collaborating.
On the one hand the UNL group has a long experience working with constraint programming in bioinformatics, namely on structural bioinformatics where constraint technology has been applied both for determining the structure of proteins as well as for efficient protein docking. The URV team has done extensive research on logic based language processing incorporating constraint technology via CHR in their systems, and applied it successfully to bioinformatics, namely in genomics (RNA and DNA processing).
In this context, the groups should be able to exploit the synergy between their computing techniques, as well as the bioinformatics areas they have covered so far, and provide both new applications for the techniques, motivating their development, and new insights into how to solve a wide range of bioinformatics problems.


PRECISE – Probabilistic Reasoning on Constraints in Science and Engineering
Funding: FCT - POSI
Reference: POSI/EIA/59786/2004
Duration: 2005-2008
Partners: FCT/UNL - CENTRIA (Centre of Artificial Intelligence)
Role: Principal Investigator
Objectives:
The project aimed at a) investigating possible ways of introducing probabilities (or mere likelihoods) in the continuous constraint framework, b) developing extensions to our previous work in constraint propagation techniques in continuous constraints to address this extended framework, and c) evaluating and validating this research, in a number of applications, namely in biomedical applications, but other applications will be sought (e.g. engineering).


PRACTIC - Processing and Reuse of Advanced Computational Techniques to Improve Constraint Solving
Funding: FCT - POSI
Reference: POSI/SRI/4196/2001
Duration: 2004-2007
Partners: FCT/UNL - CENTRIA (Centre of Artificial Intelligence) and INESC Id
Role: Principal Investigator
Objectives:
The project aims to compare and improve the resolution of restrictions in discrete domains. For this purpose, the techniques used either in finite domains (CP) and in Boolean satisfaction (SAT) to overcome the difficulties with backtracking will be compared and studied, namely the integration with local search, randomness in heuristics and restarts, and learning. The study of common problems may lead to migration techniques between resolvers and eventually to their hybridisation.


PROTEÍNAS - Application of Constraint Programming for the Determination of Protein Structure
Funding: FCT - POSI
Reference: POSI/1999/SRI/33794
Duration: 2000-2004
Partners: FCT/UNL - CENTRIA (Centre of Artificial Intelligence)
Role: Principal Investigator
Objectives:
The project aims to develop advanced computational techniques, focused on constraint programming, and show that integrating this with other techniques such as machine learning and optimisation with meta-heuristics can be used to address a very important problem: the determination of protein structure by Nuclear Magnetic Resonance Spectroscopy (NMR).


PROLOPPE - Parallel Logic Programming with Extensions
Funding: PRAXIS (JNICT)
Reference: Praxis/3/3.1/TIT/24/94
Duration: 1993 - 1997
Partners: FCT/UNL (Dep. de Informática and CITIA), Univ of Porto (LIACC) and Servisoft, Porto
Role: Coordinator of Constraint Programming
Objectives:
Development of logic programming extensions, including parallel execution models, non monotonic extensions and their semantics and constraint solving, and its subsequent integration into a homogeneous system.


DOMLOG - Logic Programming with Constraints: Theory and Applications
Funding: JNICT(PMCT)
Reference: PBIC/C/TIT/1242/92
Duration: 1992 - 1996
Partners: CRIA (Centre of Artificial Intelligence) of UNINOVA
Role: Principal Investigator
Objectives:
To extend the capabilities of programming languages in logic with constraints, to increase their declarativity, expressive power, and efficiency, as well as to demonstrate its relevance in addressing realistic problems.


RHESMA: Raciocínio Hipotético em Sistemas Multi-Agente:Aplicação à Medicina
Funding: JNICT(PMCT)
Reference: PMCT/C/TIT/861/90
Duration: 1990 - 1992
Partners: CRIA (Centre of Artificial Intelligence) of UNINOVA
Role: Principal Investigator
Objectives:
Development of a methodology for the representation of deep medical knowledge (e.g. anatomical, physiological) and reasoning (associative, causal, temporal, etc.) to allow the exploration of more advanced thinking in various medical tasks, including diagnosis and treatment.


IADM - Application of Artificial Intelligence to Medical Diagosis
Funding: JNICT
Reference: 87/428 MIC
Duration: 1988-1990
Partners: CRIA (Centre of Artificial Intelligence) of UNINOVA
Role: Main AI Investigator
Objectives:
Development of a software tool to ease the implementation of Expert Systems for Supporting Medical Diagnosis and to research extensions to the representation of medical knowledge already included.