×
Edit Profile (opens in new tab)

Muñoz-Velasco, Emilio

Co-Author Distance
Author ID: munoz-velasco.emilio Recent zbMATH articles by "Muñoz-Velasco, Emilio"
Published as: Muñoz-Velasco, Emilio; Muñoz-Velasco, E.
Documents Indexed: 34 Publications since 2008
1 Contribution as Editor
Reviewing Activity: 7 Reviews
Co-Authors: 26 Co-Authors with 35 Joint Publications
423 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
11 Ojeda-Aciego, Manuel
9 Burrieza, Alfredo
9 Sciavicco, Guido
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

26 Mathematical logic and foundations (03-XX)
19 Computer science (68-XX)
5 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

22 Publications have been cited 62 times in 34 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
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
Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel
3
2012
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
3
2014
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
A new deduction system for deciding validity in modal logic K. Zbl 1252.03027
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel
3
2011
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J.
3
2011
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
Fast(er) reasoning in interval temporal logic. Zbl 1434.03066
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
2
2017
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
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
A relational extension of Galois connections. Zbl 1535.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel
1
2019
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
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
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
Fuzzy Halpern and Shoham’s interval temporal logics. Zbl 1522.03069
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido; Stan, Ionel Eduard
1
2023
Fuzzy Halpern and Shoham’s interval temporal logics. Zbl 1522.03069
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido; Stan, Ionel Eduard
1
2023
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
A relational extension of Galois connections. Zbl 1535.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel
1
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
3
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
3
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
3
2011
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J.
3
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 40 Authors

17 Muñoz-Velasco, Emilio
6 Burrieza, Alfredo
6 Ojeda-Aciego, Manuel
5 Sciavicco, Guido
4 Cabrera, Inma P.
4 Cordero, Pablo
4 Golińska-Pilarek, Joanna
4 Sioutis, Michael
3 Bresolin, Davide
3 Pérez de Guzmán, Inmaculada
3 Ojeda-Hernández, Manuel
2 Madrid, Nicolás
2 Mora, Angel
2 Stan, Ionel Eduard
2 Wolter, Diedrich
1 Aragón, Roberto G.
1 Balbiani, Philippe
1 Cantone, Domenico
1 Chlebowski, Szymon
1 Cominato, Enrico
1 Conradie, Willem
1 De Baets, Bernard
1 Della Monica, Dario
1 Doherty, Patrick
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 Nicolosi Asmundo, Marianna
1 Paparrizou, Anastasia
1 Pelegrín, Mercedes
1 Ramírez-Poussa, Eloisa
1 Sala, Pietro
1 Salhi, Yakoub
1 Szałas, Andrzej
1 Wałęga, Przemysław Andrzej
1 Zawidzki, Michał
all top 5

Cited in 14 Serials

4 Information and Computation
3 Fuzzy Sets and Systems
3 International Journal of Computer Mathematics
2 Mathematical Methods in the Applied Sciences
2 Annals of Pure and Applied Logic
2 Mathematical Logic Quarterly (MLQ)
2 Journal of Applied Logic
1 Artificial Intelligence
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 4 Fields

24 Mathematical logic and foundations (03-XX)
20 Computer science (68-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
1 Combinatorics (05-XX)

Citations by Year