莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;De Cat,Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴雷;拉蒙,简;马克·德内克;四川省韦尔市 谓词逻辑作为建模语言:使用IDP3建模和解决一些机器学习和数据挖掘问题。 (英语) Zbl 1379.68279号 理论实践。日志。程序。 15,第6期,783-817(2015).MSC公司:68T20型 68N17号 68T05型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Bruynooghe}等人,《理论与实践》。日志。程序。15,第6号,783--817(2015;Zbl 1379.68279) 全文: 内政部 arXiv公司
约阿希姆·扬森;艾伯特·乔里森;杰尔达·詹森斯 正在将\(\mathrm{input}^\ast\)FO\((\cdot)\)归纳定义编译为IDP3的表格序言规则。 (英语) Zbl 1286.68047号 理论实践。日志。程序。 13,No.4-5,691-704(2013).MSC公司:68N17号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jansen}等人,《理论与实践》。日志。程序。13,编号4-5/691-704(2013;兹bl 1286.68047) 全文: 内政部