4 citations · 10 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
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…
On the Cooperation of the Constraint Domains H, R and FD in CFLP
S. Estévez-Martín, T. Hortalá-González, Rodríguez-Artalejo +3
This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model sup…
Constraint Functional Logic Programming over Finite Domains
Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez +1
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly…