莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;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公司
马克·德内克;乔斯特·文内肯斯 丰富的语义和非单调归纳定义的代数理论。 （英语） Zbl 1149.68420号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第九届国际会议，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72199-4/pbk）。计算机科学课堂讲稿4483。人工智能课堂讲稿，84-96（2007）。MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}和\textit{J.Vennekens}，莱克特。注释计算。科学。4483，84-96（2007年；兹bl 1149.68420） 全文： 内政部 链接