PROJECTS

Concluded
CoLogNet - European Network of Excellence in Computational Logic
1 Jan 2001 - 1 Jun 2005
João Leite, José Júlio Alferes, Luís Moniz Pereira, Carlos Viegas Damásio
Concluded
NetBe - Business to Business Software
1 Jan 2001 - 1 Dec 2001
Luís Moniz Pereira
Concluded
ILPnet2 - the Network of Excellence in Inductive Logic Programming
1 Jan 2001 - 1 Jan 2003
Luís Moniz Pereira
Concluded
TARDE - Tabulation And Reasoning in a Distributed Prolog Environment
1 Jan 2001 - 1 Jan 2004
João Leite, José Júlio Alferes, Carlos Viegas Damásio
Concluded
TRADAUT-PT - Automatic Translation System from and into Portuguese for Public Administration
20 Dec 2000 - 4 Apr 2003
Joaquim Ferreira da Silva, Gabriel Pereira Lopes, Gabriel Pereira Lopes, Alexandre Agustini, Tiago Ildefonso
Concluded
ANTS - Augmented Environments
1 Sep 2000 - 30 Sep 2003
Nuno Correia, Teresa Romão, A Eduardo Dias, Carlos Santos
Concluded
FAST - Formal Approach to Software Architecture
1 Jul 2000 - 1 Jun 2004
Luis Caires, Antónia Lopes, Miguel Wermelinger, Cristóvão Oliveira
Concluded
Rew - Rewriting and Algebraic Data Types
1 Mar 2000 - 1 Mar 2003
Luis Caires
Concluded
PROTEIN - Improving Constraint Solving to Predict Protein Structure
1 Jan 2000 - 1 Jan 2003
Pedro Barahona, Jorge Cruz, Ludwig Krippahl, Marco Correia
Concluded
ORLISINROC - ORLeães - Lisboa - INRIA-ROCquencourt
1 Jan 2000 - 1 Jan 2001
Gabriel Pereira Lopes
Concluded
MobiSnap - MobiSnap - Managing Database Snapshots on a Mobile Environment
1 Sep 1999 - 30 Sep 2004
José Legatheaux Martins, Henrique João Domingos, Sérgio Duarte, Nuno Preguiça
Concluded
- Analysis and Synthesis of sentences in Portuguese and French
1 Jan 1999 - 1 Jan 2001
Gabriel Pereira Lopes, Robert Pasero