Fernando Sáenz-Pérez

86 papers A 5B 7C 10Misc 7Journal 28Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
LearnSQL: Impact of an Automatic Judge in Database Learning.
ACM Trans. Comput. Educ.
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio, Fernando Sáenz-Pérez
2025 J jnl
Conversion of the Spanish WordNet databases into a Prolog-readable format.
Lang. Resour. Evaluation
Pascual Julián Iranzo, Germán Rigau, Fernando Sáenz-Pérez, Pablo Velasco-Crespo
2024 J jnl
An efficient propositional system for Abductive Logic Programming.
Artif. Intell. Rev.
Marco Gavanelli, Pascual Julián Iranzo, Fernando Sáenz-Pérez
2024 — conf
Experiencing Hypothetical Datalog in SQL Puzzles.
Datalog
Fernando Sáenz-Pérez
2023 J jnl
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language.
Expert Syst. Appl.
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2021 J jnl
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System.
CoRR
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2021 J jnl
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System.
Theory Pract. Log. Program.
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2021 J jnl
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog.
CoRR
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2021 J jnl
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog.
Theory Pract. Log. Program.
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2021 J jnl
Proximity-Based Unification: An Efficient Implementation Method.
IEEE Trans. Fuzzy Syst.
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2020 B conf
A System implementing Fuzzy Hypothetical Datalog
FUZZ-IEEE
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2020 J jnl
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.
Inf. Comput.
Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2019 J jnl
Applying Constraint Logic Programming to SQL Semantic Analysis.
CoRR
Fernando Sáenz-Pérez
2019 J jnl
Applying Constraint Logic Programming to SQL Semantic Analysis.
Theory Pract. Log. Program.
Fernando Sáenz-Pérez
2019 — conf
WordNet and Prolog: why not?
EUSFLAT Conf.
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2018 J jnl
A Fuzzy Datalog Deductive Database System.
IEEE Trans. Fuzzy Syst.
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2018 B conf
An Efficient Proximity-based Unification Algorithm
FUZZ-IEEE
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2018 J jnl
Enhancing set constraint solvers with bound consistency.
Expert Syst. Appl.
Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez
2018 J jnl
Relational calculi in a deductive system.
Expert Syst. Appl.
Fernando Sáenz-Pérez
2017 B conf
FuzzyDES or how DES Met Bousi-Prolog.
FUZZ-IEEE
Pascual Julián Iranzo, Fernando Sáenz-Pérez
2016 J jnl
Intuitionistic Logic Programming for SQL (Extended Abstract).
CoRR
Fernando Sáenz-Pérez
2016 C conf
Intuitionistic Logic Programming for SQL.
LOPSTR
Fernando Sáenz-Pérez
2015 C conf
Debugging of wrong and missing answers for datalog programs with constraint handling rules.
PPDP
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2015 J jnl
Improving the Search Capabilities of a CFLP(FD) System.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fernando Sáenz-Pérez, Ignacio Castiñeiras
2015 J jnl
R-SQL: An SQL Database System with Extended Recursion.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fernando Sáenz-Pérez, Susana Nieva, Jaime Sánchez-Hernández, Gabriel Aranda-López
2015 — conf
Restricted Predicates for Hypothetical Datalog.
PROLE
Fernando Sáenz-Pérez
2015 J jnl
Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fernando Sáenz-Pérez
2015 J jnl
Using Datalog to provide just-in-time feedback during the construction of concept maps.
Expert Syst. Appl.
Francisco J. Álvarez-Montero, Fernando Sáenz-Pérez, Antonio Vaquero-Sánchez
2014 J jnl
An extended constraint deductive database: Theory and implementation.
J. Log. Algebraic Methods Program.
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2014 — conf
Improving the Deductive System DES with Persistence by Using SQL DBMS's.
PROLE
Fernando Sáenz-Pérez
2013 Misc conf
Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem.
ICCS
Ignacio Castiñeiras, Fernando Sáenz-Pérez
2013 C conf
Formalizing a Broader Recursion Coverage in SQL.
PADL
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2013 B conf
Implementing Tabled Hypothetical Datalog.
ICTAI
Fernando Sáenz-Pérez
2013 — conf
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.
LPAR (short papers)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2012 Misc conf
Declarative Debugging of Wrong and Missing Answers for SQL Views.
FLOPS
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2012 Misc conf
Extending the TOY System with the ECLiPSe Solver over Sets of Integers.
FLOPS
Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez
2012 Misc conf
Improving the Performance of FD Constraint Solving in a CFLP System.
FLOPS
Ignacio Castiñeiras, Fernando Sáenz-Pérez
2012 J jnl
Tabling with Support for Relational Features in a Deductive Database.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fernando Sáenz-Pérez
2011 C conf
A Declarative Embedding of XQuery in a Functional-Logic Language.
LOPSTR
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 B conf
A Deductive Database with Datalog and SQL Query Languages.
APLAS
Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
2011 — conf
Algorithmic Debugging of SQL Views.
Ershov Memorial Conference
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 C conf
Integrating XPath with the Functional-Logic Language Toy.
PADL
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 — conf
Outer Joins in a Deductive Database System.
PROLE
Fernando Sáenz-Pérez
2011 — conf
XPath Query Processing in a Functional-Logic Language.
PROLE
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 — conf
XQuery in the Functional-Logic Language Toy.
WFLP
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2010 Misc conf
Applying Constraint Logic Programming to SQL Test Case Generation.
FLOPS
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2010 — conf
DES: A Deductive Database System.
PROLE
Fernando Sáenz-Pérez
2009 C conf
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
PPDP
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2009 — conf
Integrating ILOG CP Technology into
WFLP
Ignacio Castiñeiras, Fernando Sáenz-Pérez
2009 J jnl
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR
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
2009 J jnl
On the cooperation of the constraint domains ,
Theory Pract. Log. Program.
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
2009 — conf
TOY: A System for Experimenting with Cooperation of Constraint Domains.
PROLE
Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez
2008 — conf
A Theoretical Framework for the Declarative Debugging of Datalog Programs.
SDKB
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2008 B conf
Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations.
LREC
Francisco José Álvarez Montero, Antonio Ramón Vaquero Sánchez, Fernando Sáenz-Pérez
2008 C conf
Cooperation of constraint domains in the
PPDP
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
2008 Misc conf
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.
FLOPS
Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez
2008 A conf
Playing with TOY: Constraints and Domain Cooperation.
ESOP
Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez
2008 — conf
Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources.
ISDA (2)
Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez
2007 — conf
A New Proposal for Debugging Datalog Programs.
WFLP@RDP
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2007 C conf
Bringing Forward Semantic Relations: Issues and Proposals.
ISDA
Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez, Manuel de Buenaga Rodríguez
2007 J jnl
Constraint functional logic programming over finite domains.
Theory Pract. Log. Program.
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2007 Misc conf
Semantic Relations: Modelling Issues, Proposals and Possible Applications.
FLAIRS
Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez, Manuel de Buenaga Rodríguez, José María Gómez Hidalgo
2006 — conf
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
PROLE
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
2006 — conf
Conceptual Design for Domain and Task Specific Ontology-Based Linguistic Resources.
OTM Conferences (1)
Antonio Vaquero, Fernando Sáenz-Pérez, Francisco Álvarez, Manuel de Buenaga Rodríguez
2006 J jnl
Constraint Functional Logic Programming over Finite Domains
CoRR
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2006 — conf
Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation.
OTM Workshops (1)
Antonio Vaquero, Fernando Sáenz-Pérez, Francisco Álvarez, Manuel de Buenaga Rodríguez
2006 — conf
Programmed Search in a Timetabling Problem over Finite Domains.
WFLP
Ramón González del Campo, Fernando Sáenz-Pérez
2006 — conf
Thinking Precedes Action: Using Software Engineering for the Development of a Terminology Database to Improve Access to Biomedical Documentation.
ISBMDA
Antonio Vaquero, Fernando Sáenz-Pérez, Francisco Álvarez, Manuel de Buenaga Rodríguez
2005 J jnl
Diccionarios basados en taxonomías con estructura de grafo orientado acíclico.
Proces. del Leng. Natural
Antonio Ramón Vaquero Sánchez, Francisco José Álvarez Montero, Fernando Sáenz-Pérez
2005 — conf
Learning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy.
EDUTECH
Antonio Vaquero, Francisco José Álvarez Montero, Fernando Sáenz-Pérez
2005 A conf
Programming with TOY(FD).
CP
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2003 C conf
Solving Combinatorial Problems with a Constraint Functional Logic Language.
PADL
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2003 A conf
Toy(FD): Sketch of Operational Semantics.
CP
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2002 — conf
A Functional Logic Language with Finite Domain Constraints.
APPIA-GULP-PRODE
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez
2001 — ch.
Improving the Language Mastery through Responsive Environments.
Computers and Education. Towards an Interconnected Society
Antonio Vaquero, Fernando Sáenz-Pérez, A. Barco
2000 J jnl
A hybrid evolutionary approach for solving constrained optimization problems over finite domains.
IEEE Trans. Evol. Comput.
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
1999 C conf
Parallel Execution Models for Constraint Programming over Finite Domains.
PPDP
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
1999 B conf
Parallel Implementation of Constraint Solving.
PaCT
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
1998 — conf
Parallel Arc-Consistency for Functional Constraints.
Implementation Technology for Programming Languages based on Logic
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
1998 A conf
Parallel Evolutionary Optimisation with Constraint Propagation.
PPSN
Alvaro Ruiz-Andino, Lourdes Araujo, José J. Ruz, Fernando Sáenz-Pérez
1998 A conf
Parallel Execution Models for Constraint Propagation.
CP
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
1995 — conf
An Expression-Or-Parallel Implementation for a Functional Logic Language
PLILP
Werner Hans, Fernando Sáenz-Pérez, Stephan Winkler
1995 — conf
Exploiting Expression- and Or-Parallelism for a Functional Logic Language.
GULP-PRODE
Werner Hans, Stephan Winkler, Fernando Sáenz-Pérez
1994 — conf
A Babel Parallel System: VHDL Modelling for Performance Measurement.
GULP-PRODE (2)
Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler
1994 — conf
A Stack-based Machine for Parallel Execution of Babel Programs.
PASCO
Fernando Sáenz-Pérez, José J. Ruz, Werner Hans, Stephan Winkler
1994 — conf
Shared Memory System for Babel: a VHDL Specification.
PLILP
Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler