Fernando Sáenz-Pérez

Expert Syst. Appl., 2023

2021

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Proximity-Based Unification: An Efficient Implementation Method.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2021

2020

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.

[BibT_eX]

[DOI]

Inf. Comput., 2020

A System implementing Fuzzy Hypothetical Datalog⋆.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

Applying Constraint Logic Programming to SQL Semantic Analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

WordNet and Prolog: why not?

[BibT_eX]

[DOI]

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

2018

A Fuzzy Datalog Deductive Database System.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2018

Relational calculi in a deductive system.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2018

Enhancing set constraint solvers with bound consistency.

[BibT_eX]

[DOI]

Jesús Correas Fernández

Expert Syst. Appl., 2018

An Efficient Proximity-based Unification Algorithm⋆.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017

FuzzyDES or how DES Met Bousi-Prolog.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

Intuitionistic Logic Programming for SQL (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2016

Intuitionistic Logic Programming for SQL.

[BibT_eX]

[DOI]

Francisco J. Álvarez-Montero

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Using Datalog to provide just-in-time feedback during the construction of concept maps.

[BibT_eX]

[DOI]

Antonio Vaquero-Sánchez

Expert Syst. Appl., 2015

Restricted Predicates for Hypothetical Datalog.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

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

[BibT_eX]

[DOI]

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

2014

An extended constraint deductive database: Theory and implementation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

Improving the Deductive System DES with Persistence by Using SQL DBMS's.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

2013

Formalizing a Broader Recursion Coverage in SQL.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

Implementing Tabled Hypothetical Datalog.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem.

[BibT_eX]

[DOI]

Ignacio Castiñeiras

Proceedings of the International Conference on Computational Science, 2013

2012

Tabling with Support for Relational Features in a Deductive Database.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Extending the TOY System with the ECLiPSe Solver over Sets of Integers.

[BibT_eX]

[DOI]

Jesús Correas Fernández

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Improving the Performance of FD Constraint Solving in a CFLP System.

[BibT_eX]

[DOI]

Ignacio Castiñeiras

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Declarative Debugging of Wrong and Missing Answers for SQL Views.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Outer Joins in a Deductive Database System.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

XPath Query Processing in a Functional-Logic Language.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

XQuery in the Functional-Logic Language Toy.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2011

Integrating XPath with the Functional-Logic Language Toy.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the Practical Aspects of Declarative Languages, 2011

A Declarative Embedding of XQuery in a Functional-Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Algorithmic Debugging of SQL Views.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2011

A Deductive Database with Datalog and SQL Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

DES: A Deductive Database System.

[BibT_eX]

[DOI]

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

Applying Constraint Logic Programming to SQL Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

On the cooperation of the constraint domains , R, and F in CFLP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

TOY: A System for Experimenting with Cooperation of Constraint Domains.

[BibT_eX]

[DOI]

Antonio José Fernández Leiva

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

On the Cooperation of the Constraint Domains H, R and FD in CFLP

[BibT_eX]

[DOI]

CoRR, 2009

Integrating ILOG CP Technology into TOY\mathcal{TOY}.

[BibT_eX]

[DOI]

Ignacio Castiñeiras

Proceedings of the Functional and Constraint Logic Programming, 2009

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

A Theoretical Framework for the Declarative Debugging of Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Cooperation of constraint domains in the TOY system.

[BibT_eX]

[DOI]

Francisco José Álvarez Montero

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations.

[BibT_eX]

[DOI]

Antonio Ramón Vaquero Sánchez

Proceedings of the International Conference on Language Resources and Evaluation, 2008

Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Playing with TOY: Constraints and Domain Cooperation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

2007

Constraint functional logic programming over finite domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

A New Proposal for Debugging Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Bringing Forward Semantic Relations: Issues and Proposals.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007

Semantic Relations: Modelling Issues, Proposals and Possible Applications.

[BibT_eX]

[DOI]

José María Gómez Hidalgo

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Programmed Search in a Timetabling Problem over Finite Domains.

[BibT_eX]

[DOI]

Ramón González del Campo

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Conceptual Design for Domain and Task Specific Ontology-Based Linguistic Resources.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Thinking Precedes Action: Using Software Engineering for the Development of a Terminology Database to Improve Access to Biomedical Documentation.

[BibT_eX]

[DOI]

Antonio Ramón Vaquero Sánchez

Proceedings of the Biological and Medical Data Analysis, 7th International Symposium, 2006

2005

Diccionarios basados en taxonomías con estructura de grafo orientado acíclico.

[BibT_eX]

[DOI]

Francisco José Álvarez Montero

Proces. del Leng. Natural, 2005

Learning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy.

[BibT_eX]

[DOI]

Francisco José Álvarez Montero

Proceedings of the New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, 2005

Programming with TOY(FD).

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2003

Solving Combinatorial Problems with a Constraint Functional Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Toy(FD): Sketch of Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

A Functional Logic Language with Finite Domain Constraints.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Improving the Language Mastery through Responsive Environments.

[BibT_eX]

A. Barco

Proceedings of the Computers and Education. Towards an Interconnected Society, 2001

2000

A hybrid evolutionary approach for solving constrained optimization problems over finite domains.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2000

1999

Parallel Execution Models for Constraint Programming over Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Parallel Implementation of Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 1999

1998

Parallel Evolutionary Optimisation with Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 1998

Parallel Arc-Consistency for Functional Constraints.

[BibT_eX]

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

Parallel Execution Models for Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

1995

An Expression-Or-Parallel Implementation for a Functional Logic Language

[BibT_eX]

[DOI]

Werner Hans

Stephan Winkler

Proceedings of the Programming Languages: Implementations, 1995

Exploiting Expression- and Or-Parallelism for a Functional Logic Language.

[BibT_eX]

Werner Hans

Stephan Winkler