ARGELICH ROMA, JOSEP

Categoría: AGREGADO/A
Perfil académico: Doctorado
Departamento: INGENIERÍA INFORMÁTICA Y DISEÑO DIGITAL
Email: josep.argelich@udl.cat

Docencia

Enseñanza Curso Asignatura
PARS Enginyeria Informàtica 1 PROGRAMACIÓN I
Grado en Ingeniería Informática 1 PROGRAMACIÓN I
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 1 PROGRAMACIÓN I
Grado en Ingeniería Informática 3 ASPECTOS LEGALES, SOCIALES Y PROFESIONALES
Grado en Ingeniería Informática 4 TRABAJO DE FIN DE GRADO
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 5 ASPECTOS LEGALES, SOCIALES Y PROFESIONALES
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 5 TRABAJO DE FIN DE GRADO

Investigación

Grupo de investigación: Grup de Recerca en Energia i Intel·ligència Artificial - GREiA
Proyectos de investigación Fecha inicio Fecha fin Investigadores principales
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
Sistema automàtic de verificació de solucions de programes informàtics com a suport a l'aprenentatge i autoavaluació. 30/12/2009 29/12/2010 CARLOS J. ANSOTEGUI GIL
Teoria, Aplicaciones y Sinergia en SAT, CSP y FDL 01/01/2011 31/12/2013 CESAR FERNÁNDEZ CAMON
TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones 01/01/2014 30/06/2017 CARLOS J. ANSOTEGUI GIL
Noves Tecnologies i Societat del Coneixement 01/02/2015 31/12/2015 CARLOS MATEU PIÑOL
Eina de verificació de solucions a problemes de programació com a recurs d'autoaprenentatge (versió 2.0) 28/02/2012 27/02/2013 CARLOS J. ANSOTEGUI GIL
NEWMATICA: Sistema avanzado de recogida neumática de residuos eficiente energéticamente e inteligente. 02/05/2011 01/11/2013 CESAR FERNÁNDEZ CAMON
Sistemas de inferencia para información inconsistente: Análisis Argumentativo. 01/06/2020 31/12/2023 RAMON BÉJAR TORRES, JORDI PLANES CID
Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad 01/12/2003 30/11/2006 MARIA TERESA ALSINET BERNADO
Razonamiento, satisfacción y optimización: argumentación y problemas 01/01/2016 31/12/2020 RAMON BÉJAR TORRES
Diseño biomimético impulsado por inteligencia artificial de un depósito de almacenamiento de energía térmica para un intercambio de calor óptimo 01/12/2022 30/11/2024 JOSEP ARGELICH ROMA, LUISA FERNANDA CABEZA FABRA
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
Procesamiento de Inconsistencias basado en Lógica para Sistemas Inteligentes Explicables: Aplicaciones 01/09/2023 31/08/2026 JOSEP ARGELICH ROMA, JORDI PLANES CID
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT 01/10/2007 30/09/2010 CESAR FERNÁNDEZ CAMON
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
Open-Project Based Learning: Plataforma distribuïda per a la instrumentalització de les metodologies ABP i la transversalitat en matèries de Grau i Màster en Enginyeria Informàtica. 28/02/2012 27/02/2013 JOSEP LLUIS LERIDA MONSO
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
Tesis Año Dirección
Max-SAT Formalisms with Hard and Soft Constraints 2008 Mañà Serres, Felip
Publicaciones Año Autores Tipo
Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis 2022 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Gibert, Daniel; Planes, Jordi Article d'investigació
Measuring Polarization in Online Debates 2021 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Article d'investigació
Clause tableaux for maximum and minimum satisfiability 2021 Argelich, Josep; Min Li, Chu; Manyà, Felip; Soler, Joan Ramon Article d'investigació
Discovering Dominant Users' Opinions in Reddit 2021 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre d'investigació
Argumentation reasoning with graph neural networks for reddit conversation analysis 2021 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Gibert, Daniel; Planes, Jordi; Torrent, Nil Capítol de llibre d'investigació
Sol-Bio Rev - D3.2 Optimised system control and strategies 2021 Borri E; Crespo A; Argelich J; de Gracia A; Fernandez C; Cabeza LF; Karellas S; Charalampidis A; Frazzica A; Palomba V; Weitzer M; Franke L Informes de recerca
Measuring user relevance in online debates through an argumentative model 2020 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón ; Martínez, Santi Article d'investigació
A Distributed argumentation algorithm for mining consistent opinions in weighted twitter discussions 2019 Alsinet, Tere; Argelich, Josep ; Béjar, Ramon ; Cemeli, Joel Article d'investigació
User Profile Analysis in Reddit Debates 2019 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre d'investigació
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships 2018 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi Article d'investigació
Clause Branching in MaxSAT and MinSAT 2018 Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon Capítol de llibre d'investigació
A Probabilistic Author-Centered Model for Twitter Discussions 2018 Teresa Alsinet; Josep Argelich; Ramón Béjar; Francesc Esteva; Lluis Godo Acta congrés
An Argumentation Approach for Agreement Analysis in Reddit Debates 2018 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre d'investigació
Weighted argumentation for analysis of discussions in twitter 2017 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi Article d'investigació
Exploiting Many-Valued Variables in MaxSAT 2017 Argelich, Josep; Li, Chu Min; Manyà, Felip Capítol de llibre d'investigació
Programació 1: notes del curs 2017 Teresa Alsinet; Josep Argelich; Sergi Vila Llibre docent
Support Analysis of Weighted Discussions in Twitter 2016 Alsinet, T.; Argelich, J.; Béjar, R.; Fernández, C.; Mateu, C.; Planes, J. Capítol de llibre d'investigació
Analysis of Discussions in Twitter with an Argumentation Tool 2016 Teresa Alsinet; Josep Argelich; Ramon Béjar; Jordi Planes; Marc Sánchez Acta congrés
On the Performance of MaxSAT and MinSAT Solvers on 2SAT-MaxOnes 2016 Argelich, J.; Béjar, R.; Fernández, C.; Mateu, C.; Planes, J. Article d'investigació
Many-Valued MinSAT Solving 2014 Josep Argelich; Chu Min Li; Felip Manyà; Zhu Zhu Capítol de llibre d'investigació
MinSAT versus MaxSAT for Optimization Problems 2013 Argelich, Josep; Li, Chu Min; Manyà, Felip; Zhu, Zhu Capítol de llibre d'investigació
A New Encoding from MinSAT into MaxSAT 2012 Zhu Zhu; Chu Min Li; Felip Manyà; Josep Argelich Acta congrés
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT 2012 Argelich J;Cabiscol A;Lynce I;Manyà F Article d'investigació
Analyzing the Instances of the MaxSAT Evaluation 2011 Argelich, J.; Li, C.M.; Manyà,F.; Planes, J. Capítol de llibre d'investigació
On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems 2011 Argelich, Josep; Bejar, Ramon; Fernandez, Cesar; Mateu, Carles Capítol de llibre d'investigació
Max-SAT Formalisms with Hard and Soft Constraints 2011 Josep Argelich Article d'investigació
Boolean Lexicographic Optimization: Algorithms & Applications 2011 Joao Marques-Silva; Josep Argelich; Ana Graça; Ines Lynce Article d'investigació
Experimenting with the Instances of the MaxSAT Evaluation 2011 Argelich, Josep; Li, Chu Min; Manyà, Felip; Planes, Jordi Capítol de llibre d'investigació
Comerç Electrònic 2010 Argelich J. Publicació electrònica docent
Intel·ligència Artificial 2010 Argelich J. Publicació electrònica docent
Solving Linux Upgradeability Problems Using Boolean Optimization 2010 Josep Argelich; Daniel Le Berre; Inês Lynce; João P. Marques Silva; Pascal Rapicault Capítol de llibre d'investigació
Boolean Lexicographic Optimization 2010 J. Marques-Silva; J. Argelich; A. Graça; I. Lynce Acta congrés
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 Argelich J; Cabiscol A; Lynce I; Manyà F Capítol de llibre d'investigació
Sequential Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J,Cabiscol A,Lynce I, Manyà F. Article d'investigació
Max-SAT Formalisms with Hard and Soft Constraints 2009 Argelich J. Llibre d'investigació
On Solving Boolean Multilevel Optimization Problems 2009 Argelich J, Lynce I, Marques-Silva J. Publicació electrònica
Metodologia i Tecnologia de la Programació 2009 Argelich J. Publicació electrònica docent
Comerç Electrònic 2009 Argelich J. Publicació electrònica docent
On Solving Boolean Multilevel Optimization Problems 2009 Argelich J, Lynce I, Marques-Silva J. Capítol de llibre d'investigació
Regular Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
A Preprocessor for Max-SAT Solvers 2008 Argelich J, Li CM, Manyà F. Article d'investigació
The First and Second Max-SAT Evaluations 2008 Argelich J, Li CM, Planes J, Manyà F. Article d'investigació
CNF instances from the software package installation problem. 2008 Argelich J, Lynce I. Acta congrés
Modelling Max-CSP as Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F Article d'investigació
Encoding Max-CSP into Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Partial Max-SAT Solvers with Clause Learning 2007 Argelich J, Manyà F. Article d'investigació
An Improved Exact Solver for Partial Max-SAT. 2007 Argelich J, Li CM, Manyà F. Acta congrés
Exact Max-SAT Solvers for Over-Constrained Problems 2006 Argelich J, Manyà F. Article d'investigació
Learning Hard Constraints in Max-SAT 2006 Argelich J, Manyà F. Acta congrés
Towards Solving Many-Valued MaxSAT 2006 Argelich J, Domingo X, Li CM, Manyà F, Planes J. Capítol de llibre d'investigació
Solving Over-Constrained Problems with SAT Technology 2005 Argelich J, Manyà F. Article d'investigació
Solving Over-Constrained Problems with SAT 2005 Argelich J, Manyà F. Article d'investigació
An Exact Max-SAT Solver for Over-Constrained Problems 2004 Argelich J, Manyà F. Acta congrés
Solving Over-Constrained Problems with Max-SAT Algorithms 2004 Argelich J, Manyà F. Acta congrés
Generating Hard Feasible Schedules 2001 Argelich J, Bejar R, Cabiscol A, Fernandez C, Gomes C, Manyà F. Article d'investigació