Straccia U.
Query answering Uncertainty Logic programming
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: ii{i} the certainty values are taken from a certainty lattice; ii{ii} computable functions may appear in the rule bodies to manipulate certainties; and ii{iii} we solve the problem by a reduction to an equational systems, for which we device a top-down procedure.
Source: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, pp. 753–760, Melbourne, Australia, 14-16 September 2005
@inproceedings{oai:it.cnr:prodotti:43848, title = {Uncertainty management in logic programming: simple and effective top-down query answering}, author = {Straccia U.}, doi = {10.1007/11552451_103}, booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, pp. 753–760, Melbourne, Australia, 14-16 September 2005}, year = {2005} }