托米·西尔贾宁;伊尔卡·尼梅尔 Smodels系统。 （英语） Zbl 1010.68797号 托马斯·艾特（编辑）等人，《逻辑编程与非单调推理》。第六届国际会议，LPNMR 2001，奥地利维也纳，2001年9月17日至19日。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。2173, 434-438 (2001). 简介：Smodels系统是一个基于正常逻辑程序的稳定模型语义的答案集编程（ASP）实现。ASP的基本思想是将问题的约束编码为逻辑程序，使程序的答案集（稳定模型）对应于问题的解决方案。然后我们可以通过让逻辑程序引擎找到程序的答案集来解决问题。关于整个系列，请参见[Zbl 0971.00048号]. 引用于20文件 理学硕士： 68单位99 计算方法和应用 68N17号 逻辑编程 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 软件：斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{T.Syrjänen}和\textit{I.Niemelä}，Lect。注释计算。科学。2173434--438（2001年；Zbl 1010.68797）