@收款{zbMATH05357956，作者={Hindriks、Koen和van der Hoek、Wiebe}，标题={{GOAL}代理实例化意图逻辑}，BookTitle={人工智能中的逻辑。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼}，国际标准图书编号={978-3-540-87802-5}，页码={232--244}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-87803-2_20}，关键词={68T27}，URL={drops.dagstuhl.de/opus/volltexte/2008/1645/}，zbMATH={5357956}，Zbl={1178.68563}}