| 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ó |
| Sediment level prediction of a combined sewer system using spatial features |
2021 |
Ribalta, M.; Mateu, C.; Bejar, R.; Rubión, E.; Echeverria, L.; Varela Alegre, F. J.; Corominas, L. |
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ó |
| 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ó |
| 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ó |
| 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ó |
| 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ó |
| RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. |
2016 |
Alsinet, T; Béjar, R.; Godo, L.; Guitart, F. |
Article d'investigació |
| Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming |
2016 |
Alsinet T, Béjar R, Godo L, Guitart F. |
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 |
| 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ó |
| Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers |
2015 |
Teresa Alsinet; Ramón Béjar; Cèsar Fernández; Francesc Guitart; Carles Mateu |
Article d'investigació |
| On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP |
2014 |
Teresa Alsinet; Ramón Béjar; Lluis Godo; Francesc Guitart |
Capítol de llibre d'investigació |
| On the Implementation of a multiple output algorithm for defeasible argumentation |
2013 |
Teresa Alsinet ; Ramón Béjar ; Lluis Godo ; Francesc Guitart |
Acta congrés |
| On the hardness of solving edge matching puzzles as SAT or CSP problems |
2013 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Solving the Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers |
2013 |
Ramon Bejar; Cesar Fernandez; Francesc Guitart; Carles Mateu |
Capítol de llibre d'investigació |
| Web based system for weighted defeasible argumentation |
2013 |
Teresa Alsinet ; Ramón Béjar ; Lluis Godo ; Francesc Guitart |
Acta congrés |
| On the Implementation of a fuzzy dl solver over infinite-valued product logic with smt solvers |
2013 |
Teresa Alsinet ; David Barroso ; Ramón Béjar ; Félix Bou ; Marco Cerami ; Francesc Esteva |
Acta congrés |
| The Sudoku completion problem with rectangular hole pattern is NP-complete |
2012 |
Ramón Béjar; Cèsar Fernández; Carles Mateu; Magda Valls |
Article d'investigació |
| Using Answer set programming for an scalable implementation of defeasible argumentation |
2012 |
Alsinet T, Béjar R, Godo Ll, Guitart F. |
Acta congrés |
| The Automated Vacuum Waste Collection Optimization Problem |
2012 |
Béjar R, Fernández C, Mateu C., Manya F, Sole-Mauri F, Vidal D |
Acta congrés |
| Optimizing Energy Consumption Automated Vacuum Waste Collection Systems |
2012 |
Béjar R, Fernández C, Manya F, Mateu C, Sole-Mauri F. |
Acta congrés |
| Solving The Automated Vacuum Waste Collection Optimization Problem |
2012 |
Béjar R, Fernández C, Mateu C., Manya F, Sole-Mauri F |
Acta congrés |
| Generating highly balanced sudoku problems as hard problems |
2011 |
Ansótegui Carlos; Béjar Ramón; Fernández Cèsar; Gomes Carla; Mateu Carles |
Article d'investigació |
| Maximal ideal recursive semantics for defeasible argumentation |
2011 |
Alsinet T, Bejar R, Godo L, Guitart F. |
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ó |
| Towards an Efficient Use of Resources in All-Optical Networks. |
2011 |
Ramon Bejar; Cesar Fernandez; Francesc Guitart; Carles Mateu |
Acta congrés |
| Eccentric sequences in stratified graphs |
2010 |
Villaró E., Gimbert J., Béjar R. |
Article d'investigació |
| A Characterization of Collective Conflict for Defeasible Argumentation |
2010 |
T. Alsinet; R. Béjar; L. Godo |
Capítol de llibre d'investigació |
| Abstract of paper: A formal model and a support system for the continuous evaluation of competences |
2010 |
Teresa Alsinet; Ramón Béjar; David Barroso |
Capítol de llibre d'investigació |
| A formal model and a support system for the continuous evaluation of competences |
2010 |
Teresa Alsinet; Ramón Béjar; David Barroso |
Capítol de llibre d'investigació |
| Encoding basic arithmetic operations for sAT-solvers |
2010 |
Ramon Bejar ; Cesar Fernandez ; Francesc Guitart |
Capítol de llibre d'investigació |
| Solving Pseudo-Boolean Modularity Constraints |
2010 |
Ansótegui, Carlos; Béjar, Ramón; Fernández, Cèsar; Guitart, Francesc; Mateu, Carles |
Capítol de llibre d'investigació |
| A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics |
2010 |
Alsinet T, Béjar R, Godo Ll. |
Capítol de llibre d'investigació |
| A robust competence evaluation formal model |
2009 |
Teresa Alsinet, David Barroso, Ramón Béjar and Jordi Planes |
Capítol de llibre d'investigació |
| Generating Hard Instances for MaxSAT |
2009 |
Béjar R, Cabiscol A, Manyà F, Planes J. |
Capítol de llibre d'investigació |
| Bounding the Phase Transition on Edge Matching Puzzles |
2009 |
Béjar R, Fernández C, Mateu C, Pascual, N. |
Capítol de llibre d'investigació |
| Bounding the Phase Transition on Edge Matching. Puzzles |
2009 |
Béjar R, Fernàndez C, Mateu C, Pascual N. |
Article d'investigació |
| Búsqueda inteligente en problemas combinatorios |
2009 |
Ramon Béjar Torres |
Llibre docent |
| transparencias electrónicas sobre cloud computing |
2009 |
Ramón Béjar Torres |
Publicació electrònica docent |
| A formal model of competence-based assessment |
2009 |
Alsinet T, Barroso D, Bejar R, Planes J. |
Acta congrés |
| Generating Hard Instances for MaxSAT |
2009 |
Béjar R, Cabiscol A, Manyà F, Planes J. |
Article d'investigació |
| transparencias electrónicas sobre grid computing |
2009 |
Ramón Béjar Torres |
Publicació electrònica docent |
| Generating Hard SAT/CSP Instances Using Expander Graphs |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| From High Girth Graphs to Hard Instances |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Edge Matching Puzzles as Hard SAT/CSP Instances |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| How Hard is a Commercial Puzzle: the Eternity II Challenge |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Introducción a los Problemas de satisfacción de restricciones |
2007 |
Ramon Béjar |
Apunts docents |
| On Balanced CSPs with High Treewidth |
2007 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Regular-SAT: A many-valued approach to solving combinatorial problems |
2007 |
Béjar R, Manyà F, Cabiscol A, Fernández C, Gomes C. |
Article d'investigació |
| Búsqueda sistemática inteligente en CSPs |
2007 |
Ramón Béjar |
Apunts docents |
| Inferencia en problemas de satisfacción de restricciones |
2007 |
Ramón Béjar |
Apunts docents |
| Representaciones de foros virtuales: diseño de una herramienta para analizar las interacciones entre usuarios en el campus virtual de la Universidad de Lleida. |
2006 |
Òscar Flores Alarcia, Ramon Béjar Torres, Jaume Bitterhoff Gatius, Enric Brescó Baiges, Jordi Juárez Mecías, José Antonio Mur Escobar, Noemí Verdú Surroca |
Acta congrés |
| Hacia la autonomía del profesorado universitario en el uso de las tecnologías aplicadas a la docencia: el proyecto ARDoV del Instituto de Ciencias de la Educación de la Universidad de Lleida |
2006 |
Òscar Flores Alarcia, Ramon Béjar Torres, Jaume Bitterhoff Gatius, Enric Brescó Baiges, Jordi Juárez Mecías, José Antonio Mur Escobar, Noemí Verdú Surroca |
Acta congrés |
| The Impact of Balancing on Problem Hardness in a Highly Structured Domain |
2006 |
Ansótegui C, Béjar R, Fernández C, Gomes C, Mateu C. |
Article d'investigació |
| Communication and Computation in Distributed CSP Algorithms |
2005 |
Fernández Cesar, Béjar Ramon, Krishnamachari Bhaskar, Gomes Carla |
Article d'investigació |
| Procesos y proyectos para la implantación de las TIC en la docencia universitaria: el modelo de la Universidad de Lleida |
2005 |
Òscar Flores Alarcia, Ramon Béjar, Noemí Verdú, Enric Brescó, Jose Antonio Mur, Jordi Juárez, Jaume Bitterhoff |
Acta congrés |
| Sensor networks and distributed CSP: communication, computation and complexity |
2005 |
Béjar R, Domslak C, Fernández C, Gomes C, Krishnamachari B, Selman B, Valls M. |
Article d'investigació |
| Comparativa sobre el uso de las herramientas de comunicación telemáticas en las asignaturas semipresenciales de la Universidad de Lleida |
2005 |
Òscar Flores Alarcia, Ramon Béjar, Enric Brescó, Jaume Gatius, Jordi Juárez, Jose Antonio Mur, Noemí Verdú |
Acta congrés |
| The Interface between P and NP in Signed CNF Formulas |
2004 |
Ansotegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
| Automated monitoring of medical protocols: a secure and distributed architecture |
2003 |
Alsinet T, Ansotegui C, Bejar R, Fernandez C, Manya F. |
Article d'investigació |
| On the Complexity of Distributed Self-Configuration in Wireless Networks |
2003 |
Krishnamachari B, Wicker S, Bejar R, Fernandez C. |
Article d'investigació |
| Capturing Structure with Satisfiability |
2001 |
Béjar R, Cabiscol A, Fernández, Manyà F, Gomes C. |
Article d'investigació |
| Generating Hard Feasible Schedules |
2001 |
Argelich J, Bejar R, Cabiscol A, Fernandez C, Gomes C, Manyà F. |
Article d'investigació |
| Resolución de problemas de Scheduling utilizando fórmulas multivaluadas |
2000 |
Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
| Arquitectura de un diccionario multilingüe de términos de lógica |
1999 |
Alsinet T, Béjar R, Fernández C, Manyà F, Vázquez G, Tió J. |
Article d'investigació |
| The satisfiability problem in regular CNF-formulas |
1998 |
Manyà F, Béjar R, Escalada G. |
Article d'investigació |
