default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFernando 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)- 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, Fernando Sáenz-Pérez:
Proximity-Based Unification: An Efficient Implementation Method. IEEE Trans. Fuzzy Syst. 29(5): 1238-1251 (2021) - [j14]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): 264-282 (2021) - [j13]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
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, 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: 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, Sonia Estévez Martín, Fernando Sáenz-Pérez:
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, Fernando Sáenz-Pérez:
A Fuzzy Datalog Deductive Database System. IEEE Trans. Fuzzy Syst. 26(5): 2634-2648 (2018) - [c54]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
An Efficient Proximity-based Unification Algorithm⋆. FUZZ-IEEE 2018: 1-8 - 2017
- [c53]Pascual Julián Iranzo, Fernando Sáenz-Pérez:
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, Antonio Vaquero-Sánchez:
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, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
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, 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): 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, 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: 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, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández:
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, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
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, Fernando Sáenz-Pérez:
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. FLOPS 2012: 120-135 - 2011
- [c41]Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz:
A Deductive Database with Datalog and SQL Query Languages. APLAS 2011: 66-73 - [c40]Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Algorithmic Debugging of SQL Views. Ershov Memorial Conference 2011: 77-85 - [c39]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: 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, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
XQuery in the Functional-Logic Language Toy. WFLP 2011: 35-51 - [c36]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. 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, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
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, 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 , R, and F in CFLP. Theory Pract. Log. Program. 9(4): 415-527 (2009) - [c32]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: 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, Antonio José Fernández Leiva, Fernando Sáenz-Pérez:
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, Fernando Sáenz-Pérez:
Playing with TOY: Constraints and Domain Cooperation. ESOP 2008: 112-115 - [c28]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: 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, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
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, 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): 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, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
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, 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: 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, 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. 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, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez:
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, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez:
Toy(FD): Sketch of Operational Semantics. CP 2003: 827-831 - [c12]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: 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, 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): 353-372 (2000)
1990 – 1999
- 1999
- [c10]Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz:
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, Fernando Sáenz-Pérez, José J. Ruz:
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, Stephan Winkler:
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-10-22 21:18 CEST 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:
