马克·卡明斯基;亚沃·内诺夫;Cuenca Grau,贝尔纳多 析取数据日志程序和非Horn本体的数据日志可重写性。 (英语) Zbl 1357.68228号 Artif公司。智力。 236, 90-118 (2016).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}等人,Artif。智力。23690--118(2016;Zbl 1357.68228) 全文: 内政部 链接
尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 关于抽象模块化推理系统和求解器。 (英语) Zbl 1357.68230号 Artif公司。智力。 236, 65-89 (2016).MSC公司:68立方英尺 68N17号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}和\textit{M.Truszczynski},人工制品。智力。23665--89(2016;Zbl 1357.68230) 全文: 内政部 arXiv公司
埃里尼·卡尔德利;亚历山大·拉佐维克;马可·艾略 不确定和动态环境中服务的域相关规划。 (英语) Zbl 1357.68208号 Artif公司。智力。 236, 30-64 (2016).MSC公司:68T20型 68米11 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Kaldeli}等人,Artif。智力。23630--64(2016;Zbl 1357.68208) 全文: 内政部 链接
高伟;王璐;金、荣;朱生火;周志华 单程AUC优化。 (英语) Zbl 1357.68168号 Artif公司。智力。 236, 1-29 (2016).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Gao}等人,Artif。智力。2361-29(2016;Zbl 1357.68168) 全文: 内政部 arXiv公司