托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;克伦沃尔纳,托马斯;克里斯托弗·雷德尔;彼得·舒勒 带有外部计算的答案集编程的模型构建框架。 (英语) Zbl 1379.68058号 理论与实践。日志。程序。 16,第4期,418-464(2016).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。16,第4号,418--464(2016;Zbl 1379.68058) 全文: 内政部 arXiv公司
托马斯·艾特;格哈德·布鲁卡;明州道特兰;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;克伦沃尔纳,托马斯 将非单调知识库与外部资源相结合。 (英语) Zbl 1193.68242号 Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,18-42(2009)。MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Lect。注释计算。科学。5749,18-42(2009;Zbl 1193.68242) 全文: 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;克伦沃尔纳,托马斯 答案集编程:初级。 (英语) Zbl 1254.68248号 Tessaris,Sergio(编辑)等人,《推理网络》。信息系统的语义技术。2009年8月30日至9月4日,意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林:施普林格出版社(ISBN 978-3-642-03753-5/pbk)。计算机科学讲座笔记5689,40-110(2009)。MSC公司:68立方英尺 68英里11 68N17号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Lect。注释计算。科学。5689、40-110(2009年;Zbl 1254.68248) 全文: 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳;汉斯·托姆皮茨 将答案集编程与语义web的描述逻辑相结合。 (英语) Zbl 1183.68595号 Artif公司。智力。 172,编号12-13,1495-1539(2008).MSC公司:68T27型 68英里11 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。172,编号12--131495--1539(2008;Zbl 1183.68595) 全文: 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;克伦沃尔纳,托马斯;罗马辛德劳 在描述逻辑程序中利用连接查询。 (英语) Zbl 1165.68499号 安。数学。Artif公司。智力。 53,编号1-4,115-152(2008).MSC公司:68T27型 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Ann.Math。Artif公司。智力。53,编号1-4115-152(2008年;兹bl 1165.68499) 全文: 内政部
弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼 逻辑编程中知识和价值发明的外部来源。 (英语) Zbl 1125.68026号 安。数学。Artif公司。智力。 50,编号3-4,333-361(2007).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,《数学年鉴》。Artif公司。智力。50,编号3--4,333--361(2007;Zbl 1125.68026) 全文: 内政部