Fernando Sáenz-Pérez

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 21

Top Topics

Intuitionistic Logic

Semantic Similarity

Logic Programming

Top Venues

Expert Syst. Appl.

Theory Pract. Log. Program.

Publications

Pascual Julián Iranzo, Fernando Sáenz-Pérez
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language. Expert Syst. Appl. 213 (Part) (2023)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. CoRR (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Theory Pract. Log. Program. 21 (2) (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Proximity-Based Unification: An Efficient Implementation Method. IEEE Trans. Fuzzy Syst. 29 (5) (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Theory Pract. Log. Program. 21 (5) (2021)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog. CoRR (2021)
Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. Inf. Comput. 271 (2020)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
. FUZZ-IEEE (2020)
Fernando Sáenz-Pérez
Applying Constraint Logic Programming to SQL Semantic Analysis. Theory Pract. Log. Program. 19 (5-6) (2019)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
WordNet and Prolog: why not? EUSFLAT Conf. (2019)
Fernando Sáenz-Pérez
Applying Constraint Logic Programming to SQL Semantic Analysis. CoRR (2019)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
. FUZZ-IEEE (2018)
Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez
Enhancing set constraint solvers with bound consistency. Expert Syst. Appl. 92 (2018)
Fernando Sáenz-Pérez
Relational calculi in a deductive system. Expert Syst. Appl. 97 (2018)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
A Fuzzy Datalog Deductive Database System. IEEE Trans. Fuzzy Syst. 26 (5) (2018)
Pascual Julián Iranzo, Fernando Sáenz-Pérez
FuzzyDES or how DES Met Bousi-Prolog. FUZZ-IEEE (2017)
Fernando Sáenz-Pérez
Intuitionistic Logic Programming for SQL (Extended Abstract). CoRR (2016)
Fernando Sáenz-Pérez
Intuitionistic Logic Programming for SQL. LOPSTR (2016)
Fernando Sáenz-Pérez
Restricted Predicates for Hypothetical Datalog. PROLE (2015)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Debugging of wrong and missing answers for datalog programs with constraint handling rules. PPDP (2015)
Francisco J. Álvarez-Montero, Fernando Sáenz-Pérez, Antonio Vaquero-Sánchez
Using Datalog to provide just-in-time feedback during the construction of concept maps. Expert Syst. Appl. 42 (3) (2015)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
An extended constraint deductive database: Theory and implementation. J. Log. Algebraic Methods Program. 83 (1) (2014)
Fernando Sáenz-Pérez
Improving the Deductive System DES with Persistence by Using SQL DBMS's. PROLE (2014)
Fernando Sáenz-Pérez
Implementing Tabled Hypothetical Datalog. ICTAI (2013)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Formalizing a Broader Recursion Coverage in SQL. PADL (2013)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. LPAR (short papers) (2013)
Ignacio Castiñeiras, Fernando Sáenz-Pérez
Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem. ICCS (2013)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
XPath Query Processing in a Functional-Logic Language. Electron. Notes Theor. Comput. Sci. 282 (2012)
Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. FLOPS (2012)
Fernando Sáenz-Pérez
Outer Joins in a Deductive Database System. Electron. Notes Theor. Comput. Sci. 282 (2012)
Ignacio Castiñeiras, Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System. FLOPS (2012)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Declarative Debugging of Wrong and Missing Answers for SQL Views. FLOPS (2012)
Fernando Sáenz-Pérez
Tabling with Support for Relational Features in a Deductive Database. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 55 (2012)
Fernando Sáenz-Pérez
DES: A Deductive Database System. Electron. Notes Theor. Comput. Sci. 271 (2011)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR (2011)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
XQuery in the Functional-Logic Language Toy. WFLP (2011)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Integrating XPath with the Functional-Logic Language Toy. PADL (2011)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Algorithmic Debugging of SQL Views. Ershov Memorial Conference (2011)
Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
A Deductive Database with Datalog and SQL Query Languages. APLAS (2011)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Applying Constraint Logic Programming to SQL Test Case Generation. FLOPS (2010)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. PPDP (2009)
Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández
On the Cooperation of the Constraint Domains H, R and FD in CFLP CoRR (2009)
Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez
TOY: A System for Experimenting with Cooperation of Constraint Domains. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Ignacio Castiñeiras, Fernando Sáenz-Pérez
\mathcal{TOY}. WFLP (2009)
Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández
in CFLP. Theory Pract. Log. Program. 9 (4) (2009)
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
system. PPDP (2008)
Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez
Playing with TOY: Constraints and Domain Cooperation. ESOP (2008)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A Theoretical Framework for the Declarative Debugging of Datalog Programs. SDKB (2008)
Francisco José Álvarez Montero, Antonio Ramón Vaquero Sánchez, Fernando Sáenz-Pérez
Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations. LREC (2008)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A New Proposal for Debugging Datalog Programs. Electron. Notes Theor. Comput. Sci. 216 (2008)
Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. FLOPS (2008)
Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez
Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources. ISDA (2) (2008)
Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez, Manuel de Buenaga Rodríguez
Bringing Forward Semantic Relations: Issues and Proposals. ISDA (2007)
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. Electron. Notes Theor. Comput. Sci. 188 (2007)
Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez, Manuel de Buenaga Rodríguez, José María Gómez Hidalgo
Semantic Relations: Modelling Issues, Proposals and Possible Applications. FLAIRS Conference (2007)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
Constraint functional logic programming over finite domains. Theory Pract. Log. Program. 7 (5) (2007)
Ramón González del Campo, Fernando Sáenz-Pérez
Programmed Search in a Timetabling Problem over Finite Domains. Electron. Notes Theor. Comput. Sci. 177 (2007)
Antonio Vaquero, Fernando Sáenz-Pérez, Francisco Álvarez, Manuel de Buenaga Rodríguez
Thinking Precedes Action: Using Software Engineering for the Development of a Terminology Database to Improve Access to Biomedical Documentation. ISBMDA (2006)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
Constraint Functional Logic Programming over Finite Domains CoRR (2006)
Antonio Vaquero, Fernando Sáenz-Pérez, Francisco Álvarez, Manuel de Buenaga Rodríguez
Conceptual Design for Domain and Task Specific Ontology-Based Linguistic Resources. OTM Conferences (1) (2006)
Antonio Vaquero, Fernando Sáenz-Pérez, Francisco Álvarez, Manuel de Buenaga Rodríguez
Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation. OTM Workshops (1) (2006)
Antonio Vaquero, Francisco José Álvarez Montero, Fernando Sáenz-Pérez
Learning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy. EDUTECH (2005)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
Programming with TOY(FD). CP (2005)
Antonio Ramón Vaquero Sánchez, Francisco José Álvarez Montero, Fernando Sáenz-Pérez
Diccionarios basados en taxonomías con estructura de grafo orientado acíclico. Proces. del Leng. Natural 35 (2005)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
Toy(FD): Sketch of Operational Semantics. CP (2003)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
Solving Combinatorial Problems with a Constraint Functional Logic Language. PADL (2003)
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
A Functional Logic Language with Finite Domain Constraints. APPIA-GULP-PRODE (2002)
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
A hybrid evolutionary approach for solving constrained optimization problems over finite domains. IEEE Trans. Evol. Comput. 4 (4) (2000)
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
Parallel Implementation of Constraint Solving. PaCT (1999)
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
Parallel Execution Models for Constraint Programming over Finite Domains. PPDP (1999)
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
Parallel Execution Models for Constraint Propagation. CP (1998)
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
Parallel Arc-Consistency for Functional Constraints. Implementation Technology for Programming Languages based on Logic (1998)
Alvaro Ruiz-Andino, Lourdes Araujo, José J. Ruz, Fernando Sáenz-Pérez
Parallel Evolutionary Optimisation with Constraint Propagation. PPSN (1998)
Werner Hans, Fernando Sáenz-Pérez, Stephan Winkler
An Expression-Or-Parallel Implementation for a Functional Logic Language PLILP (1995)
Werner Hans, Stephan Winkler, Fernando Sáenz-Pérez
Exploiting Expression- and Or-Parallelism for a Functional Logic Language. GULP-PRODE (1995)
Fernando Sáenz-Pérez, José J. Ruz, Werner Hans, Stephan Winkler
A Stack-based Machine for Parallel Execution of Babel Programs. PASCO (1994)
Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler
A Babel Parallel System: VHDL Modelling for Performance Measurement. GULP-PRODE (2) (1994)
Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler
Shared Memory System for Babel: a VHDL Specification. PLILP (1994)