4 citations · 10 across the 6 of their papers we have counts for
8 papers
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
Pascual Julián-Iranzo, Fernando Sáenz-Pérez
This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi~Prolog. To this end, we first analyse what would be…
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
Pascual Julián-Iranzo, Fernando Sáenz-Pérez
This paper introduces techniques to integrate WordNet into a Fuzzy Logic Programming system. Since WordNet relates words but does not give graded information on the relation betwee…
Applying Constraint Logic Programming to SQL Semantic Analysis
Fernando Sáenz-Pérez
This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling p…
Intuitionistic Logic Programming for SQL (Extended Abstract)
Fernando Sáenz-Pérez
Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This c…
Restricted Predicates for Hypothetical Datalog
Fernando Sáenz-Pérez
Hypothetical Datalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual impli…
Improving the Deductive System DES with Persistence by Using SQL DBMS's
Fernando Sáenz-Pérez
This work presents how persistent predicates have been included in the in-memory deductive system DES by relying on external SQL database management systems. We introduce how persi…