克里斯托夫·雷德尔 {dlvhex公司}知识表示系统:最新进展(系统描述)。 (英语) 兹比尔1379.68304 理论与实践。日志。程序。 16,编号5-6,866-883(2016).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Redl},理论与实践。日志。程序。16,编号5-6866-883(2016;兹bl 1379.68304) 全文: 内政部 arXiv公司
托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 使用外部源对ASP程序进行域扩展。 (英语) Zbl 1351.68265号 Artif公司。智力。 233,84-121(2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。23384-121(2016年;Zbl 1351.68265) 全文: 内政部
托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 与外部源冲突驱动的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公司