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 | 136 | 2008 |
A logic programming framework for possibilistic argumentation with vague knowledge C Chesnevar, G Simari, T Alsinet, L Godo arXiv preprint arXiv:1207.4123, 2012 | 114 | 2012 |
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 | 86 | 2020 |
A complete calculus for possibilistic logic programming with fuzzy propositional variables T Alsinet, L Godo arXiv preprint arXiv:1301.3832, 2013 | 75 | 2013 |
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 | 59 | 2008 |
Improved branch and bound algorithms for Max-SAT T Alsinet Sixth International Conference on Theory and Applications of Satisfiability …, 2003 | 58 | 2003 |
Improved exact solvers for weighted Max-SAT T Alsinet, F Manya, J Planes International Conference on Theory and Applications of Satisfiability …, 2005 | 49 | 2005 |
A Max-SAT solver with lazy data structures T Alsinet, F Manya, J Planes Advances in Artificial Intelligence–IBERAMIA 2004: 9th Ibero-American …, 2004 | 40 | 2004 |
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 | 38 | 2003 |
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 | 36 | 2017 |
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 | 35 | 2013 |
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 | 35 | 2000 |
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 | 32 | 2002 |
An efficient solver for weighted Max-SAT T Alsinet, F Manya, J Planes Journal of Global Optimization 41, 61-73, 2008 | 30 | 2008 |
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 | 29 | 2002 |
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 | 25 | 2001 |
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 | 24 | 2005 |
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 | 20 | 2004 |
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 | 18 | 2016 |
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 | 17 | 2008 |