Uncertainty management in logic programming: simple and effective top-down query answering

Authors:
Umberto Straccia
Affiliations:
ISTI – CNR, Pisa, PI, Italy
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2005

Citing 5
Cited 6

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
Probabilistic logic programming

Information and Computation
Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)
A Parametric Approach to Deductive Databases with Uncertainty

IEEE Transactions on Knowledge and Data Engineering

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Annals of Mathematics and Artificial Intelligence
Combining fuzzy logic and semantic web to enable situation-awareness in service recommendation

DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Fuzzy logic, annotation domains and semantic web languages

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Top-k retrieval for ontology mediated access to relational databases

Information Sciences: an International Journal
A top-k query answering procedure for fuzzy logic programming

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certainty lattice; (ii) computable functions may appear in the rule bodies to manipulate certainties; and (iii) we solve the problem by a reduction to an equational systems, for which we device a top-down procedure.