From knowledge-based programs to graded belief-based programs, part I

on-line reasoning

2005

Noël Laverny, Jerome Lang

Synthese 147 (2)