SourceForge.net Logo
Publications

DISCLAIMER: This directory contains pdf files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

[JS17a] [BibTeX] P. Julián-Iranzo and F. Sáenz-Pérez, “FuzzyDES or How DES Met Bousi~Prolog”, IEEE Intl. Conf. on Fuzzy Systems (FUZZ-IEEE 2017), 2017.

[Sae17a] [BibTeX] F. Sáenz-Pérez, “Intuitionistic Logic Programming for SQL”, LNCS, Springer, Post-Conference Proceedings LOPSTR’16, 2017. In Press

[Sae16a] [BibTeX] F. Sáenz-Pérez, “Intuitionistic Logic Programming for SQL. Extended Abstract”, Pre-Proceedings of the 26th Intl. Symp. LOPSTR’16, Edimburgh, Scotland, September, 2016.

[Sae16b] [BibTeX] F. Sáenz-Pérez, “Formal Relational Languages in a Deductive Setting”, XVI Jornadas sobre Programación y Lenguajes, PROLE’2016 (SISTEDES), Salamanca, Spain, September, 2016.

[BCS16a] [BibTeX] F. Bueno, J. Correas, and F. Sáenz-Pérez, “Metapredicate Optimization for Datalog Queries through Program Analysis”, XVI Jornadas sobre Programación y Lenguajes, PROLE’2016 (SISTEDES), Salamanca, Spain, September, 2016.

[Sae15c] [BibTeX]  F. Sáenz-Pérez, “Restricted Predicates for Hypothetical Datalog”, Electronic Proceedings in Theoretical Computer Science, Vol. 200, 2015. Journal extended version corresponding to [Sae15b]

[Sae15b] [BibTeX] F. Sáenz-Pérez, "Restricted Predicates for Hypothetical Datalog", XV Jornadas sobre Programación y Lenguajes, PROLE’2015 (SISTEDES), Santander, Spain, September, 2015.

[CGS15a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Declarative Debugging of Wrong and Missing Answers for Datalog Programs with Constraint Handling Rules", In PPDP 2015, Siena, Italy, July 2015.

[Sae15a] [BibTeX] F. Sáenz-Pérez, "Improving the Deductive System DES with Persistence by Using SQL DBMS's", Electronic Proceedings in Theoretical Computer Science, Vol. 173, 2015. Journal extended version corresponding to [Sae14b]

[ASV15a] [BibTeX] F. Álvarez-Montero, F. Sáenz-Pérez and A. Vaquero, “Using Datalog to provide just-in-time feedback during the construction of concept maps”, Expert Systems with Applications Journal Vol. 42, Elsevier, 2015.

[Sae14b] [BibTeX] F. Sáenz-Pérez, "Improving the Deductive System DES with Persistence by Using SQL DBMS's", XIV Jornadas sobre Programación y Lenguajes, PROLE’2013 (SISTEDES), Cádiz, Spain, September, 2014. Slides

[Sae14a] [BibTeX] F. Sáenz-Pérez, "Towards Bridging the Expressiveness Gap Between Relational and Deductive Databases", Electronic Communications of the EASST, Vol. 64, Journal version corresponding to [Sae13b], 2014.

[Sae13c] [BibTeX] [DOI] F. Sáenz-Pérez, "Implementing Tabled Hypothetical Datalog", IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - 2013, Washington D.C., USA, November, 2013.

[Sae13b] [BibTeX] F. Sáenz-Pérez, "Towards Bridging the Expressiveness Gap Between Relational and Deductive Databases", XIII Jornadas sobre Programación y Lenguajes, PROLE’2013 (SISTEDES), Madrid, Spain, September, 2013. Slides

[Sae13a] [BibTeX] F. Sáenz-Pérez, "Tabling with Support for Relational Features in a Deductive Database System", Electronic Communications of the EASST, Vol. 55, 2012. Journal version corresponding to [Sae12b]

[Sae12b] [BibTeX] F. Sáenz-Pérez, "Tabling with Support for Relational Features in a Deductive Database System", XII Jornadas sobre Programación y Lenguajes, PROLE2012 (SISTEDES), pp. 87-101, Almería, Spain, September, 2012. Best paper award

[Sae12a] [BibTeX] F. Sáenz-Pérez, "Outer Joins in a Deductive Database System", Electronic Notes in Theoretical Computer Science, vol. 282, pp. 73-88, ISSN 1571-0661, May, 2012. Journal version corresponding to [Sae11b]

[CGS12a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Declarative Debugging of Wrong and Missing Answers for SQL Views", In 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Springer, Lecture Notes in Computer Science 7294, Kobe, Japan, May, 2012.

[SCG11a] [BibTeX] F. Sáenz-Pérez, R. Caballero, and Y. García-Ruiz, "A Deductive Database with Datalog and SQL Query Languages", The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan, December, 2011. Slides

[Sae11c] [BibTeX] F. Sáenz-Pérez, "From relational to deductive databases", XVI Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2011 (SISTEDES), ISBN: 978-84-9749-486-1, pp. 73-86, A Coruña, Spain, September, 2011.

[Sae11b] [BibTeX] F. Sáenz-Pérez, "Outer Joins in a Deductive Database System", XI Jornadas sobre Programación y Lenguajes, PROLE2011 (SISTEDES), ISBN: 978-84-9749-487-8, pp. 126-140, A Coruña, Spain, September, 2011. Slides

[CGS11b] [BibTeX] R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "Algorithmic Debugging of SQL Views", Eigth Ershov Invormatics Conference, PSI'11, Novosibirsk, Akademgorodok, Russia, June, 2011.

[CGS11c] [BibTeX] R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "Declarative Debugging of SQL Views", Technical Report SIC-03/11, Facultad de Informática, Universidad Complutense de Madrid, 2011.

[Sae11a] [BibTeX] F. Sáenz-Pérez, "DES: A Deductive Database System", ENTCS 271, pp. 63-78, 2011. Journal version corresponding to [Sae10a]

[Sae10a] [BibTeX] F. Sáenz-Pérez, "DES: A Deductive Database System", X Jornadas sobre Programación y Lenguajes, PROLE 2010 (SISTEDES), pp. 177-188, Valencia, Spain, September, 2010. Slides

[CGS10a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Applying Constraint Logic Programming to SQL Test Case Generation", In 10th International Symposium on Functional and Logic Programming (FLOPS 2010), Springer, Lecture Notes in Computer Science 6009, Sendai, Japan, April, 2010.

[CGS08] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, “A Theoretical Framework for the Declarative Debugging of Datalog Programs”, In International Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), Springer, Lecture Notes in Computer Science 4925, Nantes, Francia, March, 2008.

[Sae07b] [BibTeX] Fernando Sáenz-Pérez, “ACIDE: An Integrated Development Environment Configurable for LaTeX”, The PracTeX Journal, 2007, Number 3, ISSN 1556-6994, August, 2007.

[Sae07a] [BibTeX] Fernando Sáenz-Pérez, “DES: un recurso para el aprendizaje de bases de datos deductivas”, Jornadas de Enseñanza Universitaria (JENUI), Thomson, pp. 433-440, 2007. Slides. In Spanish.

[CGS07] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, “A New Proposal for Debugging Datalog Programs”, In 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP’07), France, June, 2007.

[CGS06b] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, “Towards a Set Oriented Calculus for Logic Programming”, VI Jornadas sobre Programación y Lenguajes, PROLE 2006, P. Lucio y F. Orejas (editors), CIMNE, pp. 41-50, Barcelona, Spain, September, 2006.

[CGS06a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, “SOCLP: A Set Oriented Calculus for Logic Programming”, Technical Report SIP-02/2006, Facultad de Informática, Universidad Complutense de Madrid, June 2006.

[Sae04] [BibTeX] F. Sáenz-Pérez, “Datalog Educational System V1.1”, User’s Manual. Technical Report 139-04, Facultad de Informática, Universidad Complutense de Madrid, April 2004, http://des.sourceforge.net/