乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 亚相干答案集程序的半平衡模型。 (英语) 兹比尔1351.68259 Artif公司。智力。 234219-271(2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。智力。234219--271(2016年;Zbl 1351.68259) 全文: 内政部 链接
托马斯·艾特;埃斯拉·埃尔登;哈尔特·埃尔多安;迈克尔·芬克 在答案集编程中寻找相似/不同的解决方案。 (英语) Zbl 1266.68081号 理论与实践。日志。程序。 13,第3号,303-359(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。13,第3号,303--359(2013;Zbl 1266.68081) 全文: 内政部 arXiv公司
托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 使用ACTHEX模拟生产规则。 (英语) Zbl 1357.68217号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265,211-228(2012)。MSC公司:68T27型 68N17号 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Lect。注释计算。科学。7265,211-228(2012;Zbl 1357.68217) 全文: 内政部
托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 正在更新操作域描述。 (英语) Zbl 1225.68251号 Artif公司。智力。 174,第15号,1172-1221(2010). 审核人:Neli Zlatareva(新不列颠哥伦比亚省) MSC公司:68立方英尺 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。174,第15号,1172--1221(2010;Zbl 1225.68251) 全文: 内政部
托马斯·艾特;沃尔夫冈·法伯;迈克尔·芬克;斯特凡·沃尔特兰 具有有界谓词算术和含义的答案集编程的复杂性结果。 (英语) Zbl 1138.68017号 安。数学。Artif公司。智力。 51,编号2-4,123-165(2007).MSC公司:68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《数学年鉴》。Artif公司。智力。51,编号2--4,123-165(2007;Zbl 1138.68017) 全文: 内政部
托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 基于语义偏好比较动作描述。 (英语) Zbl 1125.68114号 安。数学。Artif公司。智力。 50,编号3-4,273-304(2007).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《数学年鉴》。Artif公司。智力。50,编号3--4,273--304(2007;Zbl 1125.68114) 全文: 内政部 链接