斯莫德尔斯 swMATH ID: 4631 软件作者: 伊尔卡·尼梅尔;西蒙斯,P;托米·西尔贾宁 描述: Smodels系统是基于正常逻辑程序的稳定模型语义的答案集编程(ASP)实现。ASP的基本思想是将问题的约束编码为逻辑程序,使程序的答案集(稳定模型)对应于问题的解决方案。然后我们可以通过让逻辑程序引擎找到程序的答案集来解决问题。 主页: http://www.tcs.hut.fi/Software/smodels/ 关键词: 稳定模型语义;非单调推理;逻辑程序设计;答案集编程 相关软件: 亚萨特;C模型;XSB公司;格林戈;扣环;Lparse(L解析);糠;CCalc公司;NoMoRe公司;数据日志;Potassco公司;GNT公司;超小卫星;NP-SPEC公司;WASP公司;SWI-预测;SICStus公司;SATO公司;自旋蛋白;克林戈 引用于: 231文件 更多出版物: http://www.tcs.hut.fi/Software/smodels/index.html#出版物 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 斯莫德尔斯系统。 兹比尔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 德克·维尔梅尔 三 何塞·朱利奥·阿尔弗雷斯 三 安娜斯塔西娅·安娜斯塔西 三 法布里西奥·安吉乌利 三 格里戈里斯·安东尼乌 三 萨布丽娜·Baselice 三 布莱恩,马丁 三 格哈德·布鲁卡 三 弗朗西斯科·卡利默里 三 阿戈斯蒂诺·多维尔 三 埃斯拉·埃尔登 三 安德烈亚·福米萨诺 三 乔瓦姆巴蒂斯塔·伊安尼 三 刘国华 三 帕斯卡·尼古拉斯 三 埃米利亚·奥伊卡里宁 三 路易吉·帕洛波利 三 奥德尔·帕皮尼 三 西蒙娜·佩里 三 弗朗西斯科·斯卡切罗 三 伊戈尔·斯特芬 三 Swift,Terrance公司 三 尤金妮亚·特诺夫斯卡 三 斯特凡·沃尔特兰 三 埃里克·沃贝尔 三 袁丽燕 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 戴维·范·尼乌文伯格 2 卡洛斯·维加斯·达马西奥 …还有220多名作者 全部的 前5名30篇连载文章中引用 30 逻辑程序设计理论与实践 22 人工智能 20 数学与人工智能年鉴 8 计算机基础理论 4 逻辑与计算杂志 三 人工智能研究杂志 2 离散应用数学 2 计算机与系统科学杂志 2 Studia Logica公司 2 算法杂志 2 逻辑程序设计杂志 2 国际近似推理杂志 2 人工智能通信 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) 三 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 凸和离散几何(52至XX) 1 系统论;控制(93至XX) 按年份列出的引文