@第{zbMATH06523024条，作者={格雷罗、埃斯特班和尼维斯、胡安·卡洛斯和林格伦、海伦娜}，Title={基于语义的参数构造：答案集编程方法}，FJournal={国际近似推理杂志}，期刊={国际期刊近似推理}，ISSN={0888-613X}，体积={64}，页码={54--74}，年份={2015年}，语言={英语}，DOI={10.1016/j.ijar.2015.06.009}，关键词={68T27,68N17}，zbMATH={6523024}，Zbl={1344.68222}}