Publications en collaboration avec des chercheurs de Universidad de Castilla-La Mancha (61)

2024

  1. Conversion of the Spanish WordNet databases into a Prolog-readable format

    Language Resources and Evaluation

  2. Inference with Transformer Encoders on ARM and RISC-V Multicore Processors

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

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