Research Projects
List of projects I am/was involved in, either as PI or as researcher.
Current
Past (partial list)
- SIBILA - Towards Smart Interacting Blocks that Improve
Learned Advice. (PI) (ON2/NORTE-07-0124-FEDER-000059)
- RTPm - A P2P Middleware Platform for QoS and Soft Real-Time
Computing. (PI)
- LEAP - Logic
Environments with Advanced Parallelism
Contract:
PTDC/EIA-CCO/112158/2009. Dates: 3/2011 - 2/2014. (Researcher)
- HORUS - Horn Representations of Uncertain
Systems
Contract: PTDC/EIA-EIA/100897/2008. Dates: 1/2010 -
12/2012. (Researcher)
- STAMPA - Sophisticated
TAbling Mechanisms for Prolog and their Applications.
Contract:
PTDC/EIA/67738/2006. Dates: 01/2008 - 12/2010. (Researcher)
- APRIL:
Applications using Parallelism in Induction and Logic.
Contract: POSI/SRI/40749/2001. Dates: 01/2002 - 01/2005. (PI)
- DiCoMo:
Concurrency, Distribution and Mobility.
Contract: PRAXIS/P/EEI/12059/1998. Dates: 7/1998 - 6/2001. (PI at LIACC)
- Dolphin: a High-Performance Parallel Computing Environment. (PI)
- MELODIA: An Advanced Model for the Execution of Logic
Programs.
Contract: JNICT/PBIC/C/TIT/2495/95. Dates: 1996/99. (Researcher).
- PROLOPPE: Parallel Logic Programming with Extensions.
Contract: PRAXIS/3/3.1/TIT/24/94. Dates: 1995/98. (Researcher).