Document - Query answering in normal logic programs under uncertainty

2005

Conference article Restricted

Query answering in normal logic programs under uncertainty

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

Metrics

Back to previous page

Cite as

BibTeX entry

@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}
}