费伦斯，达安;Van den Broeck，盖伊;乔里斯·伦肯斯;迪米塔尔·施特里奥诺夫;古特曼，伯尔尼;英戈·通;杰尔达·詹森斯;吕克·德·雷德 使用加权布尔公式的概率逻辑程序中的推理和学习。 （英语） Zbl 1379.68062号 理论与实践。日志。程序。 15，第3期，358-401（2015）.MSC公司：68N17号 68T05型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Fierens}等人，《理论与实践》。日志。程序。15，第3号，358--401（2015；Zbl 1379.68062） 全文： 内政部 arXiv公司
李·奈什;哈拉尔德·森德加德 逻辑编程中的真理与信息。 （英语） Zbl 1302.68053号 理论与实践。日志。程序。 14，第6期，803-840（2014）.MSC公司：68N17号 03B50号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛L.Naish｝和\textit｛H.Søndergaard｝，理论实践。日志。程序。14、第6号803--840（2014；Zbl 1302.68053） 全文： 内政部 arXiv公司
彼得·施罗德·海斯特 证明论语义、自相矛盾和演绎推理的形式。 （英语） Zbl 1308.03028号 托波伊 31，第1期，77-85（2012）.MSC公司：03A05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Schroeder-Heister}，托波伊31，No.1，77--85（2012；Zbl 1308.03028） 全文： 内政部
道格拉斯·森泽;杰弗里·雷梅尔（Jeffrey B.Remmel）。 Cantor-Bendixson导数与有限逻辑程序的良好语义之间的联系。 （英语） Zbl 1281.68063号 安。数学。Artif公司。智力。 65，第1期，1-24（2012）. 审核人：埃里克·马丁（悉尼） MSC公司：68N17号 54B99号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cenzer}和\textit{J.B.Remmel}，安.数学。Artif公司。智力。65，编号1，1--24（2012；Zbl 1281.68063） 全文： 内政部
埃里克·马丁。 逻辑程序的上下文假设和语义。 （英语） Zbl 1448.68204号 理论与实践。日志。程序。 12，第6期，843-887（2012）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{艾拉·马丁}，理论与实践。日志。程序。12，第6号，843--887（2012；Zbl 1448.68204） 全文： 内政部
马克·德内克;Joost Vennekens 构建一个集成逻辑编程和经典逻辑的知识库系统。 （英语） 兹比尔1185.68697 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。《计算机科学讲义》5366，71-76（2008）。MSC公司：68层35 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}和\textit{J.Vennekens}，莱克特。注释计算。科学。5366，71-76（2008年；兹比尔1185.68697） 全文： 内政部 链接
马克·德内克;尤金妮娅·捷尔诺夫斯卡 归纳情境演算。 （英语） Zbl 1168.68573号 Artif公司。智力。 171，编号5-6，332-360（2007）.MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}和\textit{E.Ternovska}，Artif。智力。171，编号5--6332--360（2007；Zbl 1168.68573） 全文： 内政部 链接
马克·德内克;维克托·马雷克。;特鲁什琴斯基，米洛斯奥 终极逼近及其在非单调知识表示系统中的应用。 （英语） Zbl 1074.68069号 Inf.计算。 192，第1期，84-121（2004）.MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}等人，《信息计算》。192，第1号，84--121（2004；Zbl 1074.68069） 全文： 内政部