with Laverny, N. , 2005, 'From knowledge-based programs to graded belief-based programs, part I: on-line reasoning', Synthese 147 (2), 277-321.