Español
English
Català
Wifi

Bachelor's degree in Computer Engineering

Universitat de Lleida

Escola Politècnica Superior
Home Syllabus Teaching staff Detall

ARGELICH ROMA, JOSEP

Category: SENIOR LECTURER
Academic profile: Doctorate
Department: COMPUTER ENGINEERING AND DIGITAL DESIGN
Email: josep.argelich@udl.cat

Teaching

Teaching Course Subject
Master's Degree in Informatics Engineering ADVANCED PROGRAMMING IN ARTIFICIAL INTELLIGENCE
Master's Degree in Informatics Engineering LEGAL, SOCIAL AND PROFESSIONAL ASPECTS
PARS Enginyeria Informàtica 1 INTRODUCTION TO PROGRAMMING I
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 1 INTRODUCTION TO PROGRAMMING I
Degree in Computer Engineering 1 INTRODUCTION TO PROGRAMMING I
Master's Degree in Informatics Engineering 2 ENTERPRISE PROJECTS 2
PARS Enginyeria Informàtica 3 LEGAL, SOCIAL AND PROFESSIONAL ASPECTS
Degree in Computer Engineering 3 ADVANCED PROGRAMMING IN ARTIFICIAL INTELLIGENCE
Degree in Computer Engineering 3 LEGAL, SOCIAL AND PROFESSIONAL ASPECTS
Degree in Computer Engineering 4 BACHELOR'S THESIS
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 5 BACHELOR'S THESIS
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 5 LEGAL, SOCIAL AND PROFESSIONAL ASPECTS

Research

Research profile: Grup de Recerca en Energia i Intel·ligència Artificial - GREiA
Research projects Start date End date Main researchers
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
Razonamiento, satisfacción y optimización: argumentación y problemas 01/01/2016 31/12/2020 RAMON BÉJAR TORRES
Noves Tecnologies i Societat del Coneixement 01/02/2015 31/12/2015 CARLOS MATEU PIÑOL
Sistemas de inferencia para información inconsistente: Análisis Argumentativo. 01/06/2020 31/12/2023 RAMON BÉJAR TORRES, JORDI PLANES CID
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
Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad 01/12/2003 30/11/2006 MARIA TERESA ALSINET BERNADO
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
NEWMATICA: Sistema avanzado de recogida neumática de residuos eficiente energéticamente e inteligente. 02/05/2011 01/11/2013 CESAR FERNÁNDEZ CAMON
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
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
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
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
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
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
Thesis Year Direction
Max-SAT Formalisms with Hard and Soft Constraints 2008 Mañà Serres, Felip
Publications Year Authors Type
SolBio-Rev - D3.3 Prototype smart control environment 2024 Chalikakis, K.; Chalikaki, D.; Borri, E.; Crespo, A.; Argelich, J.; de Gracia, A.; Fernandez, C.; Cabeza, L.F. Informes de recerca
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ó
Combining Support and Attack Interactions for Argumentation Based Discussion Analysis 2022 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Capítol de llibre d'investigació
Approximate and Optimal Solutions for the Bipartite Polarization Problem 2022 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre 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ó
Clause tableaux for maximum and minimum satisfiability 2021 Argelich, Josep; Min Li, Chu; Manyà, Felip; Soler, Joan Ramon Article d'investigació
Measuring Polarization in Online Debates 2021 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Article 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
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ó
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ó
User Profile Analysis in Reddit Debates 2019 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre 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ó
Clause Branching in MaxSAT and MinSAT 2018 Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon 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ó
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ó
Programació 1: notes del curs 2017 Teresa Alsinet; Josep Argelich; Sergi Vila Llibre docent
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ó
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ó
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ó
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
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ó
Experimenting with the Instances of the MaxSAT Evaluation 2011 Argelich, Josep; Li, Chu Min; Manyà, Felip; Planes, Jordi 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ó
Analyzing the Instances of the MaxSAT Evaluation 2011 Argelich, J.; Li, C.M.; Manyà,F.; Planes, J. Capítol de llibre d'investigació
Comerç Electrònic 2010 Argelich J. Publicació electrònica docent
Boolean Lexicographic Optimization 2010 J. Marques-Silva; J. Argelich; A. Graça; I. Lynce Acta congrés
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ó
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 Argelich J; Cabiscol A; Lynce I; Manyà F Capítol de llibre d'investigació
Intel·ligència Artificial 2010 Argelich J. Publicació electrònica docent
Metodologia i Tecnologia de la Programació 2009 Argelich J. Publicació electrònica docent
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. 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ó
Sequential Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J,Cabiscol A,Lynce I, Manyà F. Article d'investigació
Comerç Electrònic 2009 Argelich J. Publicació electrònica docent
On Solving Boolean Multilevel Optimization Problems 2009 Argelich J, Lynce I, Marques-Silva J. Publicació electrònica
Encoding Max-CSP into Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Modelling Max-CSP as Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F Article 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
An Improved Exact Solver for Partial Max-SAT. 2007 Argelich J, Li CM, Manyà F. Acta congrés
Partial Max-SAT Solvers with Clause Learning 2007 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ó
Exact Max-SAT Solvers for Over-Constrained Problems 2006 Argelich J, Manyà F. Article d'investigació
Solving Over-Constrained Problems with SAT 2005 Argelich J, Manyà F. Article d'investigació
Solving Over-Constrained Problems with SAT Technology 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ó