Josep Argelich

According to our database, Josep Argelich authored at least 47 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Complexity of the Bipartite Polarization Problem: From Neutral to Highly Polarized Discussions.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Algorithms, August, 2024

Checking Robustness of Neural Network Models for the Classification of Malware.

Teresa Alsinet, Josep Argelich, Ramón Béjar, António Morgado, Jordi Planes

Proceedings of the Artificial Intelligence Research and Development, 2024

2022

Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes

Int. J. Comput. Intell. Syst., 2022

Approximate and Optimal Solutions for the Bipartite Polarization Problem.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Proceedings of the Artificial Intelligence Research and Development, 2022

Combining Support and Attack Interactions for Argumentation Based Discussion Analysis.

Teresa Alsinet, Josep Argelich, Ramón Béjar

Proceedings of the Artificial Intelligence Research and Development, 2022

2021

Clause tableaux for maximum and minimum satisfiability.

Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler

Log. J. IGPL, 2021

Discovering Dominant Users' Opinions in Reddit.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Proceedings of the Artificial Intelligence Research and Development, 2021

Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes, Nil Torrent

Proceedings of the Artificial Intelligence Research and Development, 2021

2020

Measuring user relevance in online debates through an argumentative model.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Pattern Recognit. Lett., 2020

2019

A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Joel Cemeli

Soft Comput., 2019

User Profile Analysis in Reddit Debates.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Proceedings of the Artificial Intelligence Research and Development, 2019

2018

An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes

Pattern Recognit. Lett., 2018

A Probabilistic Author-Centered Model for Twitter Discussions.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Francesc Esteva, Lluís Godo

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

Clause Branching in MaxSAT and MinSAT.

Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler

Proceedings of the Artificial Intelligence Research and Development, 2018

An Argumentation Approach for Agreement Analysis in Reddit Debates.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Proceedings of the Artificial Intelligence Research and Development, 2018

2017

Weighted argumentation for analysis of discussions in Twitter.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes

Int. J. Approx. Reason., 2017

Exploiting Many-Valued Variables in MaxSAT.

Josep Argelich, Chu Min Li, Felip Manyà

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

A Distributed Approach for the Analysis of Discussions in Twitter.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Jordi Planes, Joel Cemeli, Cristian Sanahuja

Proceedings of the 3rd International Workshop on Social Influence Analysis co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017

Author-Centered Argumentation Analysis for Twitter Discussions.

Teresa Alsinet, Josep Argelich, Ramón Béjar

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2016

On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes.

Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes

Ann. Math. Artif. Intell., 2016

Support Analysis of Weighted Discussions in Twitter.

Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes

Proceedings of the Artificial Intelligence Research and Development, 2016

2014

Many-Valued MinSAT Solving.

Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

2013

MinSAT versus MaxSAT for Optimization Problems.

Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

J. Multiple Valued Log. Soft Comput., 2012

A New Encoding from MinSAT into MaxSAT.

Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Boolean lexicographic optimization: algorithms & applications.

João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce

Ann. Math. Artif. Intell., 2011

Max-SAT formalisms with hard and soft constraints.

Josep Argelich

AI Commun., 2011

Analyzing the Instances of the MaxSAT Evaluation.

Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Experimenting with the Instances of the MaxSAT Evaluation.

Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes

Proceedings of the Artificial Intelligence Research and Development, 2011

On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems.

Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu

Proceedings of the Artificial Intelligence Research and Development, 2011

2010

Solving Linux Upgradeability Problems Using Boolean Optimization

Josep Argelich, Daniel Le Berre, Inês Lynce, João Marques-Silva, Pascal Rapicault

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

New Insights into Encodings from MaxCSP into Partial MaxSAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Boolean Lexicographic Optimization.

João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

2009

On Solving Boolean Multilevel Optimization Problems

Josep Argelich, Inês Lynce, João Marques-Silva

CoRR, 2009

Sequential Encodings from Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Regular Encodings from Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the ISMVL 2009, 2009

On Solving Boolean Multilevel Optimization Problemse.

Josep Argelich, Inês Lynce, João Marques-Silva

Proceedings of the IJCAI 2009, 2009

2008

The First and Second Max-SAT Evaluations.

Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes

J. Satisf. Boolean Model. Comput., 2008

A Preprocessor for Max-SAT Solvers.

Josep Argelich, Chu Min Li, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Modelling Max-CSP as Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

CNF Instances from the Software Package Installation Problem.

Josep Argelich, Inês Lynce

Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Encoding Max-CSP into Partial Max-SAT.

Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007

Partial Max-SAT Solvers with Clause Learning.

Josep Argelich, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Exact Max-SAT solvers for over-constrained problems.

Josep Argelich, Felip Manyà

J. Heuristics, 2006

Towards Solving Many-Valued MaxSAT.

Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes

Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006

2005

Solving Over-Constrained Problems with SAT Technology.

Josep Argelich, Felip Manyà

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Solving Over-Constrained Problems with SAT.

Josep Argelich, Felip Manyà

Proceedings of the Principles and Practice of Constraint Programming, 2005