default search action
Fernando Sáenz-Pérez
Person information
- affiliation: Complutense University of Madrid, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j17]Marco Gavanelli, Pascual Julián Iranzo, Fernando Sáenz-Pérez:
An efficient propositional system for Abductive Logic Programming. Artif. Intell. Rev. 57(12): 334 (2024) - [c57]Fernando Sáenz-Pérez:
Experiencing Hypothetical Datalog in SQL Puzzles. Datalog 2024: 54-68 - 2023
- [j16]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): 118858 (2023) - 2021
- [j15]Pascual Julián Iranzo
Proximity-Based Unification: An Efficient Implementation Method. IEEE Trans. Fuzzy Syst. 29(5): 1238-1251 (2021) - [j14]Pascual Julián Iranzo
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Theory Pract. Log. Program. 21(2): 264-282 (2021) - [j13]Pascual Julián Iranzo
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Theory Pract. Log. Program. 21(5): 680-697 (2021) - [i6]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. CoRR abs/2101.09619 (2021) - [i5]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog. CoRR abs/2108.03602 (2021) - 2020
- [j12]Susana Nieva
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. Inf. Comput. 271: 104485 (2020) - [c56]Pascual Julián Iranzo, Fernando Sáenz-Pérez
A System implementing Fuzzy Hypothetical Datalog⋆. FUZZ-IEEE 2020: 1-8
2010 – 2019
- 2019
- [j11]Fernando Sáenz-Pérez
Applying Constraint Logic Programming to SQL Semantic Analysis. Theory Pract. Log. Program. 19(5-6): 808-825 (2019) - [c55]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
WordNet and Prolog: why not? EUSFLAT Conf. 2019 - [i4]Fernando Sáenz-Pérez:
Applying Constraint Logic Programming to SQL Semantic Analysis. CoRR abs/1907.10914 (2019) - 2018
- [j10]Jesús Correas Fernández
Enhancing set constraint solvers with bound consistency. Expert Syst. Appl. 92: 485-494 (2018) - [j9]Fernando Sáenz-Pérez
Relational calculi in a deductive system. Expert Syst. Appl. 97: 106-116 (2018) - [j8]Pascual Julián Iranzo
A Fuzzy Datalog Deductive Database System. IEEE Trans. Fuzzy Syst. 26(5): 2634-2648 (2018) - [c54]Pascual Julián Iranzo
An Efficient Proximity-based Unification Algorithm⋆. FUZZ-IEEE 2018: 1-8 - 2017
- [c53]Pascual Julián Iranzo
FuzzyDES or how DES Met Bousi-Prolog. FUZZ-IEEE 2017: 1-6 - 2016
- [c52]Fernando Sáenz-Pérez
Intuitionistic Logic Programming for SQL. LOPSTR 2016: 293-308 - [i3]Fernando Sáenz-Pérez:
Intuitionistic Logic Programming for SQL (Extended Abstract). CoRR abs/1608.03535 (2016) - 2015
- [j7]Francisco J. Álvarez-Montero, Fernando Sáenz-Pérez
Using Datalog to provide just-in-time feedback during the construction of concept maps. Expert Syst. Appl. 42(3): 1362-1375 (2015) - [c51]Rafael Caballero
Debugging of wrong and missing answers for datalog programs with constraint handling rules. PPDP 2015: 55-66 - [c50]Fernando Sáenz-Pérez
Restricted Predicates for Hypothetical Datalog. PROLE 2015: 64-79 - 2014
- [j6]Gabriel Aranda-López, Susana Nieva
An extended constraint deductive database: Theory and implementation. J. Log. Algebraic Methods Program. 83(1): 20-52 (2014) - [c49]Fernando Sáenz-Pérez:
Improving the Deductive System DES with Persistence by Using SQL DBMS's. PROLE 2014: 100-114 - 2013
- [c48]Ignacio Castiñeiras
Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem. ICCS 2013: 531-540 - [c47]Fernando Sáenz-Pérez
Implementing Tabled Hypothetical Datalog. ICTAI 2013: 596-601 - [c46]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: 9-22 - [c45]Gabriel Aranda-López, Susana Nieva
Formalizing a Broader Recursion Coverage in SQL. PADL 2013: 93-108 - 2012
- [j5]Fernando Sáenz-Pérez:
Tabling with Support for Relational Features in a Deductive Database. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 55 (2012) - [c44]Rafael Caballero
Declarative Debugging of Wrong and Missing Answers for SQL Views. FLOPS 2012: 73-87 - [c43]Ignacio Castiñeiras, Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System. FLOPS 2012: 88-103 - [c42]Sonia Estévez Martín, Jesús Correas Fernández
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. FLOPS 2012: 120-135 - 2011
- [c41]Fernando Sáenz-Pérez
A Deductive Database with Datalog and SQL Query Languages. APLAS 2011: 66-73 - [c40]Rafael Caballero
Algorithmic Debugging of SQL Views. Ershov Memorial Conference 2011: 77-85 - [c39]Jesús Manuel Almendros-Jiménez
A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR 2011: 42-56 - [c38]Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Integrating XPath with the Functional-Logic Language Toy. PADL 2011: 145-159 - [c37]Jesús Manuel Almendros-Jiménez
XQuery in the Functional-Logic Language Toy. WFLP 2011: 35-51 - [c36]Jesús Manuel Almendros-Jiménez
XPath Query Processing in a Functional-Logic Language. PROLE 2011: 19-34 - [c35]Fernando Sáenz-Pérez
Outer Joins in a Deductive Database System. PROLE 2011: 73-88 - 2010
- [c34]Rafael Caballero
Applying Constraint Logic Programming to SQL Test Case Generation. FLOPS 2010: 191-206 - [c33]Fernando Sáenz-Pérez
DES: A Deductive Database System. PROLE 2010: 63-78
2000 – 2009
- 2009
- [j4]Sonia Estévez Martín
On the cooperation of the constraint domains , R, and F in CFLP. Theory Pract. Log. Program. 9(4): 415-527 (2009) - [c32]Gabriel Aranda-López, Susana Nieva
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. PPDP 2009: 117-128 - [c31]Ignacio Castiñeiras, Fernando Sáenz-Pérez
Integrating ILOG CP Technology into TOY\mathcal{TOY}. WFLP 2009: 27-43 - [c30]Sonia Estévez Martín
TOY: A System for Experimenting with Cooperation of Constraint Domains. PROLE 2009: 79-91 - [i2]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 abs/0904.2136 (2009) - 2008
- [c29]Sonia Estévez Martín, Antonio J. Fernández
Playing with TOY: Constraints and Domain Cooperation. ESOP 2008: 112-115 - [c28]Susana Nieva
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. FLOPS 2008: 289-304 - [c27]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: 110-115 - [c26]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 - [c25]Sonia Estévez Martín
Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268 - [c24]Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A Theoretical Framework for the Declarative Debugging of Datalog Programs. SDKB 2008: 143-159 - 2007
- [j3]Antonio J. Fernández
Constraint functional logic programming over finite domains. Theory Pract. Log. Program. 7(5): 537-582 (2007) - [c23]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 2007: 512-517 - [c22]Francisco Álvarez, Antonio Vaquero, Fernando Sáenz-Pérez, Manuel de Buenaga Rodríguez:
Bringing Forward Semantic Relations: Issues and Proposals. ISDA 2007: 511-519 - [c21]Rafael Caballero
A New Proposal for Debugging Datalog Programs. WFLP@RDP 2007: 79-92 - 2006
- [c20]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: 207-218 - [c19]Antonio Vaquero, Fernando Sáenz-Pérez
Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation. OTM Workshops (1) 2006: 658-668 - [c18]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: 855-862 - [c17]Sonia Estévez Martín
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. PROLE 2006: 37-51 - [c16]Ramón González del Campo, Fernando Sáenz-Pérez
Programmed Search in a Timetabling Problem over Finite Domains. WFLP 2006: 253-267 - [i1]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 abs/cs/0601071 (2006) - 2005
- [j2]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) - [c15]Antonio J. Fernández
Programming with TOY(FD). CP 2005: 878-878 - [c14]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: 91-106 - 2003
- [c13]Antonio J. Fernández
Toy(FD): Sketch of Operational Semantics. CP 2003: 827-831 - [c12]Antonio J. Fernández
Solving Combinatorial Problems with a Constraint Functional Logic Language. PADL 2003: 320-338 - 2002
- [c11]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: 7-22 - 2001
- [p1]Antonio Vaquero, Fernando Sáenz-Pérez, A. Barco:
Improving the Language Mastery through Responsive Environments. Computers and Education. Towards an Interconnected Society 2001: 321-340 - 2000
- [j1]Alvaro Ruiz-Andino, Lourdes Araujo
A hybrid evolutionary approach for solving constrained optimization problems over finite domains. IEEE Trans. Evol. Comput. 4(4): 353-372 (2000)
1990 – 1999
- 1999
- [c10]Alvaro Ruiz-Andino, Lourdes Araujo
Parallel Implementation of Constraint Solving. PaCT 1999: 466-471 - [c9]Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz:
Parallel Execution Models for Constraint Programming over Finite Domains. PPDP 1999: 134-151 - 1998
- [c8]Alvaro Ruiz-Andino, Lourdes Araujo
Parallel Execution Models for Constraint Propagation. CP 1998: 473 - [c7]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: 86-100 - [c6]Alvaro Ruiz-Andino, Lourdes Araujo, José J. Ruz, Fernando Sáenz-Pérez
Parallel Evolutionary Optimisation with Constraint Propagation. PPSN 1998: 270-279 - 1995
- [c5]Werner Hans, Stephan Winkler, Fernando Sáenz-Pérez:
Exploiting Expression- and Or-Parallelism for a Functional Logic Language. GULP-PRODE 1995: 371-382 - [c4]Werner Hans, Fernando Sáenz-Pérez
An Expression-Or-Parallel Implementation for a Functional Logic Language. PLILP 1995: 457-458 - 1994
- [c3]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: 238-252 - [c2]Fernando Sáenz-Pérez, José J. Ruz, Werner Hans, Stephan Winkler:
A Stack-based Machine for Parallel Execution of Babel Programs. PASCO 1994: 336-345 - [c1]Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler:
Shared Memory System for Babel: a VHDL Specification. PLILP 1994: 461-462
Coauthor Index
Francisco Álvarez 0001
aka: Francisco José Álvarez Montero
aka: Francisco José Álvarez Montero
Antonio J. Fernández 0001
aka: Antonio José Fernández Leiva
aka: Antonio José Fernández Leiva
Antonio Ramón Vaquero Sánchez
aka: Antonio Vaquero
aka: Antonio Vaquero
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: