Jordi Planes

Jordi Planes is an Associate Professor at Universitat de Lleida. His current interest lie in the intersection of satisfiability solving with machine learning.

Publications

Research Projects

	MICINN project: Procesamiento de inconsistencias basado en logica para sistemas inteligentes explicables: aplicaciones Ref. PID2022-139835NB-C22, Years: 2023-2026.
	MICINN project: Sistemas de inferencia para informacion inconsistente: analisis argumentativo. Ref. PID2019-111544GB-C22, Years: 2020-2023.
	AGAUR project: Disseny d'un sistema de classificacio de pagines web i programari malicios. Ref. 2016 DI 091. Years: 2016-2019.
	MINECO project: Razonamiento, Satisfaccion y Optimizacion: Argumentacion y Problemas. Ref. TIN2015-71799-C2-2-P, Years: 2016-2019.
	MINECO project: Pensamiento computacional e ingenieria del rendimiento para aplicaciones de ciencias de la vida y medioambientales. Ref. TIN2014-53234-C2-2-R, Years: 2015-2017.
	MiCInn project: Sistemas eficientes de razonamiento automático. Ref.: TIN2009-14704-C03-01, Years: 2010-2013.
	Vertigo: Verification and Validation of Embedded System Design Workbench. Ref.: IST-033709, Years: 2008.
	MCyT project: SoftSAT: Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad. Ref.: TIC2003-00950, Years: 2003-2005.
	MCyT project: LOGFAC. Logicas multivaluadas y clasica: fundamentos y aplicaciones computacionales, jointly with Universitat Politecnica de Catalunya and Instituto de Investigacion en Inteligencia Artificial Ref.: TIC2001-1577-C03-03. Years: 2001-2004.