Truth and knowledge fixpoint semantics for many-valued logic programming

Zoran Majkic. Truth and knowledge fixpoint semantics for many-valued logic programming. In Armin Wolf, Thom W. Frühwirth, Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Volume 2005-01 of Ulmer Informatik-Berichte, pages 76-87, Universität Ulm, Germany, 2005.

Abstract

Abstract is missing.