| Horn fragments of the Halpern-Shoham interval temporal logic D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ... ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017 | 35 | 2017 |
| A logic framework for reasoning with movement based on fuzzy qualitative representation E Muñoz-Velasco, A Burrieza, M Ojeda-Aciego Fuzzy Sets and Systems 242, 114-131, 2014 | 24 | 2014 |
| Sub-propositional fragments of the interval temporal logic of Allen’s relations D Bresolin, E Muñoz-Velasco, G Sciavicco European Workshop on Logics in Artificial Intelligence, 122-136, 2014 | 19 | 2014 |
| On coarser interval temporal logics E Muñoz-Velasco, M Pelegrín, P Sala, G Sciavicco, IE Stan Artificial Intelligence 266, 1-26, 2019 | 18 | 2019 |
| Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance J Golińska-Pilarek, E Muñoz-Velasco Logic Journal of the IGPL 17 (4), 375-394, 2009 | 18 | 2009 |
| Implementing a relational theorem prover for modal logic A Mora, E Muñoz-Velasco, J Golińska-Pilarek International Journal of Computer Mathematics 88 (9), 1869-1884, 2011 | 16 | 2011 |
| An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance J Golińska-Pilarek, A Mora, E Munoz-Velasco Pacific Rim International Conference on Artificial Intelligence, 128-139, 2008 | 15 | 2008 |
| A PDL approach for qualitative velocity A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems …, 2011 | 14 | 2011 |
| A logic for order of magnitude reasoning with negligibility, non-closeness and distance A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego Current Topics in Artificial Intelligence: 12th Conference of the Spanish …, 2007 | 14 | 2007 |
| Relational Galois connections between transitive digraphs: characterization and construction IP Cabrera, P Cordero, E Muñoz-Velasco, M Ojeda-Aciego, B De Baets Information Sciences 519, 439-450, 2020 | 13 | 2020 |
| Extracting interval temporal logic rules: A first approach D Bresolin, E Cominato, S Gnani, E Muñoz-Velasco, G Sciavicco LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 120, 7-1-7-15, 2018 | 13 | 2018 |
| Fuzzy closure structures as formal concepts M Ojeda-Hernández, IP Cabrera, P Cordero, E Muñoz-Velasco Fuzzy Sets and Systems 463, 108458, 2023 | 12 | 2023 |
| Relational Galois connections between transitive fuzzy digraphs IP Cabrera, P Cordero, E Muñoz‐Velasco, M Ojeda‐Aciego, B De Baets Mathematical Methods in the Applied Sciences 43 (9), 5673-5680, 2020 | 12 | 2020 |
| Closeness and Distance relations in order of magnitude qualitative reasoning via PDL A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego Conference of the Spanish Association for Artificial Intelligence, 71-80, 2009 | 12 | 2009 |
| Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility J Golińska-Pilarek, E Munoz-Velasco International Journal of Computer Mathematics 86 (10-11), 1707-1718, 2009 | 11 | 2009 |
| On (fuzzy) closure systems in complete fuzzy lattices M Ojeda-Hernández, IP Cabrera, P Cordero, E Muñoz-Velasco 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2021 | 10 | 2021 |
| Relational dual tableau decision procedures and their applications to modal and intuitionistic logics J Golińska-Pilarek, T Huuskonen, E Muñoz-Velasco Annals of Pure and Applied Logic 165 (2), 409-427, 2014 | 10 | 2014 |
| A new deduction system for deciding validity in modal logic K J Golińska-Pilarek, E Muñoz-Velasco, A Mora Logic Journal of the IGPL 19 (2), 425-434, 2011 | 10 | 2011 |
| On the complexity of fragments of Horn modal logics D Bresolin, E Munoz-Velasco, G Sciavicco 2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016 | 9 | 2016 |
| Fuzzy closure structures as formal concepts II M Ojeda-Hernández, IP Cabrera, P Cordero, E Muñoz-Velasco Fuzzy Sets and Systems 473, 108734, 2023 | 8 | 2023 |
Manuel Ojeda-AciegoUniversidad de Málaga. Full Professor of Applied MathematicsDirección de correo verificada de uma.es
