洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 在\(\mathit{DL}\)-\(\mathit上进行推理{精简}_{\mathcal{R}}\)在ASP中具有可解除性。 (英语) 兹比尔07776342 理论与实践。日志。程序。 22,第2期,254-304(2022年).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人,《理论与实践》。日志。程序。22,编号2254-304(2022;兹bl 07776342) 全文: 内政部 arXiv公司
Zeynep G.萨里巴特。;托马斯·艾特;彼得·舒勒 非地面答案集程序的抽象。 (英语) Zbl 1520.68023号 Artif公司。智力。 300,文章ID 103563,72 p.(2021).MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}等人,Artif。智力。300,文章ID 103563,72 p.(2021;Zbl 1520.68023) 全文: 内政部
Saribatur、Zeynep G。;托马斯·艾特 答案集程序的基于省略的抽象。 (英语) Zbl 1472.68029号 理论与实践。日志。程序。 21,第2期,145-195(2021); 勘误表同上,第21号,第2,292(2021)。MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}和\textit{T.Eiter},理论与实践。日志。程序。21,第2号,145--195(2021;Zbl 1472.68029) 全文: 内政部 arXiv公司
托马斯·艾特;托比亚斯·卡明斯基 使用语义依赖删减答案集程序的外部极小性检查。 (英语) 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) 全文: 内政部
托马斯·艾特;拉斐尔·基塞尔 \(\mathrm{ASP}(\mathcal{AC})\):带代数约束的答案集编程。 (英语) Zbl 1471.68047号 理论与实践。日志。程序。 20,第6号,895-910(2020).MSC公司:68N17号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{R.Kiesel},理论与实践。日志。程序。20,第6号,895--910(2020;Zbl 1471.68047) 全文: 内政部 arXiv公司
沈义东;托马斯·艾特 确定析取逻辑程序的推理语义。 (英语) Zbl 1483.68061号 Artif公司。智力。 277,文章ID 103165,28 p.(2019).MSC公司:68N17号 第68季度25 68问题55 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}和\textit{T.Eiter},Artif。智力。277,文章ID 103165,28 p.(2019;Zbl 1483.68061) 全文: 内政部
哈拉尔德·贝克;明州道特兰;托马斯·艾特 LARS:基于逻辑的流分析推理框架。 (英语) Zbl 1448.68395号 Artif公司。智力。 261, 16-70 (2018).MSC公司:68T27型 68N17号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Beck}等人,Artif。智力。261、16-70(2018年;Zbl 1448.68395) 全文: 内政部
洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 使用合理的例外增强上下文知识库。 (英语) Zbl 1444.68196号 Artif公司。智力。 257, 72-126 (2018).MSC公司:68立方英尺 第68页第15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人,Artif。智力。257、72-126(2018年;Zbl 1444.68196) 全文: 内政部
Zeynep G.萨里巴特。;托马斯·艾特 用行动语言规划应对策略。 (英语) Zbl 1483.68424号 Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 463-480 (2016).MSC公司:68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}和\textit{T.Eiter},莱克特。注释计算。科学。10021463--480(2016;Zbl 1483.68424) 全文: 内政部 arXiv公司
托马斯·艾特;迈克尔·芬克;达里亚·斯蒂芬诺娃 不一致非单调描述逻辑程序的数据修复。 (英语) 兹比尔1386.68157 Artif公司。因特尔。 239, 7-53 (2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。239、7--53(2016年;Zbl 1386.68157) 全文: 内政部
乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 亚相干答案集程序的半平衡模型。 (英语) Zbl 1351.68259号 工件。智力。 234, 219-271 (2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。智力。234219--271(2016年;Zbl 1351.68259) 全文: 内政部 链接
克里斯蒂娜·费尔;托马斯·艾特 使用完全丰富的自动机进行森林逻辑程序推理。 (英语) Zbl 1467.68172号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 346-353 (2015).MSC公司:68T27型 68N17号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Feier}和\textit{T.Eiter},莱克特。注释计算。科学。9345,346--353(2015;Zbl 1467.68172) 全文: 内政部
托马斯·艾特;西蒙库斯,曼塔斯 使用非单调规则链接开放世界知识库。 (英语) 兹比尔1467.68177 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 294-308 (2015).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{M.Šimkus},莱克特。注释计算。科学。9345,294--308(2015;Zbl 1467.68177) 全文: 内政部
托马斯·艾特;迈克尔·芬克;彼得·舒勒;安东尼乌斯·温齐尔 寻找多上下文系统中不一致性的解释。 (英语) Zbl 1309.68177号 Artif公司。因特尔。 216, 233-274 (2014). 审核人:Neli Zlatareva(新不列颠,康涅狄格州) MSC公司:68立方英尺 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。216233-274(2014;Zbl 1309.68177) 全文: 内政部
托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃特兰 答案集编程中基于模型的重铸。 (英语) Zbl 1400.68048号 J.应用。非类别。日志。 23,编号1-2,75-104(2013).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,J.Appl。非类别。日志。23、编号1--2、75-104(2013;Zbl 1400.68048) 全文: 内政部
托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 与外部源冲突驱动的ASP解决方案。 (英语) Zbl 1260.68060号 理论与实践。日志。程序。 12,编号4-5,659-679(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。12、编号4--5、659--679(2012;Zbl 1260.68060) 全文: 内政部 arXiv公司
哈拉尔德·贝克;托马斯·艾特;托马斯·克伦瓦尔纳 交通法规的不一致性管理:形式化和复杂性的结果。 (英语) Zbl 1361.68220号 Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议,JELIA 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能讲义》,80-93(2012)。MSC公司:68T27型 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Beck}等人,Lect。注释计算。科学。7519、80-93(2012年;Zbl 1361.68220) 全文: 内政部
托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 使用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,编号151172-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 1287.68107号 安德烈亚斯·布拉斯(编辑)等人,《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学讲座笔记6300,227-250(2010)。MSC公司:第68季度第60季度 03年11月15日 03C13号机组 65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Lect。注释计算。科学。6300、227--250(2010;Zbl 1287.68107) 全文: 内政部
托马斯·艾特;伊安尼,乔瓦姆巴蒂斯塔;托马斯·克伦瓦尔纳 答案集编程:初级。 (英语) 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) 全文: 内政部
明州道特兰;托马斯·艾特;托马斯·克伦瓦尔纳 实现描述逻辑知识库上的默认逻辑。 (英语) Zbl 1245.68183号 Sossai,Claudio(编辑)等人,《不确定性推理的符号和定量方法》。第十届欧洲会议,ECSQARU 2009,意大利维罗纳,2009年7月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02905-9/pbk)。计算机科学课堂讲稿5590。《人工智能课堂讲稿》,602-613(2009)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Dao-Tran}等人,Lect。注释计算。科学。5590、602--613(2009年;Zbl 1245.68183) 全文: 内政部
托马斯·艾特;王克文 答案集编程中的语义遗忘。 (英语) Zbl 1184.68159号 Artif公司。智力。 172,第14号,1644-1672(2008).MSC公司:68N17号 第68季度25 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{K.Wang},Artif。智力。172,第14号,1644--1672(2008;Zbl 1184.68159) 全文: 内政部 链接
托马斯·艾特;伊安尼,乔瓦姆巴蒂斯塔;托马斯·卢卡西维奇;罗马辛德劳;汉斯·托姆皮茨 将答案集编程与语义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 1183.68630号 工件。智力。 172,编号12-13,1429-1469(2008).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人,Artif。因特尔。172,编号12--13,1429--1469(2008;Zbl 1183.68630) 全文: 内政部
托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯 撤消动作序列的效果。 (英语) Zbl 1158.68042号 J.应用。日志。 6,第3号,380-415(2008).MSC公司:68T20型 68立方英尺 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,J.Appl。日志。6,第3号,380--415(2008;Zbl 1158.68042) 全文: 内政部
西蒙库斯,曼塔斯;托马斯·艾特 \(\mathbb{FDNC}\):带函数符号的可判定非单调析取逻辑程序。 (英语) Zbl 1137.68334号 Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,514-530(2007)。MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Šimkus}和\textit{T.Eiter},莱克特。注释计算。科学。4790、514--530(2007年;Zbl 1137.68334) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃特兰 具有有界谓词算术和含义的答案集编程的复杂性结果。 (英语) 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) 全文: 内政部
托马斯·艾特;托马斯·卢卡西维奇 结构模型方法中的原因和解释:可追踪案例。 (英语) 兹比尔1131.68104 Artif公司。智力。 170,编号6-7,542-580(2006).MSC公司:68T27型 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Lukasiewicz},人工制品。智力。170,编号6--7,542--580(2006;Zbl 1131.68104) 全文: 内政部 arXiv公司
托马斯·艾特;乔治·戈特洛布 命题逻辑中最小上界下的推理。 (英语) Zbl 1142.68532号 西奥。计算。科学。 369,编号1-3,82-115(2006).MSC公司:68T27型 03B05号 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob},Theor。计算。科学。369,编号1--3,82-115(2006;Zbl 1142.68532) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 知识状态规划的逻辑编程方法。二: DLV(^\mathcal K)系统。 (英语) Zbl 1079.68619号 Artif公司。智力。 144,编号1-2,157-211(2003).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。144,编号1--2,157-211(2003;Zbl 1079.68619) 全文: 内政部
托马斯·艾特;托马斯·卢卡西维奇 基于结构的因果关系的复杂性结果。 (英语) Zbl 1043.68100号 Artif公司。智力。 142,第1期,53-89(2002).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Lukasiewicz},Artif。智力。142,第1号,53--89(2002;Zbl 1043.68100) 全文: 内政部