乔瓦尼·阿蒙多拉;托拜厄斯·贝雷;弗朗西斯科·里卡 ASP中的测试:重新访问了语言和编程环境。 (英语) Zbl 07437052号 Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,2021年5月17日至20日,JELIA,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12678, 362-376 (2021).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Lect。注释计算。科学。12678、362--376(2021;Zbl 07437052) 全文: 内政部
乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 亚相干答案集程序的半平衡模型。 (英语) Zbl 1351.68259号 Artif公司。智力。 234219-271(2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。智力。234219-271(2016年;兹比尔1351.68259) 全文: 内政部 链接