Emilio Muñoz-Velasco's publications (November 2023)
64. Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco: Fuzzy closure structures as formal concepts II. Fuzzy Sets and Systems. Volume 473, 2023. [DOI ]
63. Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan: A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. TIME 2023: 9:1-9:14. [DOI]
62. Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco: Fuzzy closure structures as formal concepts. Fuzzy Sets and Systems. Volume 463, 2023. [DOI ]
61 I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. Fuzzy relational Galois connections between fuzzy transitive digraphs. Fuzzy Sets and Systems, 2023. [ bib | DOI | Abstract ]
60. Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso: On Modal Logic Association Rule Mining. ICTCS 2022: 53-65
59. M. Ojeda-Hernández, I.P. Cabrera, P. Cordero, E. Muñoz-Velasco. Fuzzy closure systems. Motivation, definition and properties. International Journal of Approximate Reasoning, 2022. [ DOI ]
58. M. Ojeda-Hernández, I.P. Cabrera, P. Cordero, E. Muñoz-Velasco. Fuzzy closure relations. Fuzzy sets and systems, 2022. [ DOI ]
57. W. Conradie, D. Della Monica, E. Muñoz-Velasco, G. Sciavicco and IE Stan: Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy sets and systems, 2022. [ DOI ]
56. I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego and B. De Baets. On the definition of fuzzy relational Galois connections between fuzzy transitive digraphs. International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp. 100-106, 2022. [ bib | DOI ]
55. M. Ojeda-Hernández, I.P. Cabrera, P. Cordero, E. Muñoz-Velasco. Relational extension of closure structures. International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp. 76-82, 2022. [ bib | DOI ]
54. D. López-Rodríguez, E. Muñoz-Velasco, and M. Ojeda-Aciego. Formal methods in FCA and big data. In R. Missaoui, L. Kwuida, and T. Abdessalem, editors, Formal Concept Analysis as Explainable Support for Complex Data Analytics. Springer, 2022. [ bib | DOI ]
53. M. Ojeda-Hernández, I.P. Cabrera, P. Cordero, E. Muñoz-Velasco. Closure Systems as a Fuzzy Extension of Meet-subsemilattices. 19th World Congress of the International Fuzzy Systems Association (IFSA), 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 2021. [ bib | http ]
52. M. Ojeda-Hernández, I.P. Cabrera, P. Cordero, E. Muñoz-Velasco. On (fuzzy) closure systems in complete fuzzy lattices. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). [ bib | http ]
51. A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. Cercanía y despreciabilidad usando lógica con órdenes de magnitud. In C. Barés, F.J. Salguero, and F. Soler, editors, Lógica, Conocimiento y Abducción. College Publications, 2021. ISBN: 978-1-84890-358-6. [ bib | http | Abstract ]
50. I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Galois connections between unbalanced structures in a fuzzy framework. Communications in Computer and Information Science, 1239:736-747, 2020. [ bib | DOI | Abstract ]
49. D. Della Monica, W. Conradie, E. Muñoz-Velasco, G. Sciavicco, and I.E. Stan. Time Series Checking with Fuzzy Interval Temporal Logics. CEUR Workshop Proceedings 2756, 250 - 262. Proceedings of the 21th Italian Conference on Theoretical Computer Science (ICTCS 2020).
48. Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald editors. 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. LIPIcs178, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-167-2
47. I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. Relational Galois connections between transitive fuzzy digraphs. Mathematical Methods in the Applied Sciences 43(9):5673-5680, 2020. [ bib | DOI | .pdf | Abstract ]
46. D. Della Monica, W. Conradie, E. Muñoz-Velasco, G. Sciavicco: An Approach to Fuzzy Modal Logic of Time Intervals. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), 696-703.
45. A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Logic Journal of the IGPL, 28(1):121-133, 2020.
44. II.P. Cabrera, P. Cordero, E. Muñoz-Velasco, M. Ojeda-Aciego, and B. De Baets. Relational Galois connections between transitive digraphs: characterization and construction. Information Sciences, 519:439-450, 2020. [ bib | DOI | .pdf | Abstract ]
43. E. Lucena-Sánchez, E. Muñoz-Velasco, G. Sciavicco, I.E. Stan and A. Vaccari: Towards Interval Temporal Logic Rule-Based Classification. CEUR Workshop Proceedings 2509, 65 - 70. Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2019).
42. I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. A relational extension of Galois connections. In Proc. of Intl Conf on Formal Concept Analysis (ICFCA), Lecture Notes in Artificial Intelligence, vol 11511, pages 290-303, 2019.
41. E. Muñoz-Velasco,; M. Pelegrín-García; P. Sala; G. Sciavicco and I.E. Stan: On Coarser Interval Temporal Logics; Artificial Intelligence, vol. 266, pp. 1-26, 2019.
40. I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Towards fuzzy relational Galois connections between fuzzy t-digraphs. In Proc. of the European Society on Fuzzy Logic and Technology, EUSFLAT'19, 2019.
39. I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, and M. Ojeda-Aciego. Relational connections between preordered sets. Lecture Notes in Electrical Engineering, 574:163-169, 2019.
38. A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. Logics for order-of-magnitude qualitative reasoning: formalizing negligibility. In M. Zawidzki and J. Golinska-Pilarek editors, Ewa Orlowska on Relational Methods in Logic and Computer Science, volume 17 of Outstanding Contributions to Logic, chapter 8. Springer, 2018.
37. BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: On Sub-Propositional Fragments of Modal Logic. Logical Methods in Computer Science 14(2) (2018).
36. BRESOLIN, D.; COMINATO, E.; GNANI, S.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: Extracting Interval Temporal Logic Rules: A First Approach. Leibniz International Proceedings in Informatics 120, 2018, 7:1 - 7:15. Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018 (TIME 2018).
35. BURRIEZA, A; MUÑOZ-VELASCO, E; OJEDA-ACIEGO, M. A multimodal logic for closeness. Journal of Applied Non-Classical Logics 27(3-4): 225-237 (2017).
34: BRESOLIN, D.; KURUCZ, A.; MUÑOZ-VELASCO, E.; RYZHIKOV, V; SCIAVICCO, G.; ZAKHARYASCHEV, M.: Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017)
33. MUÑOZ-VELASCO, E.; STAN, I. E.; SCIAVICCO, G.: Implementation of a Tableau-Based Satisfiability Checker for HS3. Accepted for publication on the Proceedings of the 32nd Italian Conference on Computational Logic (CILC 2017);
32. BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: Fast(er) Reasoning in Interval Temporal Logic; Leibniz International Proceedings in Informatics 82, 2017, 1 - 17. Proceedings of the 26th Conference on Computer Science Logic (CSL2017).
31. WALEGA, P.; MUÑOZ-VELASCO, E. A Stable Qualitative Movement Control System based on Propositional Dynamic Logic.. Journal of Multiple-Valued Logic and Soft Computing, ISSN 1542-3980, 2017.
30: BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: On Sub-Propositional Fragments of Modal Logic, (Technical Report, 2016)
29: BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: On the Complexity of Fragments of Horn Modal Logics; Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), 2016, 186 - 195;
28. BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: On the Expressive Power of Sub-Propositional Fragments of Modal Logic. Electronic Proceedings of Theoretical Computer Science 226, 2016, 91 - 104. Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verication (GANDALF 2016), 2016;
27. BURRIEZA, A; MUÑOZ-VELASCO, E; OJEDA-ACIEGO, M. A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. Proceedings of HAIS 2016, 11th International Conference on Hybrid Artificial Intelligence Systems. Lecture Notes Artficial Intelligence 9648, pp 721-729, 2016.
26: GOLINSKA-PILAREK, J.; MUÑOZ-VELASCO, E., MORA, A.: Tableau reductions: Towards an optimal decision procedure for the modal necessity. Journal of Applied Logic 17: 14-24, Elsevier, 2016.
25. MUÑOZ-VELASCO, E.; PELEGRÍN-GARCÍA, M.; SALA, P; SCIAVICCO, G.: On Coarser Interval Temporal Logics and their Satisfiability Problem; Lecture Notes in Computer Science 9422, 2015, 1 - 11. Proceedings of the 16th Conference of the Spanish Associaton for Artifilical Intelligence (CAEPIA 2015).
24. MONTANARI, A.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: Undecidability of Chop: Proceedings of the 22th International Symposium on Temporal Representation and Reasoning (TIME 2015), 2015, 79 - 89
23. WALEGA, P.; MUÑOZ-VELASCO, E.: A Movement Control System Based on Qualitative Reasoning. Advances in Intelligent Systems and Computing Volume 368, pp 179-189. Springer, 2015.
22. GOLINSKA-PILAREK, J.; MUÑOZ-VELASCO, E.: A hybrid qualitative approach for relative movements Logic Journal of the IGPL, (2015) 23 (3): 410-420.
21. BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014). LNAI 8761, pp. 122-136, 2014.
20. BRESOLIN, D.; MUÑOZ-VELASCO, E.; SCIAVICCO, G.: A First Study of the Horn Fragment of the Modal Logic of Time Intervals; CEUR-WS.ORG 1195, (2014), 314 - 318. Proceedings of the 29th Convegno Italiano di Logica Computazionale (CILC 2014).
19. MUÑOZ-VELASCO, E,; BURRIEZA, A.; OJEDA-ACIEGO, M.: A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets and Systems, Vol. 242, pp. 114-131, (2014).
18. GOLINSKA-PILAREK, J.,; HUUSKONEN, T.; MUÑOZ-VELASCO, E.: Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Annals of Pure and Applied Logic, Vol. 165, Issue 2, pp. 409-427 (2014). http://dx.doi.org/10.1016/j.apal.2013.06.003
17. GOLINSKA-PILAREK, J.; MUÑOZ-VELASCO, E. : Reasoning with Qualitative Velocity: Towards a Hybrid Approach. Lecture Notes in Computer Science 7208, pp. 635–646, 2012. http://dx.doi.org/10.1007/978-3-642-28942-2_57
16. GOLINSKA-PILAREK, J.; MUÑOZ-VELASCO, E., MORA, A.: Relational Dual Tableau Decision Procedure for Modal Logic K. Logic Journal of the IGPL, Vol 20, Issue 4, pp 747-756, 2012. http://dx.doi.org/10.1093/jigpal/jzr019
15. BURRIEZA, A; MUÑOZ-VELASCO, E; OJEDA-ACIEGO, M.: A PDL approach for qualitative velocity. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS) Vol 19, Issue 1, pp 11-26, (2011). http://dx.doi.org/10.1142/s021848851100685x
14. MORA, A.; MUÑOZ-VELASCO, E., GOLINSKA-PILAREK, J..: Implementing a relational theorem prover for modal logic K. International Journal of Computer Mathematics, Volume 88, Issue 9, 2011. http://dx.doi.org/10.1080/00207160.2010.493211
13. GOLINSKA-PILAREK, J.; MUÑOZ-VELASCO, E., MORA, A.: A new deduction system for deciding validity in modal logic K. Logic Journal of the IGPL, Vol. 19, No. 2, pp. 435-434, 2011. http://dx.doi.org/10.1093/jigpal/jzq033
12. BURRIEZA, A; MUÑOZ-VELASCO, E; OJEDA-ACIEGO, M.: Closeness and Distance in Order of Magnitude Qualitative Reasoning Via PDL. Lecture Notes in Computer Science, 5988:71-80, 2010. Springer. ISSN 0302-9743. http://dx.doi.org/10.1007/978-3-642-14264-2_8
11. BURRIEZA, A; P.DE GUZMAN, I; MUÑOZ-VELASCO, E.: Analyzing completeness of axiomatic functional systems for temporal x modal logics, Mathematical Logic Quaterly. Volume 57, Issue 1, pp. 89-102. 2010. ISSN 0942-5616 http://dx.doi.org/10.1002/malq.200810038
10. GOLINSKA-PILAREK; MUÑOZ-VELASCO, E.: Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility International Journal of Computer Mathematics Volume 86, Issue 10 & 11 October 2009 , pages 1707 - 1718. ISSN 0020-7160. http://dx.doi.org/10.1080/00207160902930752
9. GOLINSKA-PILAREK; MUÑOZ-VELASCO, E.: Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Logic Journal of IGPL 2009 17(4):375-394; ISSN 1367-0751. http://dx.doi.org/10.1093/jigpal/jzp016
8. BURRIEZA, A; P.DE GUZMAN, I; MUÑOZ-VELASCO, E.: Functional systems in the context of temporal x modal logics with indexed flows, International Journal of Computer Mathematics, Volume 86, Issue 10-11, pp. 1696-1706, 2009. ISSN 0020-7160. http://dx.doi.org/10.1080/00207160902795619
7. GOLINSKA-PILAREK, J. ; MORA, A; MUÑOZ-VELASCO, E.: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance. Lecture Notes in Artificial Intelligence Vol. 5351, pp. 128-139. Springer, 2008. ISSN 0302-9743
6. BURRIEZA, A; MUÑOZ-VELASCO, E; OJEDA-ACIEGO, M.: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. Lecture Notes in Artificial Intelligence Vol. 5290, pp. 11-20. Springer, 2008. ISSN 0302-9743.
5. BURRIEZA, A; MUÑOZ-VELASCO, E; OJEDA-ACIEGO, M.: A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. Lecture Notes in Artificial Intelligence Vol. 4788, pp. 210-219, Springer, 2007. ISSN 0302-9743. http://dx.doi.org/10.1007/978-3-540-75271-4_22
4. BURRIEZA, A; P.DE GUZMAN, I; MUÑOZ, E. : Generalization of some properties of relations in the context of functional temporal×modal logic. International Journal of Computer Mathematics, Volume 85, Issue 3, pp. 371 – 383, 2008. ISSN 0020-7160. http://dx.doi.org/10.1080/00207160701210141
3. BURRIEZA, A; MUÑOZ, E; OJEDA-ACIEGO, M.: Order of magnitude qualitative reasoning with bidirectional negligibility. Lecture Notes in Artificial Intelligence Vol. 4177, pp. 370-378, Springer, 2006. ISSN 0302-9743. http://dx.doi.org/10.1007/11881216_39
2. AGUILERA, G., BURRIEZA, A; CORDERO, P; P. DE GUZMAN, I. and MUÑOZ, E; MAT Logic: A Temporal x Modal Logic with Non-Deterministic Operators to Deal with Interactive Systems in Communication Technologies. Lecture Notes in Artificial Intelligence Vol. 4140, pp. 602–611 Springer, 2006. ISSN 0302-9743. http://dx.doi.org/10.1007/11874850_64
1. BURRIEZA, A; P.DE GUZMAN, I; MUÑOZ, E. : Indexed flows for temporal x modal logics with functional semantics. Proceedings Ninth International Symposium on Temporal Representation and Reasoning TIME-02, pp 146-153, IEEE Computer Society Press. Los Alamitos, California USA.2002. ISSN 1530-1311, ISBN 0-7695-1474-X . http://dx.doi.org/10.1109/time.2002.1027488
