default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEmilio Muñoz-Velasco
Person information
- affiliation: University of Málaga, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j26]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: 107-124 (2023)- [j25]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: 108456 (2023) - [j24]Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco:
Fuzzy closure structures as formal concepts. Fuzzy Sets Syst. 463: 108458 (2023) - [j23]Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco:
Fuzzy closure structures as formal concepts II. Fuzzy Sets Syst. 473: 108734 (2023) - [c34]Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco:
On Pseudointents in Fuzzy Formal Concept Analysis. ICCS 2023: 36-40 - [c33]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: 49-63 - [c32]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 - 2022
- [j22]Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco:
Fuzzy closure relations. Fuzzy Sets Syst. 450: 118-132 (2022) - [j21]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: 151-161 (2022) - [c31]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: 9-18 - [c30]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 - [c29]Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco:
Relational Extension of Closure Structures. IPMU (1) 2022: 77-86 - [c28]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: 100-106 - [p1]Domingo López-Rodríguez, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Formal Methods in FCA and Big Data. Complex Data Analytics with Formal Concept Analysis 2022: 201-224 - 2021
- [c27]Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco:
On (fuzzy) closure systems in complete fuzzy lattices. FUZZ-IEEE 2021: 1-6 - 2020
- [j20]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): 121-133 (2020) - [j19]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: 439-450 (2020) - [c26]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco:
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI 2020: 696-703 - [c25]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS 2020: 250-262 - [c24]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Galois Connections Between Unbalanced Structures in a Fuzzy Framework. IPMU (3) 2020: 736-747 - [e1]Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald:
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. LIPIcs 178, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-167-2 [contents]
2010 – 2019
- 2019
- [j18]Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan:
On coarser interval temporal logics. Artif. Intell. 266: 1-26 (2019) - [j17]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): 221-239 (2019) - [c23]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: 65-70 - [c22]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Towards fuzzy relational Galois connections between fuzzy T-digraphs. EUSFLAT Conf. 2019 - [c21]Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A Relational Extension of Galois Connections. ICFCA 2019: 290-303 - 2018
- [j16]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14(2) (2018) - [c20]Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco:
Extracting Interval Temporal Logic Rules: A First Approach. TIME 2018: 7:1-7:15 - 2017
- [j15]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A multimodal logic for closeness. J. Appl. Non Class. Logics 27(3-4): 225-237 (2017) - [j14]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): 22:1-22:39 (2017) - [c19]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Fast(er) Reasoning in Interval Temporal Logic. CSL 2017: 17:1-17:17 - [c18]Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC 2017: 326-340 - 2016
- [j13]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17: 14-24 (2016) - [c17]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: 721-729 - [c16]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On the Complexity of Fragments of Horn Modal Logics. TIME 2016: 186-195 - [c15]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. GandALF 2016: 91-104 - [i2]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 abs/1604.03515 (2016) - [i1]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. CoRR abs/1611.08800 (2016) - 2015
- [j12]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
A hybrid qualitative approach for relative movements. Log. J. IGPL 23(3): 410-420 (2015) - [c14]Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco:
On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA 2015: 105-115 - [c13]Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco:
A Movement Control System Based on Qualitative Reasoning. SOCO 2015: 179-189 - [c12]Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
Undecidability of Chop. TIME 2015: 79-89 - 2014
- [j11]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): 409-427 (2014) - [j10]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: 114-131 (2014) - [c11]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CILC 2014: 314-318 - [c10]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA 2014: 122-136 - 2013
- [c9]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE 2013: 429-438 - 2012
- [j9]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla:
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20(4): 747-756 (2012) - [c8]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) 2012: 635-646 - 2011
- [j8]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19(2): 425-434 (2011) - [j7]Ángel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek:
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011) - [j6]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19(1): 11-26 (2011) - 2010
- [j5]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): 89-102 (2010)
2000 – 2009
- 2009
- [j4]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): 375-394 (2009) - [j3]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): 1696-1706 (2009) - [j2]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): 1707-1718 (2009) - [c7]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA 2009: 71-80 - 2008
- [j1]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): 371-383 (2008) - [c6]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20 - [c5]Joanna Golinska-Pilarek, Ángel 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: 128-139 - 2007
- [c4]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA 2007: 210-219 - 2006
- [c3]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: 602-611 - 2005
- [c2]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378 - 2002
- [c1]Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco:
Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002: 146-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
