Publicaciones (83) Publicaciones de FERNANDO SÁENZ PÉREZ

2024

  1. An efficient propositional system for Abductive Logic Programming

    Artificial Intelligence Review, Vol. 57, Núm. 12

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

    Language Resources and Evaluation

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. Planning for an efficient implementation of hypothetical Bousi∼Prolog

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

  2. 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. HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems

    Information and Computation, Vol. 271

  3. WordNet and prolog: Why not?

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

2019

  1. Applying Constraint Logic Programming to SQL Semantic Analysis

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 808-825

  2. DESweb: una herramienta para el aprendizaje de SQL

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 4

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

  4. Enhancing set constraint solvers with bound consistency

    Expert Systems with Applications, Vol. 92, pp. 485-494

  5. Relational calculi in a deductive system

    Expert Systems with Applications, Vol. 97, pp. 106-116

2017

  1. FuzzyDES or How DES Met Bousi similar to Prolog

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

  2. FuzzyDES or how DES Met Bousi-Prolog

    IEEE International Conference on Fuzzy Systems

  3. Intuitionistic logic programming for SQL

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

2015

  1. Debugging of wrong and missing answers for datalog programs with constraint handling rules

    Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015