TY - JOUR AU - Dragan Doder TI - A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P JO - Publications de l'Institut Mathématique PY - 2011 SP - 13 VL - _N_S_90 IS - 104 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PIM_2011_N_S_90_104_a1/ LA - en ID - PIM_2011_N_S_90_104_a1 ER -