Repository | Journal | Volume | Articles
(2005) Synthese 147 (2).
From knowledge-based programs to graded belief-based programs, part I
on-line reasoning
Noël Laverny, Jérôme Lang
pp. 277-321
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as
Publication details
DOI: 10.1007/s11229-005-1350-1
Full citation:
Laverny, N. , Lang, J. (2005). From knowledge-based programs to graded belief-based programs, part I: on-line reasoning. Synthese 147 (2), pp. 277-321.
This document is unfortunately not available for download at the moment.