Isaac Levi Inductive inference as ampliative and non monotonic reasoning. 177-192 2005 conf/tark/2005 TARK http://doi.acm.org/10.1145/1089933.1089954 db/conf/tark/tark2005.html#Levi05