托马斯·林奇;愤怒，克里斯蒂安;凯瑟琳·孔扎克 更多关于noMoRe的信息。 （英语） Zbl 1013.68061号 Flesca，Sergio（编辑）等人，《人工智能中的逻辑》。第八届欧洲会议，JELIA 2002，意大利科森扎，2002年9月23日至26日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2424, 468-480 (2002). 摘要：本文主要研究普通逻辑程序答案集的有效计算。它专注于最近提出的一种基于规则的方法（在noMoRe系统中实现），用于计算答案集。我们展示了noMoRe及其底层方法如何通过扩展确定性后果的计算而得到巨大改进。通过这些变化，noMoRe能够处理更具挑战性的问题类。有关整个系列，请参见[Zbl 0997.00032号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 软件：NoMoRe公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Linke}等人，Lect。注释计算。科学。2424468--480（2002年；Zbl 1013.68061） 全文： 链接