PUMA
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.
 
 
Abstract
(English)
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
Semantics
Bilattices
Multi-valued logics
Non-monotonic
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