斯莫德尔斯 swMATH编号： 4631 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 描述： Smodels系统是基于正常逻辑程序的稳定模型语义的答案集编程（ASP）实现。ASP的基本思想是将问题的约束编码为逻辑程序，使程序的答案集（稳定模型）对应于问题的解决方案。然后我们可以通过让逻辑程序引擎找到程序的答案集来解决问题。 主页： http://www.tcs.hut.fi/Software/smodels/ 关键词： 稳定模型语义;非单调推理;逻辑程序设计;答案集编程 相关软件： 亚萨特;C模型;XSB公司;格林戈;扣环;Lparse（Lparse）;糠;CCalc公司;NoMoRe公司;数据日志;Potassco公司;GNT公司;超小卫星;NP-SPEC公司;WASP公司;SWI-预测;SICStus公司;SATO公司;自旋蛋白;克林戈 引用于： 231文件 更多出版物： http://www.tcs.hut.fi/Software/smodels/index.html#出版物 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Smodels系统。 Zbl 1010.68797号托米·西尔贾宁;伊尔卡·尼梅尔 2001 全部的 前5名320位作者引用 14 迈克尔·盖尔芬德 14 Niemelä，Ilkka N.F。 11 恩里科·蓬泰利 11 儿子Tran Cao 10 托马斯·艾特 10 尼古拉·利昂 9 特鲁什琴斯基，米洛斯奥 8 奇塔·R·巴拉尔。 8 玛丽娜·德沃斯 8 汤米·詹胡宁 8 托尔斯滕·绍布（Torsten H.Schaub）。 8 你，嘉慧 7 尤利亚·利勒 7 汉斯·托姆皮茨 6 马塞洛·巴尔杜奇尼 6 詹姆斯·德尔格兰德。 6 林方珍 6 V.Wiktor马雷克 5 皮耶罗·安德里亚·博纳蒂 5 沃尔夫冈·费伯 5 吉安路易吉·格雷科 4 塞尔吉奥·格雷科 4 凯乔·赫尔扬科 4 弗拉基米尔·利夫希茨 4 路易斯·莫尼兹·佩雷拉 4 杰拉尔德·菲弗 4 杰弗里·布赖恩·雷梅尔 4 迪特马尔·塞佩尔（Dietmar A.Seipel）。 4 帕特里克·西蒙斯 4 托米·西尔贾宁 4 德克·弗梅尔 3 何塞·朱利奥·阿尔弗雷斯 3 安娜斯塔西娅·安娜斯塔西 3 法布里西奥·安吉乌利 3 格里戈里斯·安东尼奥 3 萨布丽娜·Baselice 3 布莱恩，马丁 3 格哈德·布鲁卡 3 弗朗西斯科·卡利默里 3 阿戈斯蒂诺·多维尔 3 埃斯拉·埃尔登 3 安德烈亚·福米萨诺 3 乔瓦姆巴蒂斯塔·伊安尼 3 刘国华 3 帕斯卡·尼古拉斯 3 埃米利亚·奥伊卡里宁 3 路易吉·帕洛波利 3 奥德尔·帕皮尼 3 西蒙娜·佩里 3 弗朗西斯科·斯卡切罗 3 伊戈尔·斯特芬 3 Swift，Terrance公司 3 尤金妮亚·特诺夫斯卡 3 斯特凡·沃尔特兰 3 埃里克·沃贝尔 3 袁丽燕 2 道格拉斯·森泽 2 陈，尹 2 欧文·克利夫 2 齐兹勒，尤根 2 马克·德内克 2 尤尔根·迪克斯 2 朱拉杰·Dzifcak 2 伊斯兰Elkabani 2 毛罗·法拉利 2 迈克尔·芬克 2 佛罗伦萨，卡米洛 2 约翰·惠誉 2 乔治·戈特洛布 2 戈帕尔·古普塔 2 哈里·哈帕德 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 斯迪恩·海曼斯 2 胡安·朱利安 2 贾秀梅 2 凯瑟琳·孔扎克 2 约昂·亚历山大·莱特 2 托莫Lempiäinen 2 托马斯·林奇 2 托马斯·卢卡西维奇 2 法比奥·马萨奇 2 Veena S.梅勒科德。 2 杰克·明克尔 2 克里斯蒂安·莫里纳罗 2 马里奥·奥尔纳吉 2 佩卡·奥波宁 2 帕丘拉基斯，约阿尼斯 2 朱利安·帕吉特 2 亚历山大·米盖尔·平托 2 弗朗西斯科·里卡 2 法里巴·萨德里 2 康斯坦丁诺斯·萨戈纳斯 2 沙特，弗雷德里克 2 蒂莫·索尼宁 2 弗朗西丝卡·托尼 2 伊琳娜·特鲁比西纳 2 Tu，Phan Huy先生 2 图鲁尔·托雷斯，何塞·玛丽亚 2 Davy Van Nieuwenborgh 2 卡洛斯·维加斯·达马西奥 …和220多位作者 全部的 前5名30篇连载文章中引用 30 逻辑程序设计理论与实践 22 人工智能 20 数学与人工智能年鉴 8 计算机基础理论 4 逻辑与计算杂志 3 人工智能研究杂志 2 离散应用数学 2 计算机与系统科学杂志 2 Studia Logica公司 2 算法杂志 2 逻辑程序设计杂志 2 国际近似推理杂志 2 AI通信 1 哲学逻辑杂志 1 合成 1 理论计算机科学 1 计算机程序设计科学 1 新一代计算 1 自动推理杂志 1 并行与分布式计算杂志 1 吉泰。实验与理论人工智能杂志 1 设计、代码和密码 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 约束条件 1 ACM计算逻辑事务 1 应用逻辑杂志 1 科学中国。信息科学 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯。RACSAM公司 1 理论计算机科学专著。EATCS系列 全部的 前5名11个领域引用 229 计算机科学（68至XX） 24 数学逻辑和基础（03-XX） 7 生物学和其他自然科学（92-XX） 3 运筹学、数学规划（90-XX） 3 博弈论、经济学、金融和其他社会和行为科学（91-XX） 3 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 凸和离散几何（52至XX） 1 系统论；控制（93至XX） 按年份列出的引文