BEJAR TORRES, RAMON

Categoría: TITULAR DE UNIVERSIDAD
Perfil académico: Doctorado
Departamento: INFORMATICA E INGENIERIA INDUSTRIAL
Email: ramon.bejar@udl.cat

Docencia

Enseñanza Curso Asignatura
MU en Ingeniería Informática 2 EXPLOTACIÓN DE DATOS
Grado en Ingeniería Informática 3 APRENDIZAJE Y RAZONAMIENTO AUTOMÁTICO
Grado en Ingeniería Informática 4 SISTEMAS DE VALIDACIÓN DE HARDWARE Y SOFTWARE
Grado en Ingeniería Electrónica Industrial y Automática 4 PROGRAMACIÓN Y COMUNICACIONES I

Investigación

Grupo de investigación: GREiA. Grup de Recerca en Energia i Intel·ligència Artificial
Tesis Año Dirección
Encodings and Benchmarks for Maxsat Solving 2012 Ramon Béjar y Felip Manyà
CSP problems as algorithmic benchmarks: measures, methods, and models. 2009 Fernandez Camón, César; Bejar Torres, Ramon
Publicaciones Año Autores Tipo
Measuring user relevance in online debates through an argumentative model 2020 Teresa Alsinet;Josep Argelich;Ramón Béjar;Santi Martínez Article d'investigació
A Distributed argumentation algorithm for mining consistent opinions in weighted twitter discussions 2019 Tere Alsinet ; Josep Argelich ; Ramon Béjar ; Joel Cemeli Article d'investigació
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships 2018 Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes Article d'investigació
Weighted argumentation for analysis of discussions in twitter 2017 Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes 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ó
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ó
Support Analysis of Weighted Discussions in Twitter 2016 Alsinet T, Argelich J, Béjar R, Fernández C, Mateu C, Planes J. Acta congrés
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
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ó
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ó
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
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
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ó
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 Automated Vacuum Waste Collection Optimization Problem 2012 Béjar R, Fernández C, Mateu C., Manya F, Sole-Mauri F 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
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
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 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ó
Towards an Efficient Use of Resources in All-Optical Networks. 2011 Ramon Bejar; Cesar Fernandez; Francesc Guitart; Carles Mateu 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 Josep Argelich; Ramon Bejar; Cesar Fernandez; Carles Mateu Acta congrés
A Characterization of Collective Conflict for Defeasible Argumentation 2010 T. Alsinet; R. Béjar; L. Godo Capítol de llibre d'investigació
Eccentric sequences in stratified graphs 2010 Villaró E., Gimbert J., Béjar R. Article 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ó
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ó
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ó
Bounding the Phase Transition on Edge Matching. Puzzles 2009 Béjar R, Fernàndez C, Mateu C, Pascual N. Article 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ó
transparencias electrónicas sobre grid computing 2009 Ramón Béjar Torres Publicació electrònica docent
transparencias electrónicas sobre cloud computing 2009 Ramón Béjar Torres Publicació electrònica docent
Búsqueda inteligente en problemas combinatorios 2009 Ramon Béjar Torres Llibre 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ó
Generating Hard SAT/CSP Instances Using Expander Graphs 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ó
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ó
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ó