Now showing items 1-13 of 13

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

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Cemeli Sánchez, Joel (Springer, 2019)
      Twitter is one of the most powerful social media platforms, reflecting both support and contrary opinions among people who use it. In a recent work, we developed an argumentative approach for analyzing the major opinions ...
    • An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2017-07-08)
      Twitter is one of the most widely used social networks when it comes to sharing and criticizing relevant news and events. In order to understand the major opinions accepted and rejected in different domains by Twitter ...
    • Analyzing the instances of the MaxSAT evaluation 

      Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (Springer Verlag, 2011)
      The MaxSAT Evaluation [1] is an affiliated event of the SAT Conference that is held every year since 2006, and is devoted to empirically evaluate exact MaxSAT algorithms solving any of the following problems: MaxSAT, ...
    • Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Gibert Llauradó, Daniel; Planes Cid, Jordi (Springer, 2022-10-17)
      The automated analysis of different trends in online debating forums is an interesting tool for sampling the agreement between citizens in different topics. In previous work, we have defined computational models to measure ...
    • Boolean lexicographic optimization: algorithms & applications 

      Marques-Silva, Joao; Argelich Romà, Josep; Graça, Ana; Lynce, Inês (Springer Verlag, 2011)
      Multi-Objective Combinatorial Optimization (MOCO) problems find a wide range of practical application problems, some of which involving Boolean variables and constraints. This paper develops and evaluates algorithms for ...
    • Exact Max-SAT solvers for over-constrained problems 

      Argelich Romà, Josep; Manyà Serres, Felip (Springer Verlag, 2006)
      We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of ...
    • Measuring Polarization in Online Debates 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Martínez Rodríguez, Santi (MDPI, 2021)
      Social networks can be a very successful tool to engage users to discuss relevant topics for society. However, there are also some dangers that are associated with them, such as the emergence of polarization in online ...
    • Measuring user relevance in online debates through an argumentative model 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Martínez Rodríguez, Santi (Elsevier, 2020)
      Online debating forums are important social media for people to voice their opinions and engage in debates with each other. Measuring user relevance on these forums can be useful to identify different user profiles or ...
    • Modelling Max-CSP as Partial Max-SAT 

      Argelich Romà, Josep; Cabiscol i Teixidó, Alba; Lynce, Inês; Manyà Serres, Felip (Springer Verlag, 2008)
      We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental ...
    • On the Performance of MaxSAT and MinSAT Solvers on 2SAT-MaxOnes 

      Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Springer International Publishing Switzerland, 2016-06-01)
      We analyze and compare two solvers for Boolean optimization problems: WMaxSatz, a solver for Partial MaxSAT, and MinSatz, a solver for Partial MinSAT. Both MaxSAT and MinSAT are similar, but previous results indicate that ...
    • Solving Over-Constrained Problems with SAT Technology 

      Argelich Romà, Josep; Manyà Serres, Felip (Springer Verlag, 2005)
      We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clauses instead of individual clauses, and that allows ...
    • The first and second Max-SAT evaluations 

      Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (IOS Press, 2008)
      We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the International Conference on Theory and ...
    • Weighted argumentation for analysis of discussions in twitter 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2017-03-01)
      Twitter has become a widely used social network to discuss ideas about many domains. This leads to a growing interest in understanding what are the major accepted or rejected opinions in different domains by social network ...