Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Bilattices and the semantics of logic programming
Journal of Logic Programming
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Likelog: a logic programming language for flexible data retrieval
Proceedings of the 1999 ACM symposium on Applied computing
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
ACM Transactions on Computational Logic (TOCL)
A Direct Proof for the Completeness of SLD-Resolution
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Query Processing in Quantitative Logic Programming
Proceedings of the 9th International Conference on Automated Deduction
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Logic programs with uncertainties: a tool for implementing rule-based systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Programming with fuzzy logic and mathematical functions
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Similarity-based reasoning in qualified logic programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Qualified Logic Programming with Bivalued Predicates
Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Qualified Computations in Functional Logic Programming
ICLP '09 Proceedings of the 25th International Conference on 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
Declarative traces into fuzzy computed answers
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Uncertainty in Logic Programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. This paper is intended as a first step towards the investigation of uncertainty in Constraint Functional Logic Programming. We revise an early proposal, namely van Emden's Quantitative Logic Programming [22], and we improve it in two ways. Firstly, we generalize van Emden's QLP to a generic scheme QLP(D) parameterized by any given Qualification Domain D, which must be a lattice satisfying certain natural axioms. We present several interesting instances for D, one of which corresponds to van Emden's QLP. Secondly, we generalize van Emden's results by providing stronger ones, concerning both semantics and goal solving. We present Qualified SLD Resolution over D, a sound and strongly complete goal solving procedure for QLP(D), which is applicable to open goals and can be efficiently implemented using CLP technology over any constraint domain CD able to deal with qualification constraints over D. We have developed a prototype implementation for van Emden's QLP as an instance of QLP(D), on top of the CFLP system TOY.