Emilio Muñoz-Velasco

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 40

Top Topics

Satisfiability Problem

Mazurkiewicz Traces

Top Venues

Fuzzy Sets Syst.

Publications

Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
On Pseudointents in Fuzzy Formal Concept Analysis. ICCS (2023)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Fuzzy closure structures as formal concepts II. Fuzzy Sets Syst. 473 (2023)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
On the Commutative Diagrams Among Galois Connections Involved in Closure Structures. ICFCA (2023)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Fuzzy relational Galois connections between fuzzy transitive digraphs. Fuzzy Sets Syst. 463 (2023)
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)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Fuzzy closure structures as formal concepts. Fuzzy Sets Syst. 463 (2023)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456 (2023)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection. CLA (2022)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Relational Extension of Closure Structures. IPMU (1) (2022)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Fuzzy closure relations. Fuzzy Sets Syst. 450 (2022)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
Fuzzy closure systems: Motivation, definition and properties. Int. J. Approx. Reason. 148 (2022)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. IPMU (1) (2022)
Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso
On Modal Logic Association Rule Mining. ICTCS (2022)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
On (fuzzy) closure systems in complete fuzzy lattices. FUZZ-IEEE (2021)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS (2020)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
Galois Connections Between Unbalanced Structures in a Fuzzy Framework. IPMU (3) (2020)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Log. J. IGPL 28 (1) (2020)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI (2020)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Relational Galois connections between transitive digraphs: Characterization and construction. Inf. Sci. 519 (2020)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
Towards fuzzy relational Galois connections between fuzzy T-digraphs. EUSFLAT Conf. (2019)
Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco
A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. J. Multiple Valued Log. Soft Comput. 32 (3-4) (2019)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Relational Extension of Galois Connections. ICFCA (2019)
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
On coarser interval temporal logics. Artif. Intell. 266 (2019)
Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari
Towards Interval Temporal Logic Rule-Based Classification. OVERLAY@AI*IA (2019)
Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco
Extracting Interval Temporal Logic Rules: A First Approach. TIME (2018)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14 (2) (2018)
Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC (2017)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18 (3) (2017)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Fast(er) Reasoning in Interval Temporal Logic. CSL (2017)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A multimodal logic for closeness. J. Appl. Non Class. Logics 27 (3-4) (2017)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. GandALF (2016)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. HAIS (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic. CoRR (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On the Complexity of Fragments of Horn Modal Logics. TIME (2016)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17 (2016)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR (2016)
Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco
A Movement Control System Based on Qualitative Reasoning. SOCO (2015)
Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco
Undecidability of Chop. TIME (2015)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
A hybrid qualitative approach for relative movements. Log. J. IGPL 23 (3) (2015)
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco
On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA (2015)
Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego
A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets Syst. 242 (2014)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CILC (2014)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA (2014)
Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Ann. Pure Appl. Log. 165 (2) (2014)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE (2013)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20 (4) (2012)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) (2012)
Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88 (9) (2011)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19 (2) (2011)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19 (1) (2011)
Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
Analyzing completeness of axiomatic functional systems for temporal × modal logics. Math. Log. Q. 56 (1) (2010)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA (2009)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Log. J. IGPL 17 (4) (2009)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Int. J. Comput. Math. 86 (10&11) (2009)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. 86 (10&11) (2009)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. 85 (3&4) (2008)
Joanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI (2008)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA (2008)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA (2007)
Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA (2006)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA (2005)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME (2002)