Fernando Sáenz-Pérez
Orcid: 0000-0001-6075-4398Affiliations:
- Complutense University of Madrid, Spain
According to our database1,
Fernando Sáenz-Pérez
authored at least 77 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
3
1
1
3
1
1
1
1
2
1
1
1
1
1
1
1
1
1
2
1
4
3
7
2
3
6
3
5
2
2
1
2
3
2
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Artif. Intell. Rev., December, 2024
Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024
2023
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language.
Expert Syst. Appl., 2023
2021
Theory Pract. Log. Program., 2021
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System.
Theory Pract. Log. Program., 2021
IEEE Trans. Fuzzy Syst., 2021
2020
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.
Inf. Comput., 2020
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020
2019
Theory Pract. Log. Program., 2019
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019
2018
Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018
2017
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017
2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Using Datalog to provide just-in-time feedback during the construction of concept maps.
Expert Syst. Appl., 2015
Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015
Debugging of wrong and missing answers for datalog programs with constraint handling rules.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
2014
J. Log. Algebraic Methods Program., 2014
Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014
2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
Proceedings of the LPAR 2013, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem.
Proceedings of the International Conference on Computational Science, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
2011
Proceedings of the XI Spanish Conference on Programming and Languages, 2011
Proceedings of the XI Spanish Conference on Programming and Languages, 2011
Proceedings of the Functional and Constraint Logic Programming, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the Perspectives of Systems Informatics, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
Theory Pract. Log. Program., 2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
Proceedings of the Functional and Constraint Logic Programming, 2009
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
2008
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations.
Proceedings of the International Conference on Language Resources and Evaluation, 2008
Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources.
Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008
Proceedings of the Programming Languages and Systems, 2008
2007
Theory Pract. Log. Program., 2007
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007
Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
2006
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006
Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006
Thinking Precedes Action: Using Software Engineering for the Development of a Terminology Database to Improve Access to Biomedical Documentation.
Proceedings of the Biological and Medical Data Analysis, 7th International Symposium, 2006
2005
Proces. del Leng. Natural, 2005
Learning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy.
Proceedings of the New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
2003
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Improving the Language Mastery through Responsive Environments.
Proceedings of the Computers and Education. Towards an Interconnected Society, 2001
2000
A hybrid evolutionary approach for solving constrained optimization problems over finite domains.
IEEE Trans. Evol. Comput., 2000
1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
Proceedings of the Parallel Computing Technologies, 1999
1998
Proceedings of the Parallel Problem Solving from Nature, 1998
Parallel Arc-Consistency for Functional Constraints.
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
1995
Proceedings of the Programming Languages: Implementations, 1995
Exploiting Expression- and Or-Parallelism for a Functional Logic Language.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
A Stack-based Machine for Parallel Execution of Babel Programs.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
A Babel Parallel System: VHDL Modelling for Performance Measurement.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994