Edit Profile (opens in new tab) Muñoz-Velasco, Emilio Co-Author Distance Author ID: munoz-velasco.emilio Published as: Muñoz-Velasco, Emilio; Muñoz-Velasco, E. Documents Indexed: 33 Publications since 2008 1 Contribution as Editor Reviewing Activity: 7 Reviews Co-Authors: 26 Co-Authors with 34 Joint Publications 415 Co-Co-Authors all top 5 Co-Authors 0 single-authored 10 Ojeda-Aciego, Manuel 9 Sciavicco, Guido 8 Burrieza, Alfredo 8 Golińska-Pilarek, Joanna 7 Cabrera, Inma P. 7 Cordero, Pablo 6 Bresolin, Davide 3 Pérez de Guzmán, Inmaculada 3 Mora, Angel 3 Ojeda-Hernández, Manuel 2 Conradie, Willem 2 De Baets, Bernard 2 Della Monica, Dario 2 Stan, Ionel Eduard 1 Cominato, Enrico 1 Gnani, Simone 1 Huuskonen, Taneli 1 Kurucz, Agi 1 López-Rodríguez, Domingo 1 Mora-Bonilla, Angel 1 Ozaki, Ana 1 Pelegrín, Mercedes 1 Ryzhikov, Vladislav 1 Sala, Pietro 1 Theobald, Martin 1 Zakharyaschev, Michael Viktorovich all top 5 Serials 5 Logic Journal of the IGPL 4 International Journal of Computer Mathematics 3 Fuzzy Sets and Systems 1 Artificial Intelligence 1 Mathematical Methods in the Applied Sciences 1 Information Sciences 1 Annals of Pure and Applied Logic 1 International Journal of Approximate Reasoning 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 24 Mathematical logic and foundations (03-XX) 19 Computer science (68-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 2 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 55 times in 30 Documents Cited by ▼ Year ▼ Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029 Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael 8 2017 Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 6 2014 Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043 Golinska-Pilarek, J.; Muñoz-Velasco, E. 6 2009 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 5 2020 On coarser interval temporal logics. Zbl 1480.03010 Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard 4 2019 Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Zbl 1181.03018 Golińska-Pilarek, J.; Muñoz-Velasco, E. 3 2009 Fuzzy closure systems: motivation, definition and properties. Zbl 07581220 Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio 3 2022 Generalization of some properties of relations in the context of functional temporal \(\times \) modal logic. Zbl 1147.03010 Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E. 3 2008 Fast(er) reasoning in interval temporal logic. Zbl 1434.03066 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 2 2017 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 A new deduction system for deciding validity in modal logic K. Zbl 1252.03027 Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel 2 2011 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019 Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. 2 2011 Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Zbl 1317.03017 Golińska-Pilarek, Joanna; Huuskonen, Taneli; Muñoz-Velasco, Emilio 2 2014 A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241 Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. 1 2014 Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038 Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E. 1 2009 A PDL approach for qualitative velocity. Zbl 1214.68380 Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. 1 2011 Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041 Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel 1 2012 Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. Zbl 1185.03020 Burrieza, Alfredo; de Guzmán, Inmaculada P.; Muñoz-Velasco, Emilio 1 2010 Extracting interval temporal logic rules: a first approach. Zbl 1487.68192 Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido 1 2018 An approach to fuzzy modal logic of time intervals. Zbl 1464.68349 Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido 1 2020 Fuzzy closure systems: motivation, definition and properties. Zbl 07581220 Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio 3 2022 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 5 2020 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 An approach to fuzzy modal logic of time intervals. Zbl 1464.68349 Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido 1 2020 On coarser interval temporal logics. Zbl 1480.03010 Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard 4 2019 Extracting interval temporal logic rules: a first approach. Zbl 1487.68192 Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido 1 2018 Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029 Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael 8 2017 Fast(er) reasoning in interval temporal logic. Zbl 1434.03066 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 2 2017 Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 6 2014 Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Zbl 1317.03017 Golińska-Pilarek, Joanna; Huuskonen, Taneli; Muñoz-Velasco, Emilio 2 2014 A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241 Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. 1 2014 Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041 Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel 1 2012 A new deduction system for deciding validity in modal logic K. Zbl 1252.03027 Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel 2 2011 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019 Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. 2 2011 A PDL approach for qualitative velocity. Zbl 1214.68380 Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. 1 2011 Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. Zbl 1185.03020 Burrieza, Alfredo; de Guzmán, Inmaculada P.; Muñoz-Velasco, Emilio 1 2010 Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043 Golinska-Pilarek, J.; Muñoz-Velasco, E. 6 2009 Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Zbl 1181.03018 Golińska-Pilarek, J.; Muñoz-Velasco, E. 3 2009 Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038 Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E. 1 2009 Generalization of some properties of relations in the context of functional temporal \(\times \) modal logic. Zbl 1147.03010 Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E. 3 2008 all cited Publications top 5 cited Publications all top 5 Cited by 34 Authors 16 Muñoz-Velasco, Emilio 6 Burrieza, Alfredo 5 Ojeda-Aciego, Manuel 5 Sciavicco, Guido 4 Golińska-Pilarek, Joanna 3 Bresolin, Davide 3 Cabrera, Inma P. 3 Cordero, Pablo 3 Pérez de Guzmán, Inmaculada 3 Ojeda-Hernández, Manuel 3 Sioutis, Michael 2 Madrid, Nicolás 2 Mora, Angel 2 Stan, Ionel Eduard 2 Wolter, Diedrich 1 Aragón, Roberto G. 1 Balbiani, Philippe 1 Chlebowski, Szymon 1 Cominato, Enrico 1 Conradie, Willem 1 Della Monica, Dario 1 Fortes, Inmaculada 1 Gnani, Simone 1 Huuskonen, Taneli 1 Ignaszak, Mateusz 1 Janhunen, Tomi 1 Leszczyńska-Jasion, Dorota 1 Medina, Jesús 1 Paparrizou, Anastasia 1 Pelegrín, Mercedes 1 Ramírez-Poussa, Eloisa 1 Sala, Pietro 1 Wałęga, Przemysław Andrzej 1 Zawidzki, Michał all top 5 Cited in 14 Serials 3 Fuzzy Sets and Systems 3 Information and Computation 3 International Journal of Computer Mathematics 2 Annals of Pure and Applied Logic 2 Mathematical Logic Quarterly (MLQ) 2 Journal of Applied Logic 1 Artificial Intelligence 1 Mathematical Methods in the Applied Sciences 1 Studia Logica 1 Theoretical Computer Science 1 International Journal of Approximate Reasoning 1 Journal of Applied Non-Classical Logics 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Logical Methods in Computer Science Cited in 3 Fields 20 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year