Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic programming
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Handbook of theoretical computer science (vol. B)
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A first course in fuzzy logic
From logic programming to Prolog
From logic programming to Prolog
Likelog: a logic programming language for flexible data retrieval
Proceedings of the 1999 ACM symposium on Applied computing
Proximity relations in the fuzzy relational database model
Fuzzy Sets and Systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
Soundness and Completeness of Non-classical SLD-Resolution
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Query Processing in Quantitative Logic Programming
Proceedings of the 9th International Conference on Automated Deduction
Similarity-based reasoning in qualified logic programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
A sound semantics for a similarity-based logic programming language
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
A fuzzy declarative approach for classifying unlabeled short texts using thesauri
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Classifying unlabeled short texts using a fuzzy declarative approach
Language Resources and Evaluation
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II
A Fuzzy linguistic prolog and its applications
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.00 |
Bousi~Prolog is a fuzzy logic programming language with an operational semantics which is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification algorithm based on proximity relations. Hence, it is a programming language well suited for dealing with uncertainty and approximate reasoning. There are several practical applications where Bousi~Prolog can be useful: flexible query answering; advanced pattern matching; information retrieval where textual information is selected or analyzed using an ontology; text cataloging and analysis; etc. In this paper we give a model-theoretic semantics for a pure subset of this language: we formalize the notion of least fuzzy Herbrand model as the declarative semantics for definite programs. We prove various important properties of these models. Finally we define an immediate consequences operator, which is proved monotonous and continuous, obtaining a fixpoint characterization of the least fuzzy Herbrand model.