Publicaciones en las que colabora con Pascual Julián Iranzo (17)

2017

  1. A sound and complete semantics for a similarity-based logic programming language

    Fuzzy Sets and Systems, Vol. 317, pp. 1-26

2015

  1. Incorporation of abstraction capability in a logic-based framework by using proximity relations

    Journal of Intelligent and Fuzzy Systems, Vol. 29, Núm. 4, pp. 1671-1683

  2. Proximity-based unification theory

    Fuzzy Sets and Systems, Vol. 262, pp. 21-43

2014

  1. A Fuzzy linguistic prolog and its applications

    Journal of Intelligent and Fuzzy Systems, Vol. 26, Núm. 3, pp. 1503-1516

  2. Reasoning with Words: A First Approximation

    2014 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE)

  3. Reasoning with words: A first approximation

    IEEE International Conference on Fuzzy Systems

2013

  1. A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi∼prolog system

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Declarative fuzzy linguistic queries on relational databases

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. A sound semantics for a similarity-based logic programming language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010

  1. A programming environment for Bousi∼Prolog

    Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010

  2. An efficient fuzzy unification method and its implementation into the Bousi∼Prolog system

    2010 IEEE World Congress on Computational Intelligence, WCCI 2010

  3. Inclusión de conjuntos borrosos en el núcleo del sistema bousi~prolog

    XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico]

2009

  1. A declarative semantics for bousi-prolog

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  2. A similarity-based wam for bousi≃ prolog

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering

    Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 131-147

  4. UNICORN: a programming enviroment for busi-prolog

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

2006

  1. A WAM implementation for flexible query answering

    Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing, ASC 2006