王斌;沈军;张树涛;张志正 关于\(\mathrm{LP^{MLN}}\)程序的强等价性。 (英语) Zbl 1509.68039号 日志。方法计算。科学。 17,第1号,第4号论文,46页(2021年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wang}等人,Log。方法计算。科学。17,第1号,第4号论文,46页(2021;Zbl 1509.68039) 全文: arXiv公司 链接
张志正;王斌;张树涛 具有分级内省的逻辑编程。 (英语) Zbl 1375.68038号 芬丹。通知。 147,第1期,133-158(2016).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人,Fundam。通知。147,编号1,133-158(2016;兹bl 1375.68038) 全文: DOI程序