h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Liu, Daxin
AU  - Lakemeyer, Gerhard
TI  - A Framework for Belief-based Programs and Their Verification
JO  - Journal of artificial intelligence research : JAIR
VL  - 82
SN  - 1076-9757
CY  - [Erscheinungsort nicht ermittelbar]
PB  - AI Access Found.
M1  - RWTH-2025-03576
SP  - 1205-1242
PY  - 2025
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:001450850300007
DO  - DOI:10.1613/jair.1.15796
UR  - https://publications.rwth-aachen.de/record/1009613
ER  -