CA | ES | EN
Teresa
Teresa
 
Alsinet
Alsinet

Industrial PhD Student
Industrial PhD Student


Teresa
Teresa
 
Alsinet
Alsinet
Industrial PhD Student
Industrial PhD Student

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
tracy@eup.udl.es
tracy@eup.udl.es
Research areas:
Impact areas:
SDGs:
2018
Teresa Alsinet,  Josep Argelich,  Ram{\'{o}}n B{\'{e}}jar,  Francesc Esteva,  & Lluís Godo (2018). A Probabilistic Author-Centered Model for Twitter Discussions. J. Medina al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Proceedings, Part {II} (pp. 683--695). Springer. https://doi.org/10.1007/978-3-319-91476-3\_56. [BibTeX]  [PDF]
2016
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2016). Formalization and logical properties of the Maximal Ideal Recursive Semantics for Weighted Defeasible Logic Programming. Journal of Experimental & Theoretical Artificial Intelligence, 28, 275-294. https://doi.org/http://www.tandfonline.com/doi/full/10.1080/0952813X.2015.1024490. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2016). RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics. Journal of Logic and Computation, 26, 1315-1360. https://doi.org/http://logcom.oxfordjournals.org/content/early/2014/02/14/logcom.exu008.short?rss=1. [BibTeX]  [PDF]
2014
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2014). On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA 2014 (pp. 215 - 224). IOS Press. https://doi.org/http://ebooks.iospress.nl/volumearticle/38068. [BibTeX]  [PDF]
2013
Teresa Alsinet,  David Barroso,  Ramon Bejar,  Fèlix Bou,  Marco Cerami,  & Francesc Esteva (2013). On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013 (pp. 325-330). Springer. https://doi.org/http://link.springer.com/chapter/10.1007\%2F978-3-642-40381-1_25. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2013). On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. 7th International Conference on Scalable Uncertainty Management, SUM 2013 (pp. 71-77). Springer. https://doi.org/http://link.springer.com/chapter/10.1007%2F978-3-642-40381-1_6. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2013). Web Based System for Weighted Defeasible Argumentation. J. Leite, T. C. Son, P. Torroni, L. Torre, & S. Woltran (Eds.), 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV (pp. 155-171). Springer. https://doi.org/http://link.springer.com/chapter/10.1007%2F978-3-642-40624-9_10. [BibTeX]  [PDF]
2012
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2012). Using Answer Set Programming for an scalable implementation of Defeasible Argumentation. 24th IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2012 (pp. 1016--1021). IEEE Conference Publishing Services. [BibTeX]  [PDF]
2011
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2011). Maximal Ideal Recursive Semantics for Defeasible Argumentation. J. Grant S. Benferhat (Eds.), SUM 2011 (pp. 96-109). Springer-Verlag. [BibTeX]  [PDF]
2010
Teresa Alsinet,  Ramon Bejar,  & Lluís Godo (2010). A characterization of collective conflict for defeasible argumentation. Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, & Guillermo R. Simari (Eds.), Third International Conference on Computational Models of Argument, COMMA 2010 (pp. 27-38). IOS Press. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  & Lluís Godo (2010). A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics. A. Kuri-Morales, & G. Simari (Eds.), 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010 (pp. 40-49). Springer. [BibTeX]  [PDF]
2008
Teresa Alsinet,  C. Chesñevar,  & Lluís Godo (2008). A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming. S. Doutre P. Besnard, & A. Hunter (Eds.), Computational Models of Argument, COMMA 2008 (pp. 1-12). IOS Press. [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  & G. Simari (2008). A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties. Fuzzy Sets and Systems, 159, 1208-1228. [BibTeX]  [PDF]
Teresa Alsinet,  Felip Manyà,  & Jordi Planes (2008). An Efficient Solver for Weighted Max-SAT. Journal of Global Optimization, 41, 61-73. [BibTeX]
Teresa Alsinet,  Josep Puyol-Gruart,  & Carme Torras (2008). Artificial Intelligence Research and Development . IOS Press. [BibTeX]
Teresa Alsinet,  C. Chesñevar,  & Lluís Godo (2008). Computation of Skeptical Outputs in P-DeLP Satisfying Indirect Consistency: a Level-based Approach. J.L. Verdegay L. Magdalena (Eds.), IPMU 2008 (pp. 497-504). [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2008). Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning, 48, 711-729. [BibTeX]  [PDF]
2006
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2006). Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification. Proc. 11th Intl. Conference IPMU 2006 (pp. 1228-1235). Edition E.D.K.. [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2006). On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification. Jurgen Dix, & Anthony Hunter (Eds.), Technical report IfI-06-04, (pp. 227-235). TU Clausthal. [BibTeX]  [PDF]
2005
C. Chesñevar,  G. Simari,  Lluís Godo,  & Teresa Alsinet (2005). Argumented-based expansion operators in possibilistic defensible logic programming: characterization and logical properties. Lluís Godo (Eds.), Lecture Notes in Artificial Intelligence (pp. 353 - 365). Springer. [BibTeX]  [PDF]