Thomas Lukasiewicz Weak Nonmonotonic Probabilistic Logics. 23-33 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#Lukasiewicz04