Pilar Dellunde projects
Current projects
Past projects
ARINF. Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP
From : 01-Jan-2010 to 31-Dec-2012
LOCOMOTION . Logics for combining models of reasoning under imperfect information
From : 01-Feb-2009 to 31-Jan-2012
