ResumenTuning Fuzzy Logic Programs with Symbolic ExecutionMoreno, Ginés; Penabad, Jaime; Vidal, Germán. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well as the most appropriate fuzzy connectives and operators. In this paper, we introduce a symbolic extension of fuzzy logic programs in which some of these parameters can be left unknown, so that the user can easily see the impact of their possible values. Furthermore, given a number of test cases, the most appropriate values for these parameters can be automatically computed. ResumenFuzzyDES: Fuzzifying DESJulián Iranzo, Pascual; Sáenz Pérez, Fernando. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.This paper describes a system implementation of a fuzzy deductive database. Concepts supporting the fuzzy logic programming system BPL are translated into the deductive database system DES. We develop a version of fuzzy Datalog as its query language, where programs and queries are compiled to the DES core Datalog language. Weak unification and weak SLD resolution are adapted to this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in Prolog which is open-source, multiplatform, portable, and in-memory. A database example for a recommender system is used to illustrate some of the features of the system. ArtículoFSA-SPARQL: Fuzzy Queries in SPARQLAlmendros-Jiménez, Jesus M.; Becerra Terón, Antonio; Moreno, Ginés. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.SPARQL has been adopted as query language for the Semantic Web. RDF and OWL have been also established as vocabularies to describe ontologies in this setting. While RDF/OWL/SPARQL have been designed for querying crisp information, some contexts require to manage uncertainty, vagueness and imprecise knowledge. In this paper we propose a SPARQL extension, called FSA-SPARQL (Fuzzy Sets and Aggregators based SPARQL) in which queries can involve different fuzzy connectives and (aggregation) operators. The language has been implemented as an extension of the ARQ Jena SPARQL engine and it is equipped with a Web tool from which queries can be executed on-line.