×

烟雾

swMATH标识: 4631
软件作者: 尼美拉,伊尔卡;西蒙斯P;Syrjänen、Tommi
说明: Smodels系统是一个基于正常逻辑程序的稳定模型语义的应答集编程(ASP)实现。ASP的基本思想是将问题的约束编码为逻辑程序,使程序的答案集(稳定模型)与问题的解决方案相对应。然后我们可以通过让一个逻辑程序引擎找到程序的答案集来解决这个问题。
主页: http://www.tcs.hut.fi/Software/smodels/
关键词: 稳定模型语义;非单调推理;逻辑程序设计;答案集编程
相关软件: 阿萨德;C模型;XSB公司;外国佬;扣环;L分析;;CCalc公司;诺莫尔;数据日志;超小卫星;GNT公司;NP规范;钾肥;佐藤;三倍的;黄蜂;保鲜膜;旋转;图规划
参考文献: 229种出版物
其他出版物: http://www.tcs.hut.fi/Software/smodels/index.html出版物

标准条款

1个出版物描述软件,包括1个出版物在zbMATH
Smodels系统。 Zbl 1010.68797
Syrjänen、Tommi;尼美拉,伊尔卡
2001
全部的 前5名

309位作者引用

14 盖尔方德,迈克尔
14 尼美拉,伊尔卡N.F。
11 儿子,崔曹
10 艾特,托马斯
10 利昂,尼古拉
10 庞泰利,恩里科
9 特鲁兹钦斯基,米洛斯ław
8 巴拉尔,奇塔R。
8 德沃斯,玛丽娜
8 简胡南,托米
8 肖布,托尔斯滕H。
8 你,贾淮
7 利勒,尤利娅
7 汤姆皮茨,汉斯
6 巴尔杜奇尼,马塞洛
6 德格兰德,詹姆斯P。
6 林芳珍
6 马雷克,V.维克托
5 博纳蒂,皮耶罗·安德里亚
5 费伯,沃尔夫冈
5 格雷科,詹路易吉
4 格雷科,塞尔吉奥
4 Heljanko,Keijo
4 利夫希茨,弗拉基米尔
4 莫尼兹·佩雷拉,卢伊斯
4 菲菲,杰拉尔德
4 雷梅尔,杰弗里B。
4 塞佩尔,迪特玛A。
4 西蒙斯,帕特里克
4 Syrjänen、Tommi
4 维梅尔,德克
阿尔弗雷斯,何塞·朱利奥
分析,安娜斯塔西亚
安圭利,法布里齐奥
安东尼奥,格里戈里斯
贝斯利奇,萨布丽娜
布莱恩,马丁
布雷卡,格哈德
卡利梅里,弗朗西斯科
厄尔登,埃斯拉
伊安尼,乔瓦姆巴蒂斯塔
刘国华
尼古拉斯,帕斯卡
奥卡里宁,埃米利娅
帕罗波利,路易吉
帕皮尼,奥黛尔
佩里,西蒙娜
史卡略,弗朗西斯科
圣潘,伊戈尔
斯威夫特,泰伦斯
特诺夫斯卡,尤金妮娅
沃尔特兰,斯特凡
沃贝尔,埃里克
袁,李燕
2 森泽,道格拉斯
2 陈寅
2 克里夫,欧文
2 切兹勒,尤金
2 Denecker,马克
2 迪克斯,尤根
2 多维尔,阿戈斯蒂诺
2 朱拉杰,朱拉杰
2 伊斯兰教埃尔卡巴尼
2 法拉利,毛罗
2 芬克,迈克尔
2 佛罗伦萨,卡米洛
2 惠誉,约翰
2 福米萨诺,安德里亚
2 格特洛布,乔治
2 哈安帕,哈里
2 海曼斯,斯蒂恩
2 胡安,朱利安
2 贾秀梅
2 康查克,凯瑟琳
2 莱特,乔·亚历山德拉
2 伦皮伊宁,托莫
2 林克,托马斯
2 卢卡西维奇,托马斯
2 马萨奇,法比奥
2 梅拉科德,韦娜S。
2 明克,杰克
2 莫里纳罗,克里斯蒂安
2 阿尔伯托莫米格里亚诺
2 奥纳吉,马里奥
2 奥波宁,佩卡
2 帕乔拉基斯,约安尼斯
2 神父,朱利安
2 平托,亚历山大米格尔
2 里卡,弗朗西斯科
2 萨德里,法里巴
2 萨戈纳,康斯坦丁诺斯
2 弗里德里克苏比昂
2 索尼宁,蒂莫
2 托尼,弗朗西丝卡
2 特鲁比西娜,伊琳娜
2 图,潘胡伊
2 特鲁尔·托雷斯,何塞·玛丽亚
2 Van Nieuwenborgh,戴维
2 维加斯·达马西奥,卡洛斯
2 维多利亚,艾达
…还有209位作者

按年份引用出版物