Español
English
Català
Wifi

Master's degree in Informatics Engineering

Universitat de Lleida

Polytechnic School
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
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ó
Metodologia i Tecnologia de la Programació 2009 Argelich J. Publicació electrònica docent
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ó
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ó
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
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ó