莫里西奥·赖斯。;爱德华多·费尔梅;帕夫洛斯·佩帕斯 基于球的传递关系部分系统的构建遇到多重收缩:一个不可能的结果。 (英语) Zbl 1352.03025号 Artif公司。智力。 233, 122-141 (2016).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.D.L.Reis}等人,Artif。智力。233122--141(2016年;Zbl 1352.03025) 全文: 内政部
托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 使用外部源对ASP程序进行域扩展。 (英语) Zbl 1351.68265号 Artif公司。智力。 233, 84-121 (2016).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。23384-121(2016年;Zbl 1351.68265) 全文: 内政部
米科拉什,雅诺塔;若昂·西尔瓦侯爵 单调谓词选择最小集的查询复杂性。 (英语) Zbl 1351.68117号 Artif公司。智力。 233, 73-83 (2016).MSC公司:65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}和\textit{J.Marques-Silva},Artif。智力。233、73-83(2016年;Zbl 1351.68117) 全文: 内政部
欧内斯特·戴维斯;加里·马库斯 自动推理中模拟的范围和限制。 (英语) Zbl 1351.68302号 Artif公司。智力。 233, 60-72 (2016).MSC公司:68岁20岁 68吨99 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis}和\textit{G.Marcus},Artif。智力。233、60-72(2016年;Zbl 1351.68302) 全文: 内政部
罗伯特·克雷文;弗朗西丝卡·托尼 论证图和基于假设的论证。 (英语) Zbl 1351.68264号 Artif公司。智力。 233, 1-59 (2016).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{R.Craven}和\textit{F.Toni},Artif。智力。233,1-59(2016年;兹比尔1351.68264) 全文: 内政部 链接