托马斯·艾特;托比亚斯·卡明斯基 使用语义依赖删减答案集程序的外部极小性检查。 （英语） Zbl 1504.68216号 Artif公司。智力。 290，文章ID 103402，34 p.（2021）.MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Kaminski}，Artif。智力。290，文章ID 103402，34 p.（2021；Zbl 1504.68216） 全文： 内政部 OA许可证
托马斯·艾特;托比亚斯·卡明斯基 使用语义依赖修剪ASP的外部最小值检查。 （英语） Zbl 1522.68537号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11481, 326-339 (2019).MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Kaminski}，莱克特。注释计算。科学。11481、326--339（2019年；Zbl 1522.68537） 全文： 内政部 链接
托比亚斯·卡明斯基;托马斯·艾特;井上，胜美 利用外部资源开发答案集编程用于元解释学习。 （英语） Zbl 1451.68064号 理论与实践。日志。程序。 18，编号3-4，571-588（2018）.MSC公司：68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kaminski}等人，《理论与实践》。日志。程序。18、编号3--4、571--588（2018；Zbl 1451.68064） 全文： 内政部 arXiv公司
托马斯·艾特;托比亚斯·卡明斯基;克里斯托夫·雷德尔;安东尼乌斯·温齐尔 利用部分赋值对具有外部源访问的答案集程序进行有效评估。 （英语） Zbl 1448.68398号 J.阿蒂夫。智力。研究（JAIR） 62, 665-727 (2018).MSC公司：第68页第27页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，J.Artif。智力。研究（JAIR）62，665--727（2018；Zbl 1448.68398） 全文： 链接
托马斯·艾特;托比亚斯·卡明斯基;克里斯托夫·雷德尔;彼得·舒勒;安东尼乌斯·温齐尔 使用外部源访问回答集合编程。 （英语） Zbl 1491.68191号 Ianni，Giovambattista（编辑）等人，《推理网络》。web上的语义互操作性。2017年7月7日至11日，英国伦敦，2017年第13届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。10370, 204-275 (2017).MSC公司：68T20型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛T.Eiter｝等人，Lect。注释计算。科学。10370204-275（2017；Zbl 1491.68191） 全文： 内政部 链接
托马斯·艾特;托比亚斯·卡明斯基 利用上下文知识对视觉对象进行混合分类。 （英语） Zbl 1483.68429号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 223-239 (2016).MSC公司：68T45型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Kaminski}，莱克特。注释计算。科学。10021、223--239（2016；Zbl 1483.68429） 全文： 内政部 链接