ALSINET BERNADÓ, MARIA TERESA

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

Docencia

Enseñanza Curso Asignatura
Grado en Ingeniería Informática 1 LÓGICA COMPUTACIONAL
Grado en Ingeniería Informática 1 PROGRAMACIÓN I
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 1 LÓGICA COMPUTACIONAL
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 1 PROGRAMACIÓN I
Grado en Ingeniería Informática 4 PROCESADORES DE LENGUAJE

Investigación

Grupo de investigación: GREiA. Grup de Recerca en Energia i Intel·ligència Artificial
Tesis Año Dirección
Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction 2001 Dr. Lluís Godo Lacasa
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ó
User Profile Analysis in Reddit Debates 2019 Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez Acta congrés
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ó
An Argumentation Approach for Agreement Analysis in Reddit Debates 2018 Teresa Alsinet; Josep Argelich; Ramón Béjar; Santi Martínez Acta congrés
A Probabilistic Author-Centered Model for Twitter Discussions 2018 Teresa Alsinet; Josep Argelich; Ramón Béjar; Francesc Esteva; Lluis Godo Acta congrés
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ó
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
Programació 1: notes del curs 2017 Teresa Alsinet; Josep Argelich; Sergi Vila Llibre docent
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
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ó
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
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 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
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. Sessions de lògica proposicional. 2011 Alsinet, T. Apunts docents
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 Characterization of Collective Conflict for Defeasible Argumentation 2010 T. Alsinet; R. Béjar; L. Godo Capítol de llibre d'investigació
Lògica Computacional. Col.lecció de problemes de lògica proposicional. 2010 Alsinet, T. Apunts docents
Grau en Enginyeria Informàtica. Col.lecció de problemes per a les sessions amb grup reduït. 2010 T. Alsinet Apunts docents
Grau en Enginyeria Informàtica. Exercicis de Programació 1: Taules, Punters i Disseny Descendent 2010 T. Alsinet Apunts docents
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ó
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ó
Lògica Computacional. Col.lecció de problemes de lògica de primer ordre. 2010 Alsinet, T. Apunts docents
A formal model of competence-based assessment 2009 Alsinet T, Barroso D, Bejar R, Planes J. Acta congrés
Exercicis de Programació: Especificació Formal i Gestió de Fitxers 2009 T. Alsinet Apunts docents
Exercicis de Programació: Disseny Recursiu 2009 T. Alsinet 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ó
Lògica Computacional. Col.lecció de problemes 2009 Alsinet, T. Apunts docents
A robust competence evaluation formal model 2009 Teresa Alsinet, David Barroso, Ramón Béjar and Jordi Planes Capítol de llibre d'investigació
Exercicis de Programació: Taules, Punters i Disseny Descendent 2009 T. Alsinet Apunts docents
Autonomic Electronic Institutions TIN2006-15662-C02 2009 Juan A. Rodríguez-Aguilar; Teresa Alsinet Informes de recerca
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ó
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
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ó
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ó
An efficient solver for Weighted Max-SAT 2008 Alsinet T, Manyà F, Planes J. Article d'investigació
A logic programming framework for possibilistic argumentation: Formalization and logical properties 2008 Alsinet T, Chesñevar CI, Godo L, Simari GR. Article d'investigació
Lògica Computacional. Col.lecció de problemes 2007 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Laboratori 2007 Alsinet, T. Apunts docents
Lògica Computacional. Pràctiques de curs 2007 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2007 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2006 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Laboratori 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ó
Improved Exact Solvers for Weighted Max-SAT 2005 Alsinet T, Manyà F, Planes J. Article 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ó
Processadors de Llenguatge: Apunts de Laboratori 2005 Alsinet, T. Apunts docents
Processadors de Llenguatge: Apunts de Curs 2005 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ó
Tractament de la vaguetat i la incertesa 2005 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ó
Processadors de Llenguatge: Apunts de Laboratori 2004 Alsinet, T. Apunts docents
A Max-SAT Solver with Lazy Data Structures 2004 Alsinet T, Manyà F, Planes J. Article 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
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ó
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ó
Towards an Automated Deduction System for Logic Programming with Fuzzy Constants 2002 Alsinet T, Godo Ll. 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ó
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 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ó
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ó
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ó