Bachelor's degree in Computer Engineering

ALSINET BERNADO, MARIA TERESA

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

Teaching

Teaching Course Subject
PARS Enginyeria Informàtica 1 INTRODUCTION TO PROGRAMMING I
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 1 INTRODUCTION TO PROGRAMMING I
Degree in Computer Engineering 1 INTRODUCTION TO PROGRAMMING I
Degree in Computer Engineering 4 BACHELOR'S THESIS
Degree in Computer Engineering 4 LANGUAGE PROCESSING ALGORITHMS
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 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
Instituciones Electrónicas Autónomas. 01/01/2006 31/12/2008 MARIA TERESA ALSINET BERNADO
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
Sistemas de inferencia para información inconsistente: Análisis Argumentativo. 01/06/2020 31/12/2023 RAMON BÉJAR TORRES, JORDI PLANES CID
Anti-linus para la manipulación de funciones discretas 01/07/1996 30/06/1997 FELIPE MAÑA SERRES
Sistemas multi-agente y su aplicación en servicios hospitalarios (SMASH) 01/08/1996 31/07/2001 FELIPE MAÑA SERRES
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
Desenvolupament d'un pla pilot per a l'apropament de les assignatures de xarxes de comunicacions al teixit empresarial de la ciutat de Lleida 01/10/2008 30/09/2010 JORDI PLANES CID
Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad 01/12/2003 30/11/2006 MARIA TERESA ALSINET BERNADO
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
Eina de verificació de solucions a problemes de programació com a recurs d'autoaprenentatge (versió 2.0) 28/02/2012 27/02/2013 CARLOS J. ANSOTEGUI GIL
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
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
Thesis Year Direction
Algorithms and efficient encodings for argumentation frameworks and arithmetic problems 2014 Teresa Alsinet ; Ramón Béjar
Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction 2001 Dr. Lluís Godo Lacasa
Publications Year Authors Type
On the Complexity of the Bipartite Polarization Problem: from Neutral to Highly Polarized Discussions 2023 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Publicació electrònica
Data Mining, Machine Learning and Decision Support Systems in Health Care 2023 Valls, A.; Alsinet, T.; Moreno, A. 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ó
Combining Support and Attack Interactions for Argumentation Based Discussion Analysis 2022 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; 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ó
Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis 2021 Alsinet, Teresa; Argelich, Josep; Béjar, ; Gibert, Daniel; Planes, Jordi; Torrent, Nil 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ó
Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence 2021 Villaret, Mateu; Alsinet, Teresa; Fernández, Cèsar; Valls, Aïda Editor actes congrés
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ó
User Profile Analysis in Reddit Debates 2019 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre d'investigació
An Argumentation Approach for Agreement Analysis in Reddit Debates 2018 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi Capítol de llibre 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ó
A Probabilistic Author-Centered Model for Twitter Discussions 2018 Teresa Alsinet; Josep Argelich; Ramón Béjar; Francesc Esteva; Lluis Godo Acta congrés
Programació 1: notes del curs 2017 Teresa Alsinet; Josep Argelich; Sergi Vila Llibre docent
Author-Centered Argumentation Analysis for Twitter Discussions 2017 Teresa Alsinet; Josep Argelich; Ramón Béjar Acta congrés
A Distributed Approach for the Analysis of Discussions in Twitter 2017 Teresa Alsinet; Josep Argelich; Ramón Béjar; Jordi Planes; Joel Cemeli; Cristian Sanahuja Acta congrés
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ó
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ó
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ó
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ó
Web Based System for Weighted Defeasible Argumentation 2013 Teresa Alsinet; Ramón Béjar; Lluis Godo; Francesc Guitart Capítol de llibre d'investigació
Algorithms and complexity 2013 Teresa Alsinet, Aitor Corchero, Jordi Planes Llibre docent
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 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 Capítol de llibre 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
Grau en Enginyeria Informàtica. Exercicis de Programació 1: Taules, Punters i Disseny Descendent 2011 T. Alsinet Apunts docents
Lògica Computacional. Sessions de lògica proposicional. 2011 Alsinet, T. Apunts docents
Maximal ideal recursive semantics for defeasible argumentation 2011 Alsinet T, Bejar R, Godo L, Guitart F. Capítol de llibre d'investigació
Lògica Computacional. Col.lecció de problemes de lògica proposicional. 2010 Alsinet, T. Apunts docents
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ó
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ó
Lògica Computacional. Col.lecció de problemes de lògica de primer ordre. 2010 Alsinet, T. Apunts docents
Grau en Enginyeria Informàtica. Exercicis de Programació 1: Taules, Punters i Disseny Descendent 2010 T. Alsinet Apunts docents
Grau en Enginyeria Informàtica. Col.lecció de problemes per a les sessions amb grup reduït. 2010 T. Alsinet Apunts docents
A formal model of competence-based assessment 2009 Alsinet T, Barroso D, Bejar R, Planes J. Acta congrés
A robust competence evaluation formal model 2009 Teresa Alsinet, David Barroso, Ramón Béjar and Jordi Planes Capítol de llibre d'investigació
Autonomic Electronic Institutions TIN2006-15662-C02 2009 Juan A. Rodríguez-Aguilar; Teresa Alsinet Informes de recerca
Lògica Computacional. Col.lecció de problemes 2009 Alsinet, T. Apunts docents
A robust competence evaluation formal model (Abstract) 2009 Teresa Alsinet; David Barroso; Ramón Béjar; Jordi Planes Capítol de llibre d'investigació
Exercicis de Programació: Disseny Recursiu 2009 T. Alsinet Apunts docents
Exercicis de Programació: Especificació Formal i Gestió de Fitxers 2009 T. Alsinet Apunts docents
Exercicis de Programació: Taules, Punters i Disseny Descendent 2009 T. Alsinet Apunts docents
An efficient solver for Weighted Max-SAT 2008 Alsinet T, Manyà F, Planes J. Article d'investigació
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming 2008 Alsinet T, Chesñevar CI, Godo L Capítol de llibre d'investigació
Computation of skeptical outputs in P-DeLP satisfying indirect consistency: a level-based approach 2008 Alsinet T, Chesñevar CI, Godo L Capítol de llibre d'investigació
Artificial Intelligence Research and Development. 2008 Teresa Alsinet, Josep Puyol-Gruart, Carme Torras Editor llibre d'investigació
Preface 2008 Teresa Alsinet, Josep Puyol-Gruart, Carme Torras Capítol de llibre d'investigació
Processadors de Llenguatge: Apunts de Laboratori 2008 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2008 Alsinet, T. Apunts docents
Lògica Computacional. Col.lecció de problemes 2008 Alsinet, T. Apunts docents
Lògica Computacional. Apunts de curs. 2008 Alsinet, T. Apunts docents
Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence. 2008 Teresa Alsinet, Josep Puyol-Gruart, Carme Torras Editor actes congrés
A logic programming framework for possibilistic argumentation: Formalization and logical properties 2008 Alsinet T, Chesñevar CI, Godo L, Simari GR. Article d'investigació
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification 2008 Alsinet T, Chesñevar C, Godo L, Sandri S, Simari G. Article d'investigació
Lògica Computacional. Pràctiques de curs 2007 Alsinet, T. Apunts docents
Lògica Computacional. Col.lecció de problemes 2007 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2007 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Laboratori 2007 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2006 Alsinet, T. Apunts docents
Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification 2006 Alsinet T, Chesñevar CI, Godo L, Sandri S. Capítol de llibre d'investigació
On Warranted Inference in Possibilistic Defeasible Logic Programming 2006 Alsinet T, Chesñevar CI, Godo L, Simari S. Article d'investigació
Processadors de Llenguatge: Apunts de Laboratori 2006 Alsinet, T. Apunts docents
On Warranted Inference in Possibilistic Defeasible Logic Programming 2005 C.I. Chesñevar, G. Simari, L. Godo, T. Alsinet Capítol de llibre d'investigació
Argument-based Expansion Operators in Possibilistic Defeasible Logic Programming: characterization and Logical Properties 2005 Chesñevar CI, Simari S, Godo L, Alsinet T. Article d'investigació
Tractament de la vaguetat i la incertesa 2005 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2005 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Laboratori 2005 Alsinet, T. Apunts docents
Improved Exact Solvers for Weighted Max-SAT 2005 Alsinet T, Manyà F, Planes J. Article d'investigació
A Max-SAT Solver with Lazy Data Structures 2004 Alsinet T, Manyà F, Planes J. Article d'investigació
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge 2004 C.I. Chesñevar, G.R. Simari, T. Alsinet, L. Godo Capítol de llibre d'investigació
Metodologia i Tecnologia de la Programació: Exercicis de Programació (2a part) 2004 Alsinet, T. Apunts docents
Metodologia i Tecnologia de la Programació: Exercicis de Programació (1a part) 2004 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2004 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Laboratori 2004 Alsinet, T. Apunts docents
Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants 2004 Alsinet T, Godo Ll. Article d'investigació
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT 2003 T. Alsinet, F. Manyà, J. Planes Acta congrés
Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction 2003 T. Alsinet Llibre 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ó
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description 2002 Alsinet T, Godo Ll. Article d'investigació
Towards an Automated Deduction System for Logic Programming with Fuzzy Constants 2002 Alsinet T, Godo Ll. Article d'investigació
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem 2002 Alsinet T, Béjar R, Cabiscol A, Fernàndez C, Manyà F. Article d'investigació
Different models of fuzzy logic programming with fuzzy unification: Towards a revision fo fuzzy databases 2001 P. Vojtas, T. Alsinet, L. Godo Capítol de llibre d'investigació
Adding Similarity to Possibilistic Logic with Fuzzy Constants 2001 T. Alsinet, L. Godo Capítol de llibre d'investigació
A proof procedure for possibilistic logic programming with fuzzy constants 2001 Alsinet T, Godo L. Article d'investigació
A Multi-Agent System Architecture for Monitoring Medical Protocols 2000 T. Alsinet, R. Béjar, C. Fernandez, F. Manyà Capítol de llibre d'investigació
A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables 2000 T. Alsinet, L. Godo Capítol de llibre d'investigació
A Complete Proof Method for Possibilistic Logic Programming with Semantical Unification of Fuzzy Constants 2000 T. Alsinet, L. Godo Capítol de llibre d'investigació
On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness 1999 T. Alsinet, L. Godo, S. Sandri Capítol de llibre 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ó
Una primera aproximación a la unificación fuzzy vía relaciones de compatibilidad 1997 T. Alsinet Capítol de llibre d'investigació
A Declarative Programming Environment for Infinitely-Valued Logics 1996 T. Alsinet, F. Manyà Capítol de llibre d'investigació