An efficient propositional system for Abductive Logic Programming. - Gavanelli, Marco; Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (Artif. Intell. Rev., 2024)

Experiencing Hypothetical Datalog in SQL Puzzles. - Sáenz-Pérez, Fernando (2024)

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (Expert Syst. Appl., 2023)

Proximity-Based Unification: An Efficient Implementation Method. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (IEEE Trans. Fuzzy Syst., 2021)

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (Theory Pract. Log. Program., 2021)

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (Theory Pract. Log. Program., 2021)

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (CoRR, 2021)

Planning for an Efficient Implementation of Hypothetical Bousi~Prolog. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (CoRR, 2021)

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. - Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime (Inf. Comput., 2020)

A System implementing Fuzzy Hypothetical Datalog⋆. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (2020)

Applying Constraint Logic Programming to SQL Semantic Analysis. - Sáenz-Pérez, Fernando (Theory Pract. Log. Program., 2019)

WordNet and Prolog: why not? - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (2019)

Applying Constraint Logic Programming to SQL Semantic Analysis. - Sáenz-Pérez, Fernando (CoRR, 2019)

Enhancing set constraint solvers with bound consistency. - Fernández, Jesús Correas; Martín, Sonia Estévez; Sáenz-Pérez, Fernando (Expert Syst. Appl., 2018)

Relational calculi in a deductive system. - Sáenz-Pérez, Fernando (Expert Syst. Appl., 2018)

A Fuzzy Datalog Deductive Database System. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (IEEE Trans. Fuzzy Syst., 2018)

An Efficient Proximity-based Unification Algorithm⋆. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (2018)

FuzzyDES or how DES Met Bousi-Prolog. - Iranzo, Pascual Julián; Sáenz-Pérez, Fernando (2017)

Intuitionistic Logic Programming for SQL. - Sáenz-Pérez, Fernando (2016)

Intuitionistic Logic Programming for SQL (Extended Abstract). - Sáenz-Pérez, Fernando (CoRR, 2016)

Using Datalog to provide just-in-time feedback during the construction of concept maps. - Álvarez-Montero, Francisco J.; Sáenz-Pérez, Fernando; Vaquero-Sánchez, Antonio (Expert Syst. Appl., 2015)

Debugging of wrong and missing answers for datalog programs with constraint handling rules. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2015)

Restricted Predicates for Hypothetical Datalog. - Sáenz-Pérez, Fernando (2015)

An extended constraint deductive database: Theory and implementation. - Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime (J. Log. Algebraic Methods Program., 2014)

Improving the Deductive System DES with Persistence by Using SQL DBMS's. - Sáenz-Pérez, Fernando (2014)

Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem. - Castiñeiras, Ignacio; Sáenz-Pérez, Fernando (2013)

Implementing Tabled Hypothetical Datalog. - Sáenz-Pérez, Fernando (2013)

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. - Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime (2013)

Formalizing a Broader Recursion Coverage in SQL. - Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime (2013)

Tabling with Support for Relational Features in a Deductive Database. - Sáenz-Pérez, Fernando (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Declarative Debugging of Wrong and Missing Answers for SQL Views. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2012)

Improving the Performance of FD Constraint Solving in a CFLP System. - Castiñeiras, Ignacio; Sáenz-Pérez, Fernando (2012)

Extending the TOY System with the ECLiPSe Solver over Sets of Integers. - Martín, Sonia Estévez; Fernández, Jesús Correas; Sáenz-Pérez, Fernando (2012)

A Deductive Database with Datalog and SQL Query Languages. - Sáenz-Pérez, Fernando; Caballero, Rafael; García-Ruiz, Yolanda (2011)

Algorithmic Debugging of SQL Views. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2011)

A Declarative Embedding of XQuery in a Functional-Logic Language. - Almendros-Jiménez, Jesús Manuel; Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2011)

Integrating XPath with the Functional-Logic Language Toy. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2011)

XQuery in the Functional-Logic Language Toy. - Almendros-Jiménez, Jesús Manuel; Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2011)

XPath Query Processing in a Functional-Logic Language. - Almendros-Jiménez, Jesús Manuel; Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2011)

Outer Joins in a Deductive Database System. - Sáenz-Pérez, Fernando (2011)

Applying Constraint Logic Programming to SQL Test Case Generation. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2010)

DES: A Deductive Database System. - Sáenz-Pérez, Fernando (2010)

On the cooperation of the constraint domains , R, and F in CFLP. - Martín, Sonia Estévez; Hortalá-González, Maria Teresa; Rodríguez-Artalejo, Mario; Vírseda, Rafael del Vado; Sáenz-Pérez, Fernando; Fernández, Antonio J. (Theory Pract. Log. Program., 2009)

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. - Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime (2009)

Integrating ILOG CP Technology into TOY\mathcal{TOY}. - Castiñeiras, Ignacio; Sáenz-Pérez, Fernando (2009)

TOY: A System for Experimenting with Cooperation of Constraint Domains. - Martín, Sonia Estévez; Leiva, Antonio José Fernández; Sáenz-Pérez, Fernando (2009)

On the Cooperation of the Constraint Domains H, R and FD in CFLP - Martín, Sonia Estévez; Hortalá-González, Maria Teresa; Rodríguez-Artalejo, Mario; Vírseda, Rafael del Vado; Sáenz-Pérez, Fernando; Fernández, Antonio J. (CoRR, 2009)

Playing with TOY: Constraints and Domain Cooperation. - Martín, Sonia Estévez; Fernández, Antonio J.; Sáenz-Pérez, Fernando (2008)

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. - Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando (2008)

Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources. - Álvarez, Francisco; Vaquero, Antonio; Sáenz-Pérez, Fernando (2008)

Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations. - Montero, Francisco José Álvarez; Sánchez, Antonio Ramón Vaquero; Sáenz-Pérez, Fernando (2008)

Cooperation of constraint domains in the TOY system. - Martín, Sonia Estévez; Fernández, Antonio J.; Hortalá-González, Maria Teresa; Rodríguez-Artalejo, Mario; Sáenz-Pérez, Fernando; Vírseda, Rafael del Vado (2008)

A Theoretical Framework for the Declarative Debugging of Datalog Programs. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2008)

Constraint functional logic programming over finite domains. - Fernández, Antonio J.; Hortalá-González, Maria Teresa; Sáenz-Pérez, Fernando; Vírseda, Rafael del Vado (Theory Pract. Log. Program., 2007)

Semantic Relations: Modelling Issues, Proposals and Possible Applications. - Álvarez, Francisco; Vaquero, Antonio; Sáenz-Pérez, Fernando; Rodríguez, Manuel de Buenaga; Hidalgo, José María Gómez (2007)

Bringing Forward Semantic Relations: Issues and Proposals. - Álvarez, Francisco; Vaquero, Antonio; Sáenz-Pérez, Fernando; Rodríguez, Manuel de Buenaga (2007)

A New Proposal for Debugging Datalog Programs. - Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando (2007)

Thinking Precedes Action: Using Software Engineering for the Development of a Terminology Database to Improve Access to Biomedical Documentation. - Vaquero, Antonio; Sáenz-Pérez, Fernando; Álvarez, Francisco; Rodríguez, Manuel de Buenaga (2006)

Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation. - Vaquero, Antonio; Sáenz-Pérez, Fernando; Álvarez, Francisco; Rodríguez, Manuel de Buenaga (2006)

Conceptual Design for Domain and Task Specific Ontology-Based Linguistic Resources. - Vaquero, Antonio; Sáenz-Pérez, Fernando; Álvarez, Francisco; Rodríguez, Manuel de Buenaga (2006)

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. - Martín, Sonia Estévez; Fernández, Antonio J.; Hortalá-González, Maria Teresa; Rodríguez-Artalejo, Mario; Sáenz-Pérez, Fernando; Vírseda, Rafael del Vado (2006)

Programmed Search in a Timetabling Problem over Finite Domains. - Campo, Ramón González del; Sáenz-Pérez, Fernando (2006)

Constraint Functional Logic Programming over Finite Domains - Fernández, Antonio J.; Hortalá-González, Maria Teresa; Sáenz-Pérez, Fernando; Vírseda, Rafael del Vado (CoRR, 2006)

Diccionarios basados en taxonomías con estructura de grafo orientado acíclico. - Sánchez, Antonio Ramón Vaquero; Montero, Francisco José Álvarez; Sáenz-Pérez, Fernando (Proces. del Leng. Natural, 2005)

Programming with TOY(FD). - Fernández, Antonio J.; Hortalá-González, Maria Teresa; Sáenz-Pérez, Fernando (2005)

Learning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy. - Vaquero, Antonio; Montero, Francisco José Álvarez; Sáenz-Pérez, Fernando (2005)

Toy(FD): Sketch of Operational Semantics. - Fernández, Antonio J.; Hortalá-González, Maria Teresa; Sáenz-Pérez, Fernando (2003)

Solving Combinatorial Problems with a Constraint Functional Logic Language. - Fernández, Antonio J.; Hortalá-González, Maria Teresa; Sáenz-Pérez, Fernando (2003)

A Functional Logic Language with Finite Domain Constraints. - Fernández, Antonio J.; Hortalá-González, Maria Teresa; Sáenz-Pérez, Fernando (2002)

Improving the Language Mastery through Responsive Environments. - Vaquero, Antonio; Sáenz-Pérez, Fernando; Barco, A. (2001)

A hybrid evolutionary approach for solving constrained optimization problems over finite domains. - Ruiz-Andino, Alvaro; Araujo, Lourdes; Sáenz-Pérez, Fernando; Ruz, José J. (IEEE Trans. Evol. Comput., 2000)

Parallel Implementation of Constraint Solving. - Ruiz-Andino, Alvaro; Araujo, Lourdes; Sáenz-Pérez, Fernando; Ruz, José J. (1999)

Parallel Execution Models for Constraint Programming over Finite Domains. - Ruiz-Andino, Alvaro; Araujo, Lourdes; Sáenz-Pérez, Fernando; Ruz, José J. (1999)

Parallel Execution Models for Constraint Propagation. - Ruiz-Andino, Alvaro; Araujo, Lourdes; Sáenz-Pérez, Fernando; Ruz, José J. (1998)

Parallel Arc-Consistency for Functional Constraints. - Ruiz-Andino, Alvaro; Araujo, Lourdes; Sáenz-Pérez, Fernando; Ruz, José J. (1998)

Parallel Evolutionary Optimisation with Constraint Propagation. - Ruiz-Andino, Alvaro; Araujo, Lourdes; Ruz, José J.; Sáenz-Pérez, Fernando (1998)

Exploiting Expression- and Or-Parallelism for a Functional Logic Language. - Hans, Werner; Winkler, Stephan; Sáenz-Pérez, Fernando (1995)

An Expression-Or-Parallel Implementation for a Functional Logic Language - Hans, Werner; Sáenz-Pérez, Fernando; Winkler, Stephan (1995)

A Babel Parallel System: VHDL Modelling for Performance Measurement. - Sáenz-Pérez, Fernando; Hans, Werner; Ruz, José J.; Winkler, Stephan (1994)

A Stack-based Machine for Parallel Execution of Babel Programs. - Sáenz-Pérez, Fernando; Ruz, José J.; Hans, Werner; Winkler, Stephan (1994)

Shared Memory System for Babel: a VHDL Specification. - Sáenz-Pérez, Fernando; Hans, Werner; Ruz, José J.; Winkler, Stephan (1994)