Tesis Doctoral
Programa Oficial de Doctorado en Tecnologías Informáticas Avanzadas
(con Mención de Excelencia de la ANECA -BOE de 20/10/2011-)
Grupo de Investigación DEC-TAU de la UCLM
(Programación Declarativa y Transformación Automática de Programas)
- Title
- Foundations and Applications of Fuzzy Logic Programming with Weights and Similarity Relations (Slide Show)
- Author
- Carlos Vázquez Pérez-Íñigo
- Advisor
- Ginés Moreno Valverde
References
JCR Journals co-authored by Carlos Vázquez
- G. Moreno, J. Penabad, C. Vázquez (2015). Beyond Multi-Adjoint Logic Programming. International Journal of Computer Mathematics. Pages 20 (in press). Taylor&Francis (London). ISSN 0020-7160 print/ISSN 1029-0265. Available doi: 10.1080/00207160.2014.975218
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2012). Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices. International Journal of Computer Mathematics, 28 May 2012, Pages 1-11. Taylor&Francis (London). ISSN 0020-7160 print/ISSN 1029-0265 online. Available doi: 10.1080/00207160.2012.689826
Other Journals co-authored by Carlos Vázquez
- J. Almendros-Jiménez, A. Luna, G. Moreno, C. Vázquez (2015). Analyzing Fuzzy Logic Computations with Fuzzy XPath. Electronic Communications of the EASST (European Association of Software Science and Technology). In press. Pages: 1-19. ISSN: 01863-2122.
- M. Bofill, G. Moreno, C. Vázquez and M. Villaret (2015). Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT. Electronic Communications of the EASST (European Association of Software Science and Technology). In press. Pages: 1-19. ISSN: 01863-2122.
- G. Moreno, C. Vázquez (2014). Fuzzy Logic Programming in Action with FLOPER. Journal of Software Engineering and Applications, April 2014, Volume 7 (N. 4), Pages 273-298. Scientific Research. ISSN print 1945-3116, ISSN Online: 1945-3124. Available doi: 10.4236/jsea.2014.74028
- G. Moreno, P. J. Morcillo, J. Penabad, C. Vázquez (2012). String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Electronic Communications of the EASST (European Association of Software Science and Technology), Volume: 55, Pages: 1-17. ISSN: 01863-2122. Available: http://journal.ub.tu-berlin.de/eceasst/article/view/820
International Conferences co-authored by Carlos Vázquez
- G. Moreno, J. Penabad, C. Vázquez (2014). Fuzzy Logic Rules Modeling Similarity-based Strict Equality. Proc. of 9th International Symposium Advances in Artificial Intelligence and Applications ( AAIA'14) and 2014 Federated Conference on Computer Science and Information Systems (FedCSIS). Varsaw, Poland, Septembert 7-10. Annals of Computer Science and Information Systems. Volume 2, pages 119-128. IEEE. Available doi: 10.15439/2014F387
- G. Moreno, J. Penabad, C. Vázquez (2014). Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming. Proc. of Rough Sets and Current Trends in Soft Computing - 9th International Conference, RSCTC 2014 (Special session on "Fuzzy Logic and Rough Sets: Tools for Imperfect Information"). Granada and Madrid, Spain, July 9-13, 2014. Pages 71-82, Lecture Notes in Computer Science 8536. Springer. Available doi: 10.1007/978-3-319-08644-6_7
- C. Vázquez, L. Tomás, G. Moreno, J. Tordsson (2013). A fuzzy approach to cloud admission control for safe overbooking. Proc. of 10th International Workshop on Fuzzy Logic and Applications (WILF' 13). Genoa, Italy, November 19-22. Volume 8256 .of Lecture Notes in Computer Science, pages 212-225. Springer. Available doi: 10.1007/978-3-319-03200-9_22
- G. Moreno, J. Penabad, C. Vázquez (2013). Relaxing the Role of Adjoint Pairs in Multi-Adjoint Logic Programming. Proc. of 13th International Conference on Mathematical Methods in Science and Engineering, CMMSE'13. Cabo de Gata, Almería, Spain. June, 24-27. Volume III. Pages: 1056-1067.. ISBN: 978-84-616-2723-3
- P. Eklund, M. A. G. García, R. Helgesson, J. Kortelainen, G. Moreno, C. Vázquez (2013). Towards Categorical Fuzzy Logic Programming. Proc. of 10th International Workshop on Fuzzy Logic and Applications (WILF' 13). Genoa, Italy, November 19-22. Volume 8256 .of Lecture Notes in Computer Science, pages 109-121. Springer. Available doi: 10.1007/978-3-319-03200-9_12
- G. Moreno, J. Penabad, C. Vázquez (2012). On Fuzzy Correct Answers and Logical Consequences in Multi-Adjoint Logic Programming. Proc. of 12th International Conference on Mathematical Methods in Science and Engineering, CMMSE'12. La Manga, Spain, July 2-5. Volume III. Pages: 864-875. ISBN: 978-84-615-5392-1.
- G. Moreno, J. Penabad, C. Vázquez (2012). SSE: Similarity-based Strict Equality for Multi-adjoint Logic Programs. Proc. of 12th International Conference on Mathematical Methods in Science and Engineering, CMMSE'12. La Manga, Spain, July 2-5. Editor: J. Vigo-Aguiar. Volume III. Pages: 876-887. ISBN: 978-84-615-5392-1.
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2011). Declarative Traces into Fuzzy Computed Answers. Proc. of 5th International Symposium on Rules: Research Based, Industry Focused, RuleML'11. Barcelona, Spain, July 19-21, pages 170-185. Springer Verlag, LNCS 6826. Available doi: 10.1007/978-3-642-22546-8_14
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2011). Dedekind-Macneille Completion and Multi-Adjoint Lattices. Proc. of 11th International Conference on Mathematical Methods in Science and Engineering (special session on 'Mathematical Methods for Computer Science'), CMMSE'11. Benidorm, Spain, June 26-30, volume 2, pages 846-857. (ISBN 978-84-614-6167-7).
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2011). Fuzzy Computed Answers Collecting Proof Information. In Advances in Computational Intelligence - 11th International Work- Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II, volume 6692 of Lecture Notes in Computer Science, pages 445-452. Springer. Available doi: 10.1007/978-3-642-21498-1_56
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2010). Modeling Interpretive Steps into the FLOPER Environment. In Proc. of the 2010 International Conference on Artificial Intelligence, ICAI'10, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes, pages 16-22. CSREA Press (ISBN: 1-60132-148-1).
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2010). A Practical Management of Fuzzy Truth-Degrees Using FLOPER. Proc. of 4th Intl. Symposium on Rule Interchange and Applications, RuleML'10. Washington, USA, October 21-23, pages 119-126. Springer Verlag, LNCS 6403. Available doi: 10.1007/978-3-642-16289-3_4
National Conferences co-authored by Carlos Vázquez
- P. Julián-Iranzo, G. Moreno, J. Penabad, C. Vázquez (2015). A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. Electronic Proceedings in Theoretical Computer Science, EPTCS. Volume 173. pages 71-86. ISSN: 2075-2180. Available doi: 10.4204/EPTCS.173.6
- P. Julián-Iranzo, G. Moreno, J. Penabad, C. Vázquez (2014). A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. Proc. of XIV Jornadas sobre Programación y Lenguajes, PROLE'14, Cádiz, Spain, September 17-19, pages 145-154. University of Cádiz.
- J. M. Almendros-Jiménez, A. Luna, G. Moreno, C. Vázquez (2013). Analyzing Fuzzy Logic Computations with Fuzzy XPath. Proc. of XIII Jornadas sobre Programación y Lenguajes, PROLE'13, Madrid, Spain, September 17-20, pages 136-150. Technical University of Madrid (ISBN 978-84-695-8331-9).
- P. Eklund, M.A. Galán, R. Helgesson, J. Kortelainen, G. Moreno, C. Vázquez (2013). Towards a Categorical Description of Fuzzy Logic Programming. Proc. of XIII Jornadas sobre Programación y Lenguajes, PROLE'13, Madrid, Spain, September 17-20, pages 126-135. Technical University of Madrid (ISBN 978-84-695-8331-9).
- M. Bofill, G. Moreno, C. Vázquez, M. Villaret (2013). Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT. Proc. of XIII Jornadas sobre Programación y Lenguajes, PROLE'13, Madrid, Spain, September 17-20, pages 151-165. Technical University of Madrid (ISBN 978-84-695-8331-9).
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2012). String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Proc. of XII Jornadas sobre Programación y Lenguajes, PROLE'12, Almería, Spain, 18-19 September, pages 18-19. University of Almería (ISBN 978-84-15487-27-2).
- J. Guerrero, G. Moreno, C. Vázquez (2010). Una implementación del λ-cálculo en Prolog. Proc. of II Taller de Programación Funcional, TPF'10, Valencia, Spain, September 7, pages 7-14. Garceta grupo editorial (ISBN 978-84-92812-55-4).
- P. Morcillo, G. Moreno, J. Penabad, C. Vázquez (2010). Multi-Adjoint Lattices for Manipulating Truth-Degrees into the FLOPER System. Proc. of X Jornadas sobre Programación y Lenguajes, PROLE'10, Valencia, Spain, September 7-10 , pages 151-161. Garceta grupo editorial (ISBN 978-84-92812-55-4).