尼古拉·利昂;马可·曼纳;乔治·特拉西纳;皮尔弗朗西斯科·维尔特里 基于存在规则的快速查询应答。 (英语) Zbl 1433.68432号 ACM事务处理。计算。日志。 第20条第2款第12条第48页(2019年).MSC公司:68立方英尺 68N17号 第68页,共15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{塞拉利昂}等人,ACM Trans。计算。日志。20,第2号,第12条,48页(2019年;Zbl 1433.68432) 全文: 内政部
尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;乔治·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 用于知识表示和推理的DLV系统。 (英语) Zbl 1367.68308号 ACM事务处理。计算。日志。 7,第3期,499-562(2006).MSC公司:68立方英尺 68N17号 19年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{塞拉利昂}等人,ACM Trans。计算。日志。7,第3号,499--562(2006;Zbl 1367.68308) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 一种用于知识状态规划、语义和复杂性的逻辑编程方法。 (英语) Zbl 1367.68301号 ACM事务处理。计算。日志。 5,第2期,206-263(2004).MSC公司:68立方英尺 68N17号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《美国医学杂志》。计算。日志。5,第2号,206--263(2004;Zbl 1367.68301) 全文: 内政部