Article

Sorted Multi-Adjoint Logic Programs:

07/2004;
Source: CiteSeer

ABSTRACT A general framework of logic programming allowing for the combination of several adjoint lattices of truth-values is presented. The main contribution is a new sufficient condition which guarantees termination of all queries for the fixpoint semantics for an interesting class of programs. Several extensions of these conditions are presented and related to some well-known formalisms for probabilistic logic programming.

0 Bookmarks
 · 
51 Views