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ó |
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ó |
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ó |
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 Polarization in Online Debates |
2021 |
Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Martínez, Santi |
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 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ó |
A Probabilistic Author-Centered Model for Twitter Discussions |
2018 |
Teresa Alsinet; Josep Argelich; Ramón Béjar; Francesc Esteva; Lluis Godo |
Acta congrés |
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ó |
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 |
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ó |
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ó |
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ó |
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ó |
Web Based System for Weighted 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 |
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 |
Grau en Enginyeria Informàtica. Exercicis de Programació 1: Taules, Punters i Disseny Descendent |
2011 |
T. Alsinet |
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ó |
Lògica Computacional. Col.lecció de problemes de lògica de primer ordre. |
2010 |
Alsinet, T. |
Apunts docents |
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 |
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ó |
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ó |
Exercicis de Programació: Disseny Recursiu |
2009 |
T. Alsinet |
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 |
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 |
Exercicis de Programació: Taules, Punters i Disseny Descendent |
2009 |
T. Alsinet |
Apunts docents |
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ó |
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ó |
Processadors de Llenguatge: Apunts de Laboratori |
2008 |
Alsinet, T. |
Apunts docents |
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 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 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ó |
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 |
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ó |