- REAP - Reasoning in Logic Programming
- Oct 1996 - Jan 2000
- Use of Logic Programming theory and implementational technology for reasoning tasks.
- FLAD - Fundação Luso-Americana para o Desenvolvimento
- National Science Foundation
- 1 Oct 1996
- 1 Jan 2000
- Luís Moniz Pereira [Coordinator]
- CENTRIA- FCT/UNL - Centro de Inteligência Artificial, FCT/UNL
- Stony Brook University
- 2 publications, and 1 visit in 2000.