h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Liu, Daxin
%A Lakemeyer, Gerhard
%T A Framework for Belief-based Programs and Their Verification
%J Journal of artificial intelligence research : JAIR
%V 82
%@ 1076-9757
%C [Erscheinungsort nicht ermittelbar]
%I AI Access Found.
%M RWTH-2025-03576
%P 1205-1242
%D 2025
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:001450850300007
%R 10.1613/jair.1.15796
%U https://publications.rwth-aachen.de/record/1009613