Español
English
Català
Wifi

Master's degree in Informatics Engineering

Universitat de Lleida

Polytechnic School
Home Syllabus Teaching staff Detall

BEJAR TORRES, RAMON

Category: SENIOR LECTURER
Academic profile: Doctorate
Department: COMPUTER ENGINEERING AND DIGITAL DESIGN
Email: ramon.bejar@udl.cat

Teaching

Teaching Course Subject
Master's Degree in Informatics Engineering 2 DATA MINING
PARS Enginyeria Informàtica 3 AUTOMATIC LEARNING AND REASONING
Degree in Computer Engineering 3 AUTOMATIC LEARNING AND REASONING
PARS Enginyeries Industrials 4 PROGRAMMING AND COMMUNICATIONS I
PARS Enginyeria Informàtica 4 HARDWARE AND SOFTWARE VERIFICATION SYSTEMS
Degree in Industrial Electronic and Automation Engineering 4 PROGRAMMING AND COMMUNICATIONS I
Degree in Computer Engineering 4 BACHELOR'S THESIS
Degree in Computer Engineering 4 HARDWARE AND SOFTWARE VERIFICATION SYSTEMS
Double degree: Degree in Computer Engineering and Degree in BAM 5 BACHELOR'S THESIS

Research

Research profile: Grup de Recerca en Energia i Intel·ligència Artificial - GREiA
Research projects Start date End date Main researchers
Sistemas eficientes de razonamiento automático con información incompleta e imprecisa basados en SAT y CSP: Diseño e implementación 01/01/2010 31/12/2013 RAMON BÉJAR TORRES
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
Potenciació de l'ús de mètodes d'ensenyament a distància i d'aprenentatge en base a casos en un entorn europeu d'educació superior forestal 01/04/2004 31/03/2006 ANTONIO M. MICHELENA BARCENA
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
Hacia una IA Confiable: Un Enfoque Formal 01/09/2024 31/08/2027 JOAO PAULO MARQUES DA SILVA
E-portafoli: Implementació d'un portafoli electrònic orientat a l'avaluació de competències en el marc dels projectes finals de Grau/Màster 01/10/2008 30/09/2010 FRANCISCO JOSÉ GINÉ DE SOLA
Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad 01/12/2003 30/11/2006 MARIA TERESA ALSINET BERNADO
Portafolio electrónico para la tutorización y evaluación por competencias 01/12/2011 31/12/2012 FERNANDO GUIRADO FERNÁNDEZ
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
Implementació sobre el campus virtual de la UdL d'un portafoli electrònic per a la tutorització de Treballs Finals de Grau i Màster 22/10/2010 21/10/2011 FERNANDO GUIRADO FERNÁNDEZ
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
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
Algorithms and efficient encodings for argumentation frameworks and arithmetic problems 2014 Teresa Alsinet ; Ramón Béjar
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
Publications Year Authors Type
Modeling of TES tanks by means of CFD simulation using neural networks 2025 Rojas Cala, EF; Béjar, R; Mateu, C; Borri, E; Romagnoli, A; Cabeza, LF Article d'investigació
Checking Robustness of Neural Network Models for the Classification of Malware 2024 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Morgado, António; Planes, Jordi Article en llibre
Sewer sediment deposition prediction using a two-stage machine learning solution 2024 Ribalta Gené, Marc; Béjar, Ramón; Mateu, Carles; Corominas, Lluís; Esbrí, Oscar;Rubión, Edgar Article d'investigació
On the Complexity of the Bipartite Polarization Problem: From Neutral to Highly Polarized Discussions 2024 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Article d'investigació
Machine learning solutions in sewer systems: a bibliometric analysis 2023 Ribalta, Marc; Bejar, Ramon; Mateu, Carles; Rubión, Edgar Article 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ó
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ó
Discovering Dominant Users' Opinions in Reddit 2021 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre 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ó
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ó
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ó
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. Capítol de llibre 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
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 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
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
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ó
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
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
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ó
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ó
Towards an Efficient Use of Resources in All-Optical Networks. 2011 Ramon Bejar; Cesar Fernandez; Francesc Guitart; Carles Mateu Acta congrés
Encoding basic arithmetic operations for sAT-solvers 2010 Ramon Bejar ; Cesar Fernandez ; Francesc Guitart 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ó
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ó
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. Capítol de llibre d'investigació
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ó
Bounding the Phase Transition on Edge Matching. Puzzles 2009 Béjar R, Fernàndez C, Mateu C, Pascual N. Article 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
Generating Hard Instances for MaxSAT 2009 Béjar R, Cabiscol A, Manyà F, Planes J. 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ó
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ó
Generating Hard SAT/CSP Instances Using Expander Graphs 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ó
From High Girth Graphs to Hard Instances 2008 Ansótegui C, Béjar R, Fernández C, Mateu 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
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ó
On Balanced CSPs with High Treewidth 2007 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
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ó
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
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
Communication and Computation in Distributed CSP Algorithms 2005 Fernández Cesar, Béjar Ramon, Krishnamachari Bhaskar, Gomes Carla Article d'investigació
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ó
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ó
Generating Hard Feasible Schedules 2001 Argelich J, Bejar R, Cabiscol A, Fernandez C, Gomes C, Manyà F. Article d'investigació
Capturing Structure with Satisfiability 2001 Béjar R, Cabiscol A, Fernández, Manyà F, Gomes C. 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ó