Emilio Muoz-Velasco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
10
Active years
2002–2023
Best venue rank
C
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICCS | On Pseudointents in Fuzzy Formal Concept Analysis. | Manuel Ojeda-Hernndez, Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco |
| 2023 | ICFCA | On the Commutative Diagrams Among Galois Connections Involved in Closure Structures. | Manuel Ojeda-Hernndez, Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco |
| 2023 | TIME | A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. | Willem Conradie, Riccardo Monego, Emilio Muoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
| 2022 | IPMU | On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. | Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets |
| 2022 | IPMU | Relational Extension of Closure Structures. | Manuel Ojeda-Hernndez, Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco |
| 2021 | EUSFLAT | Closure Systems as a Fuzzy Extension of Meet-subsemilattices. | Manuel Ojeda-Hernndez, Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco |
| 2020 | ECAI | An Approach to Fuzzy Modal Logic of Time Intervals. | Willem Conradie, Dario Della Monica, Emilio Muoz-Velasco, Guido Sciavicco |
| 2020 | IPMU | Galois Connections Between Unbalanced Structures in a Fuzzy Framework. | Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco, Manuel Ojeda-Aciego |
| 2019 | EUSFLAT | Towards fuzzy relational Galois connections between fuzzy T-digraphs. | Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco, Manuel Ojeda-Aciego |
| 2019 | ICFCA | A Relational Extension of Galois Connections. | Inma P. Cabrera, Pablo Cordero, Emilio Muoz-Velasco, Manuel Ojeda-Aciego |
| 2018 | TIME | Extracting Interval Temporal Logic Rules: A First Approach. | Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muoz-Velasco, Guido Sciavicco |
| 2017 | CSL | Fast(er) Reasoning in Interval Temporal Logic. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2016 | HAIS | A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. | Alfredo Burrieza, Emilio Muoz-Velasco, Manuel Ojeda-Aciego |
| 2016 | TIME | On the Complexity of Fragments of Horn Modal Logics. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2015 | TIME | Undecidability of Chop. | Angelo Montanari, Emilio Muoz-Velasco, Guido Sciavicco |
| 2014 | JELIA | Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2012 | HAIS | Reasoning with Qualitative Velocity: Towards a Hybrid Approach. | Joanna Golinska-Pilarek, Emilio Muoz-Velasco |
| 2008 | PRICAI | An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. | Joanna Golinska-Pilarek, ngel Mora, Emilio Muoz-Velasco |
| 2002 | TIME | Indexed Flows in Temporal x Modal Logic with Functional Semantics. | Alfredo Burrieza, Inman P. de Guzmn, Emilio Muoz-Velasco |