Emilio Muñoz-Velasco

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