Emilio Muñoz-Velasco
Orcid: 0000-0002-0117-4219Affiliations:
- University of Málaga, Spain
According to our database1,
Emilio Muñoz-Velasco
authored at least 62 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on matap.uma.es
On csauthors.net:
Bibliography
2023
Fuzzy Sets Syst., July, 2023
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the Formal Concept Analysis - 17th International Conference, 2023
Proceedings of the Graph-Based Representation and Reasoning, 2023
2022
Int. J. Approx. Reason., 2022
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022
On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022
Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection.
Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022
Proceedings of the Complex Data Analytics with Formal Concept Analysis, 2022
2021
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021
2020
Relational Galois connections between transitive digraphs: Characterization and construction.
Inf. Sci., 2020
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.
Log. J. IGPL, 2020
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
J. Multiple Valued Log. Soft Comput., 2019
Proceedings of the Formal Concept Analysis - 15th International Conference, 2019
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
2017
ACM Trans. Comput. Log., 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
2016
J. Appl. Log., 2016
Proceedings of the Seventh International Symposium on Games, 2016
CoRR, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning.
Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016
2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Proceedings of the 10th International Conference on Soft Computing Models in Industrial and Environmental Applications, 2015
Proceedings of the Advances in Artificial Intelligence, 2015
2014
A logic framework for reasoning with movement based on fuzzy qualitative representation.
Fuzzy Sets Syst., 2014
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.
Ann. Pure Appl. Log., 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Proceedings of the International Joint Conference SOCO'13-CISIS'13-ICEUTE'13, 2013
2012
Proceedings of the Hybrid Artificial Intelligent Systems - 7th International Conference, 2012
2011
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011
Int. J. Comput. Math., 2011
2010
Math. Log. Q., 2010
2009
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.
Int. J. Comput. Math., 2009
Int. J. Comput. Math., 2009
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.
Log. J. IGPL, 2009
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.
Proceedings of the Current Topics in Artificial Intelligence, 2009
2008
Generalization of some properties of relations in the context of functional temporal×modal logic.
Int. J. Comput. Math., 2008
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008
Proceedings of the Advances in Artificial Intelligence, 2008
2007
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
Proceedings of the Current Topics in Artificial Intelligence, 2007
2006
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
Proceedings of the Advances in Artificial Intelligence, 2006
2005
Proceedings of the Current Topics in Artificial Intelligence, 2005
2002
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002