Teresa Alsinet

Teresa Alsinet, Lluis Godo: A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables. CoRR abs/1301.3832 (2013)

Teresa Alsinet, Lluis Godo, Sandra Sandri: On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness. CoRR abs/1301.7251 (2013)

Teresa Alsinet, Ramón Béjar, Lluis Godo, Francesc Guitart: Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation. ICTAI 2012: 1016-1021

Carlos Iván Chesñevar, Guillermo Ricardo Simari, Teresa Alsinet, Lluis Godo: A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. CoRR abs/1207.4123 (2012)

Teresa Alsinet, Ramón Béjar, Lluis Godo, Francesc Guitart: Maximal Ideal Recursive Semantics for Defeasible Argumentation. SUM 2011: 96-109

Teresa Alsinet, Ramón Béjar, Lluis Godo: A characterization of collective conflict for defeasible argumentation. COMMA 2010: 27-38

Teresa Alsinet, Ramón Béjar, Lluis Godo: A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics. IBERAMIA 2010: 40-49

Teresa Alsinet, David Barroso, Ramón Béjar, Jordi Planes: A Formal Model of Competence-Based Assessment. CCIA 2009: 428-436

Teresa Alsinet, Carlos Iván Chesñevar, Lluis Godo, Guillermo Ricardo Simari: A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems 159(10): 1208-1228 (2008)

Teresa Alsinet, Carlos Iván Chesñevar, Lluis Godo, Sandra Sandri, Guillermo Ricardo Simari: Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification. Int. J. Approx. Reasoning 48(3): 711-729 (2008)

Teresa Alsinet, Felip Manyà, Jordi Planes: An efficient solver for weighted Max-SAT. J. Global Optimization 41(1): 61-73 (2008)

Teresa Alsinet, Carlos Iván Chesñevar, Lluis Godo: A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming. COMMA 2008: 1-12

Teresa Alsinet, Josep Puyol-Gruart, Carme Torras (Eds.): Artificial Intelligence Research and Development, Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2008, October 22-24, 2008, Sant Martí d'Empúries, Spain. Frontiers in Artificial Intelligence and Applications 184, IOS Press 2008, isbn 978-1-58603-925-7

Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo, Teresa Alsinet: On Warranted Inference in Possibilistic Defeasible Logic Programming. CCIA 2005: 265-272

Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo, Teresa Alsinet: Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties. ECSQARU 2005: 353-365

Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo, Teresa Alsinet: Expansion Operators for Modelling Agent Reasoning in Possibilistic Defeasible Logic Programming. EUMAS 2005: 474-475

Teresa Alsinet, Felip Manyà, Jordi Planes: Improved Exact Solvers for Weighted Max-SAT. SAT 2005: 371-377

Teresa Alsinet, Lluis Godo: Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants. Fuzzy Sets and Systems 144(1): 43-65 (2004)

Teresa Alsinet, Felip Manyà, Jordi Planes: A Max-SAT Solver with Lazy Data Structures. IBERAMIA 2004: 334-342

Carlos Iván Chesñevar, Guillermo Ricardo Simari, Teresa Alsinet, Lluis Godo: A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. UAI 2004: 76-84

Teresa Alsinet, Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Felip Manyà: Automated monitoring of medical protocols: a secure and distributed architecture. Artificial Intelligence in Medicine 27(3): 367-392 (2003)

Teresa Alsinet, Lluis Godo, Sandra Sandri: Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electr. Notes Theor. Comput. Sci. 66(5): 1-21 (2002)

Teresa Alsinet, Lluis Godo: Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. Int. J. Intell. Syst. 17(9): 887-924 (2002)

Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà: Minimal and Redundant SAT Encodings for the All-Interval-Series Problem. CCIA 2002: 139-144

Teresa Alsinet, Lluis Godo: A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants. ECSQARU 2001: 760-771

Teresa Alsinet, Ramón Béjar, Cèsar Fernández, Felip Manyà: A Multi-agent system architecture for monitoring medical protocols. Agents 2000: 499-505

Teresa Alsinet, Lluis Godo: A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables. UAI 2000: 1-10

Teresa Alsinet, Lluis Godo, Sandra Sandri: On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness. UAI 1999: 3-12