愤怒，克里斯蒂安;马丁·格布瑟;托马斯·林奇;安德烈·诺伊曼;托尔斯滕·绍布 求解答案集的诺莫尔++方法。 （英语） Zbl 1143.68584号 Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿383595-109（2005）。 摘要：我们提出了一种新的答案集求解器，称为nomore++，以及它的基本理论基础。一个显著的特点是它将头部和身体公平地视为计算对象。除了它的操作基础之外，我们还展示了它如何通过其新的前瞻性和保持未发现自由度的计算策略来改进以前的工作。我们通过选定的实验结果来支持我们的主张。关于整个系列，请参见[Zbl 1134.68011号]. 引用于7文件 MSC公司： 68分20秒 人工智能背景下的问题解决（启发式、搜索策略等） 软件：亚萨特;芦笋;诺莫尔++;C模型;NoMoRe公司 PDF格式BibTeX公司 XML格式引用 \textit｛C.Anger｝等人，Lect。注释计算。科学。3835，95-109（2005年；Zbl 1143.68584） 全文： 内政部