Segueix
Teresa Alsinet
Teresa Alsinet
Titular d'Universitat, Universitat de Lleida
Correu electrònic verificat a udl.cat
Títol
Citada per
Citada per
Any
A logic programming framework for possibilistic argumentation: Formalization and logical properties
T Alsinet, CI Chesñevar, L Godo, GR Simari
Fuzzy Sets and Systems 159 (10), 1208-1228, 2008
1372008
A logic programming framework for possibilistic argumentation with vague knowledge
C Chesnevar, G Simari, T Alsinet, L Godo
arXiv preprint arXiv:1207.4123, 2012
1152012
Effects of spatial variability and relic DNA removal on the detection of temporal dynamics in soil microbial communities
P Carini, M Delgado-Baquerizo, ELS Hinckley, H Holland‐Moritz, ...
MBio 11 (1), 10.1128/mbio. 02776-19, 2020
952020
A complete calculus for possibilistic logic programming with fuzzy propositional variables
T Alsinet, L Godo
arXiv preprint arXiv:1301.3832, 2013
772013
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
T Alsinet, CI Chesnevar, L Godo, S Sandri, G Simari
International Journal of Approximate Reasoning 48 (3), 711-729, 2008
592008
Improved branch and bound algorithms for Max-SAT
T Alsinet
Sixth International Conference on Theory and Applications of Satisfiability …, 2003
582003
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manya, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
492005
A Max-SAT solver with lazy data structures
T Alsinet, F Manya, J Planes
Advances in Artificial Intelligence–IBERAMIA 2004: 9th Ibero-American …, 2004
402004
Automated monitoring of medical protocols: a secure and distributed architecture
T Alsinet, C Ansótegui, R Béjar, C Fernández, F Manyà
Artificial Intelligence in Medicine 27 (3), 367-392, 2003
382003
Weighted argumentation for analysis of discussions in Twitter
T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes
International Journal of Approximate Reasoning 85, 21-35, 2017
362017
A Multi-agent system architecture for monitoring medical protocols
T Alsinet, R Béjar, C Fernanadez, F Manyà
Proceedings of the fourth international conference on Autonomous agents, 499-505, 2000
362000
On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness
T Alsinet, L Godo, S Sandri
arXiv preprint arXiv:1301.7251, 2013
352013
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
T Alsinet, L Godo, S Sandri
Electronic Notes in Theoretical Computer Science 66 (5), 1-21, 2002
332002
An efficient solver for weighted Max-SAT
T Alsinet, F Manya, J Planes
Journal of Global Optimization 41, 61-73, 2008
302008
Towards an automated deduction system for first‐order possibilistic logic programming with fuzzy constants
T Alsinet, L Godo
International Journal of Intelligent Systems 17 (9), 887-924, 2002
302002
A proof procedure for possibilistic logic programming with fuzzy constants
T Alsinet, L Godo
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001
252001
Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties
CI Chesnevar, GR Simari, L Godo, T Alsinet
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2005
242005
Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
T Alsinet, L Godo
Fuzzy Sets and Systems 144 (1), 43-65, 2004
202004
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics
T Alsinet, R Béjar, L Godo, F Guitart
Journal of Logic and Computation 26 (4), 1315-1360, 2016
182016
A level-based approach to computing warranted arguments in possibilistic defeasible logic programming
P Besnard
Computational Models of Argument: Proceedings of COMMA 2008 172, 1, 2008
172008
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20