Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (32)

2023

  1. Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

    Expert Systems with Applications, Vol. 213

2022

  1. A Fuzzy Declarative Approach to Classify Unlabeled Short Texts Based on Automatically Constructed WordNet Ontologies

    Studies in Computational Intelligence

2021

  1. Evaluating genetic algorithms through the approximability hierarchy

    Journal of Computational Science, Vol. 53

  2. Planning for an efficient implementation of hypothetical Bousi∼Prolog

    Theory and Practice of Logic Programming, Vol. 21, Núm. 5, pp. 680-697

  3. Proximity-Based Unification: An Efficient Implementation Method

    IEEE Transactions on Fuzzy Systems, Vol. 29, Núm. 5, pp. 1238-1251

2020

  1. A System implementing Fuzzy Hypothetical Datalog∗

    IEEE International Conference on Fuzzy Systems

  2. WordNet and prolog: Why not?

    Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019

2018

  1. A Fuzzy Datalog Deductive Database System

    IEEE Transactions on Fuzzy Systems, Vol. 26, Núm. 5, pp. 2634-2648

  2. An Efficient Proximity-based Unification Algorithm

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

  3. An efficient proximity-based unification algorithm?

    IEEE International Conference on Fuzzy Systems

2017

  1. Data-aware automatic derivation of choreography-conforming systems of services

    Computer Standards and Interfaces, Vol. 53, pp. 59-79

  2. FuzzyDES or How DES Met Bousi similar to Prolog

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

  3. FuzzyDES or how DES Met Bousi-Prolog

    IEEE International Conference on Fuzzy Systems

2012

  1. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

    Journal of Logic and Algebraic Programming

  2. Improving the automatic derivation of choreography-conforming web services systems

    Procedia Computer Science

2011

  1. DIEGO: A tool for deriving chorEoGraphy-cOnforming web service systems

    Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

2009

  1. Automatically deriving choreography-conforming systems of services

    SCC 2009 - 2009 IEEE International Conference on Services Computing

  2. Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach

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

2008

  1. A comparative study of STOPA and RTPA

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

  2. A formal specification of the memorization process

    Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170