Zoran Majkic Truth and knowledge fixpoint semantics for many-valued logic programming. 76-87 2005 conf/wlp/2005 W(C)LP db/conf/wlp/wclp2005.html#Majkic05