| 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 | 29 | 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 | 23 | 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 |
| 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 | 17 | 2009 |
| 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 Conference of the Spanish Association for Artificial Intelligence, 210-219, 2007 | 13 | 2007 |
| 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 | 12 | 2011 |
| 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 | 11 | 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 | 10 | 2009 |
| On coarser interval temporal logics E Muñoz-Velasco, M Pelegrín, P Sala, G Sciavicco, IE Stan Artificial Intelligence 266, 1-26, 2019 | 9 | 2019 |
| 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 |
| 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 | 9 | 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 | 9 | 2011 |
| Extracting interval temporal logic rules: A first approach D Bresolin, E Cominato, S Gnani, E Muñoz-Velasco, G Sciavicco 25th International Symposium on Temporal Representation and Reasoning (TIME …, 2018 | 8 | 2018 |
| 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 | 7 | 2020 |
| 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 | 7 | 2020 |
| Reasoning with qualitative velocity: Towards a hybrid approach J Golińska-Pilarek, E Muñoz-Velasco International Conference on Hybrid Artificial Intelligence Systems, 635-646, 2012 | 7 | 2012 |
| Relational dual tableau decision procedure for modal logic K J Golińska-Pilarek, E Munoz-Velasco, A Mora-Bonilla Logic Journal of the IGPL 20 (4), 747-756, 2012 | 6 | 2012 |
| Generalization of some properties of relations in the context of functional temporal× modal logic A Burrieza, IP De Guzmán, E Muñoz-Velasco International Journal of Computer Mathematics 85 (3-4), 371-383, 2008 | 6 | 2008 |
Manuel Ojeda-AciegoUniversidad de Málaga. Full Professor of Applied MathematicsVerified email at uma.es
