default search action
Emilio 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
Fuzzy closure structures as formal concepts. Fuzzy Sets Syst. 463: 108458 (2023) - [j23]Manuel Ojeda-Hernández
Fuzzy closure structures as formal concepts II. Fuzzy Sets Syst. 473: 108734 (2023) - [c34]Manuel Ojeda-Hernández
On Pseudointents in Fuzzy Formal Concept Analysis. ICCS 2023: 36-40 - [c33]Manuel Ojeda-Hernández
On the Commutative Diagrams Among Galois Connections Involved in Closure Structures. ICFCA 2023: 49-63 - [c32]Willem Conradie, Riccardo Monego
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
Fuzzy closure relations. Fuzzy Sets Syst. 450: 118-132 (2022) - [j21]Manuel Ojeda-Hernández
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
Relational Extension of Closure Structures. IPMU (1) 2022: 77-86 - [c28]Inma P. Cabrera
On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. IPMU (1) 2022: 100-106 - [p1]Domingo López-Rodríguez
Formal Methods in FCA and Big Data. Complex Data Analytics with Formal Concept Analysis 2022: 201-224 - 2021
- [c27]Manuel Ojeda-Hernández
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
Relational Galois connections between transitive digraphs: Characterization and construction. Inf. Sci. 519: 439-450 (2020) - [c26]Willem Conradie
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
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
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
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14(2) (2018) - [c20]Davide Bresolin
Extracting Interval Temporal Logic Rules: A First Approach. TIME 2018: 7:1-7:15 - 2017
- [j15]Alfredo Burrieza
A multimodal logic for closeness. J. Appl. Non Class. Logics 27(3-4): 225-237 (2017) - [j14]Davide Bresolin
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017) - [c19]Davide Bresolin
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
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
On the Complexity of Fragments of Horn Modal Logics. TIME 2016: 186-195 - [c15]Davide Bresolin
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
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
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
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
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
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA 2014: 122-136 - 2013
- [c9]Joanna Golinska-Pilarek
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE 2013: 429-438 - 2012
- [j9]Joanna Golinska-Pilarek
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20(4): 747-756 (2012) - [c8]Joanna Golinska-Pilarek
Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) 2012: 635-646 - 2011
- [j8]Joanna Golinska-Pilarek
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19(2): 425-434 (2011) - [j7]Ángel Mora
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011) - [j6]Alfredo Burrieza
A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19(1): 11-26 (2011) - 2010
- [j5]Alfredo Burrieza
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
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
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
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
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA 2009: 71-80 - 2008
- [j1]Alfredo Burrieza
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
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20 - [c5]Joanna Golinska-Pilarek
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
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 21:17 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: