Baselice，S。;博纳蒂，P.A。;克里斯库洛，G。 关于有限递归程序。 （英语） Zbl 1213.68170号 Dahl，Verónica（编辑）等人，《逻辑编程》。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74608-9/pbk）。计算机科学课堂讲稿467089-103（2007）。 概要：Finitary程序是一类逻辑程序，它包含函数符号，因此包含无限域。本文证明了一类较大的程序，称为有限递归程序，在稳定模型语义下保留了有限程序的大部分优良性质，即：（i）有限递归程序具有紧性；（ii）不一致性检查和怀疑推理是半决定的；（iii）怀疑的解决已完成。此外，我们还展示了如何使用地面程序实例化的有限子集来检查不一致性并回答可疑查询。关于整个系列，请参见[Zbl 1129.68002号]. 引用于5文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{S.Baselice}等人，Lect。注释计算。科学。4670，89-103（2007；Zbl 1213.68170） 全文： DOI程序 arXiv公司