阿伦·南帕利;罗马克里希南，C.R。 概率逻辑程序中使用提升解释的推理。 （英语） 兹比尔1428.68092 Carro，Manuel（编辑）等人，《第32届逻辑编程国际会议的技术交流》，ICLP 2016年10月16日至21日，美国纽约州纽约市。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第15条，第15页（2016年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nampally}和\textit{C.R.Ramakrishnan}，OASIcs--开放存取服务。通知。52，第15条，第15页（2016年；Zbl 1428.68092） 全文： 内政部 arXiv公司
亚历山大·范登布鲁克;马西耶·皮罗格;德索特，贝诺特;汤姆·施里杰弗斯 包含声音答案的表格。 （英语） Zbl 1379.68084号 理论与实践。日志。程序。 16，编号5-6，933-949（2016）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Vandenbroucke}等人，《理论与实践》。日志。程序。16、编号5--6933--949（2016；Zbl 1379.68084） 全文： 内政部 arXiv公司
斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺 基于资源的答案集语义中的查询回答。 （英语） Zbl 1379.68052号 理论与实践。日志。程序。 16，第5-6号，619-635（2016）.MSC公司：68N17号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Costantini}和\textit{A.Formisano}，理论与实践。日志。程序。16、编号5--6、619--635（2016；Zbl 1379.68052） 全文： 内政部 arXiv公司
马可·卡劳蒂;塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 使用线性约束进行逻辑程序终止分析。 （英语） Zbl 1379.68050号 理论与实践。日志。程序。 16，第3期，353-377（2016）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Calautti｝等人，《理论与实践》。日志。程序。16，第3号，353--377（2016；Zbl 1379.68050） 全文： 内政部 arXiv公司
罗伯特·科瓦尔斯基;法里巴·萨德里 没有逻辑编程的逻辑编程。 （英语） Zbl 1379.68095号 理论与实践。日志。程序。 16，第3期，269-295（2016）.MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}和\textit{F.Sadri}，理论与实践。日志。程序。16，第3号，269--295（2016；Zbl 1379.68095） 全文： 内政部 arXiv公司
德拉本特，Włodzimierz 逻辑程序的正确性和完整性。 （英语） Zbl 1367.68030号 ACM事务处理。计算。日志。 17，第3号，第18条，32页（2016年）.MSC公司：68N17号 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}，ACM事务处理。计算。日志。17，第3号，第18条，32页（2016；Zbl 1367.68030） 全文： 内政部 arXiv公司
马蒂亚斯·尼克尔斯 一种基于逻辑编程和稳定模型语义下的一阶理论的概率推理工具。 （英语） Zbl 1483.68408号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 369-384 (2016).MSC公司：68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Nickles}，莱克特。注释计算。科学。10021369--384（2016；Zbl 1483.68408） 全文： 内政部
乔纳斯·弗拉塞勒;盖伊，范登·布勒克;安吉丽卡·基米格;温妮斯·梅特;吕克·德·雷德 \（T_{mathcal{P}}）-概率逻辑程序中推理的编译。 （英语） Zbl 1386.68174号 国际J近似推理 78, 15-32 (2016).MSC公司：68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vlasselaer}等人，《国际近似推理》78，15--32（2016；Zbl 1386.68174） 全文： 内政部
法布里西奥·里古齐 带有函数符号的普通程序的分布语义。 （英语） Zbl 1385.68022号 国际J近似推理 77, 1-19 (2016).MSC公司：68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}，《国际近似推理》77，1-19（2016；Zbl 1385.68022） 全文： 内政部 链接
乌埃尔、古雷 一元二阶逻辑的增量推理与逻辑编程。 （英语） 兹比尔1351.68056 J.日志。阿尔盖布。方法计划。 85，第2号，316-331（2016）.MSC公司：68N17号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel}，J.Log。阿尔盖布。方法计划。85，No.2，316--331（2016；Zbl 1351.68056） 全文： 内政部