菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维拉尼察达尔;曼努埃尔五世（Manuel V.Hermenegildo）。;何塞·莫拉莱斯（Jose F.Morales）。;Wielemaker，简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托 五十年的序言及以后。 （英语） Zbl 07776350号 理论与实践。日志。程序。 22，第6号，776-858（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人，《理论与实践》。日志。程序。22，编号6，776--858（2022；Zbl 07776350） 全文： 内政部 arXiv公司 OA许可证
安吉丽卡·基米格;巴特·德梅恩;吕克·德·雷德;维托尔·桑托斯·科斯塔;里卡多·罗查 概率逻辑程序设计语言ProbLog的实现。 （英语） Zbl 1220.68037号 理论与实践。日志。程序。 11，编号2-3，235-262（2011）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Kimmig}等人，《理论与实践》。日志。程序。11，编号2--3235-262（2011；Zbl 1220.68037） 全文： 内政部
安吉丽卡·基米格;维托尔·桑托斯·科斯塔;里卡多·罗查;巴特·德梅恩;吕克·德·雷德 关于ProbLog程序的高效执行。 （英语） Zbl 1185.68162号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366175-189（2008）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kimmig}等人，Lect。注释计算。科学。5366、175--189（2008年；Zbl 1185.68162） 全文： 内政部 链接
维托尔·桑托斯·科斯塔;大卫·佩奇;詹姆斯·库森 CLP（\（\mathcal{BN}\））：概率知识的约束逻辑编程。 （英语） 兹比尔1137.68342 De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，156-188（2008）。MSC公司：68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{V.Santos-Costa}等人，Lect。注释计算。科学。4911、156--188（2008年；Zbl 1137.68342） 全文： 内政部