Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Query Answering in Normal Logic Programs under Uncertainty. In: 8th European Conferences on Symbolic and Quantitative Approaches to (Barcellona, Spain, July 2005). Proceedings, vol. 3571 pp. 687 - 700. (Lecture Notes in Computer Science). Springer Verlag, 2005.
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.
Subject Logic programming
Multi-valued logics
F.4.1: Mathematical Logic and Formal Languages. Logic and constraint

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional