Emilio Muñoz-Velasco
Emilio Muñoz-Velasco
University of Malaga. Dept. Applied Mathematics
Dirección de correo verificada de uma.es - Página principal
Título
Citado por
Citado por
Año
Horn fragments of the Halpern-Shoham interval temporal logic
D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ...
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017
222017
A logic framework for reasoning with movement based on fuzzy qualitative representation
E Muñoz-Velasco, A Burrieza, M Ojeda-Aciego
Fuzzy Sets and Systems 242, 114-131, 2014
222014
Sub-propositional fragments of the interval temporal logic of Allen’s relations
D Bresolin, E Muñoz-Velasco, G Sciavicco
European Workshop on Logics in Artificial Intelligence, 122-136, 2014
192014
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
J Golińska-Pilarek, E Muñoz-Velasco
Logic Journal of the IGPL 17 (4), 375-394, 2009
172009
An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance
J Golińska-Pilarek, A Mora, E Muñoz-Velasco
Pacific Rim International Conference on Artificial Intelligence, 128-139, 2008
152008
A PDL approach for qualitative velocity
A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems …, 2011
142011
A logic for order of magnitude reasoning with negligibility, non-closeness and distance
A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego
Conference of the Spanish Association for Artificial Intelligence, 210-219, 2007
132007
Implementing a relational theorem prover for modal logic
A Mora, E Muñoz-Velasco, J Golińska-Pilarek
International Journal of Computer Mathematics 88 (9), 1869-1884, 2011
122011
Closeness and Distance relations in order of magnitude qualitative reasoning via PDL
A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego
Conference of the Spanish Association for Artificial Intelligence, 71-80, 2009
112009
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
J Golińska-Pilarek, T Huuskonen, E Muñoz-Velasco
Annals of Pure and Applied Logic 165 (2), 409-427, 2014
102014
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
J Golińska-Pilarek, E Muñoz-Velasco
International Journal of Computer Mathematics 86 (10-11), 1707-1718, 2009
102009
A new deduction system for deciding validity in modal logic K
J Golińska-Pilarek, E Muñoz-Velasco, A Mora
Logic Journal of the IGPL 19 (2), 425-434, 2011
92011
Reasoning with qualitative velocity: Towards a hybrid approach
J Golińska-Pilarek, E Muñoz-Velasco
International Conference on Hybrid Artificial Intelligence Systems, 635-646, 2012
72012
On the complexity of fragments of Horn modal logics
D Bresolin, E Munoz-Velasco, G Sciavicco
2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016
62016
Relational dual tableau decision procedure for modal logic K
J Golińska-Pilarek, E Munoz-Velasco, A Mora-Bonilla
Logic Journal of the IGPL 20 (4), 747-756, 2012
62012
Generalization of some properties of relations in the context of functional temporal× modal logic
A Burrieza, IP De Guzmán, E Muñoz-Velasco
International Journal of Computer Mathematics 85 (3-4), 371-383, 2008
62008
On the expressive power of sub-propositional fragments of modal logic
D Bresolin, E Munoz-Velasco, G Sciavicco
arXiv preprint arXiv:1609.04091, 2016
52016
Horn fragments of the Halpern-Shoham interval temporal logic (technical report)
D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ...
arXiv preprint arXiv:1604.03515, 2016
52016
On coarser interval temporal logics and their satisfiability problem
E Muñoz-Velasco, M Pelegrín-García, P Sala, G Sciavicco
Conference of the Spanish Association for Artificial Intelligence, 105-115, 2015
52015
A new decision procedure for modal logic K
J Golinska-Pilarek, E Munoz-Velasco, A Mora
Techical Report, 2009
52009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20