@文章{zbMATH06627930，作者={Kupferman、Orna和Perelli、Giuseppe和Vardi、Moshe Y.}，标题={理性环境合成}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={78}，数字={1}，Pages＝{3-20}，年份＝{2016}，语言={英语}，DOI={10.1007/s10472-016-9508-8}，关键词={68Q60,03B70,68T42,91A80}，zbMATH={6627930}，Zbl={1372.68173}}