Straccia U.
Multi-valued logics Logic and constraint programming [F.4.1 Mathematical Logic] Logic programming Semantics Bilattices F.4.1 Mathematical Logic: Logic and constraint programming Non-monotonic
We present a simple, yet general top-down query answering procedure for normal logic programs over lattices and bilattices, where functions may appear in the rule bodies. Its interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs with or without non-monotonic negation are based on bilattices or lattices, respectively.
Source: 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 687–700, Barcellona, Spain, July 2005
@inproceedings{oai:it.cnr:prodotti:43831, title = {Query answering in normal logic programs under uncertainty}, author = {Straccia U.}, doi = {10.1007/11518655_58}, booktitle = {8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 687–700, Barcellona, Spain, July 2005}, year = {2005} }