@会议记录{hindriks_et_al:DagSemProc.08361.7，author={Hindriks、Koen和van der Hoek、Wiebe}，title={{GOAL代理实例化意图逻辑}}，booktitle={编程多代理系统}，页数={1--13}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2008}，体积={8361}，editor={拉斐尔·博迪尼（Rafael Bordini）、迈赫迪·达斯坦尼（Mehdi Dastani）和杰拉德（J）“{u} rgen公司迪克斯（Dix）和阿马尔·埃尔·法拉赫（Amal El Fallah-Seghrouchni），publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops-dev.dagstuhl.de/entities/documents/10.4230/DagSemProc.08361.7},URN={URN:nbn:de:0030-drops-16458}，doi={10.4230/DagSemProc.08361.7}，annote={关键词：代理、程序、构造、逻辑、操作语义、模型理论语义}}
