Segui
Emilio Muñoz-Velasco
Emilio Muñoz-Velasco
University of Malaga. Dept. Applied Mathematics
Email verificata su uma.es - Home page
Titolo
Citata da
Citata da
Anno
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
342017
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
232014
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
202014
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 Munoz-Velasco
Pacific Rim International Conference on Artificial Intelligence, 128-139, 2008
152008
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
142011
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
On coarser interval temporal logics
E Muñoz-Velasco, M Pelegrín, P Sala, G Sciavicco, IE Stan
Artificial Intelligence 266, 1-26, 2019
132019
A logic for order of magnitude reasoning with negligibility, non-closeness and distance
A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego
Current Topics in Artificial Intelligence: 12th Conference of the Spanish …, 2007
132007
Relational Galois connections between transitive digraphs: characterization and construction
IP Cabrera, P Cordero, E Muñoz-Velasco, M Ojeda-Aciego, B De Baets
Information Sciences 519, 439-450, 2020
122020
Closeness and Distance relations in order of magnitude qualitative reasoning via PDL
A Burrieza, E Muñoz-Velasco, M Ojeda-Aciego
Current Topics in Artificial Intelligence: 13th Conference of the Spanish …, 2010
112010
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
J Golińska-Pilarek, E Munoz-Velasco
International Journal of Computer Mathematics 86 (10-11), 1707-1718, 2009
112009
Relational Galois connections between transitive fuzzy digraphs
IP Cabrera, P Cordero, E Muñoz‐Velasco, M Ojeda‐Aciego, B De Baets
Mathematical Methods in the Applied Sciences 43 (9), 5673-5680, 2020
102020
Extracting interval temporal logic rules: A first approach
D Bresolin, E Cominato, S Gnani, E Muñoz-Velasco, G Sciavicco
25th International Symposium on Temporal Representation and Reasoning (TIME …, 2018
102018
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
102016
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
102011
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
92014
On (fuzzy) closure systems in complete fuzzy lattices
M Ojeda-Hernández, IP Cabrera, P Cordero, E Muñoz-Velasco
2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2021
82021
Reasoning with qualitative velocity: Towards a hybrid approach
J Golińska-Pilarek, E Muñoz-Velasco
Hybrid Artificial Intelligent Systems: 7th International Conference, HAIS …, 2012
72012
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
72008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20