@文章{zbMATH06917516，作者={Eiter、Thomas和Kaminski、Tobias和Redl、Christoph和Weinzierl、Antonius}，Title={利用部分赋值对具有外部源访问的答案集程序进行有效评估}，FJournal={人工智能研究杂志（JAIR）}，期刊={J.Artif.Intell.Res.（JAIR）}，ISSN={1076-9757}，体积={62}，页码={665--727}，年份={2018年}，语言={英语}，关键词={68T27,68T20}，URL={www.jair.org/index.php/jair/article/view/11212}，zbMATH={6917516}，Zbl={1448.68398}}