Principal Investigator in Research Projects
LEAPLogic Environments with Advanced Parallelism, PTDC/EIA-CCO/112158/2009, between 2011 and 2014.
STAMPA
Sophisticated Tabling Mechanisms for Prolog and their Applications,
PTDC/EIA/67738/2006, between 2008 and 2011.
Team Member in Research Projects
ELVENExpressive Logics for VErifying the Net, POCI-01-0145-FEDER-016844, between 2016 and 2019.
NanoSTIMA
Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health
Monitoring and Analytics, NORTE-01-0145-FEDER-000016, between 2015 and
2018.
SIBILA
Towards Smart Interacting Blocks that Improve Learned Advice,
NORTE-07-0124-FEDER-000059, between 2013 and 2015.
DAAD
Leveraging Object-Oriented Logic Programming for Software Quality
Enforcement, between 2012 and 2013.
HORUS
Horn Representations of Uncertain Systems, PTDC/EIA-EIA/100897/2008,
between 2010 and 2013.
JEDI
A Joint Environment for Deduction and Induction - and its Application
over Spatial Data, PTDC/EIA/66924/2006, between 2008 and 2011.
MYDDAS
MySQL/Yap Deductive Database System, POSC/EIA/59154/2004, between 2005
and 2008.
APRIL
Applications using Parallelism in Induction and Logic,
POSI/SRI/40749/2001, between 2002 and 2005.
DOLPHIN
High Performance Computing Environments for Parallel Computation,
PRAXIS/2/2.1/TIT/1577/95, between 1997 and 2000.
MELODIA
Advanced Design and Implementation of Logic Programming Execution
Models, JNICT/PBIC/C/TIT/2495/95, between 1997 and 1998.
PROLOPPE
Parallel Logic Programming with Extensions, PRAXIS/3/3.1/TIT/24/94,
between 1995 and 1998.