×

外国佬

swMATH标识: 4630
软件作者: 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗夫斯基、托尔斯滕·肖布、斯文·蒂勒
说明: 本文介绍了由波茨坦大学开发的答案集编程(ASP)工具gringo、clap、clingo和iclingo。第一个工具gringo是一个能够将用户提供的逻辑程序转换为等效命题逻辑程序的基础工具。这类程序的答案集可以由clap计算,这是一个求解器。第三个工具clingo集成了gringo和clap的功能,因此充当了用户程序的整体解算器。最后,iclingo通过一种结合了接地和解决的增量模式扩展了clingo。首先,本文旨在使ASP新手能够使用上述工具。另一方面,它提供了ASP专家可能会试图利用的特性的参考。
主页: http://www.cs.utexas.edu/~vl/teaching/lbai/clingo_指南.pdf
相关软件: 扣环;保鲜膜;L分析;黄蜂;阿萨德;超小卫星;钾肥;伊克林戈;烟雾;C模型;喘息;DLV公司;数据日志;保鲜膜;DLV2型;奥米加;;DLV-EX公司;ezcsp公司;国歌
参考文献: 98种出版物
其他出版物: http://www.emsl.pnl.gov/docs/parsoft/armci/papers.htm
全部的 前5名

177位作者引用

25 肖布,托尔斯滕H。
18 格布瑟,马丁
12 利夫希茨,弗拉基米尔
9 阿尔维亚诺,马里奥
9 费伯,沃尔夫冈
8 卡明斯基,罗兰
8 利昂,尼古拉
7 里卡,弗朗西斯科
6 多达罗,胭脂红
6 哈里森,阿米莉亚
5 卡利梅里,弗朗西斯科
5 简胡南,托米
5 本杰明考夫曼
5 佩里,西蒙娜
5 舒勒,彼得
4 卡巴拉,佩德罗
4 范迪诺,豪尔赫
4 利勒,尤利娅
4 马拉茶,马可
4 奥斯特罗夫斯基,麦克斯
4 塔萨罗菲,沙哈布
4 希勒,斯文
4 沃尔特兰,斯特凡
伊安尼,乔瓦姆巴蒂斯塔
莱弗尔,克莱尔
特诺夫斯卡,尤金妮娅
Zangari,杰西卡
2 安德烈,本杰明
2 巴特,梅赫尔
2 布莱恩,马丁
2 德沃斯,玛丽娜
2 艾特,托马斯
2 埃弗拉多,弗拉维奥
2 芬克,迈克尔
2 弗里德里希,格哈德E。
2 加斯泰格,菲利普
2 盖尔方德,迈克尔
2 马尔维萨洛,马蒂
2 托马斯·克伦沃纳
2 吕妮,帕特里克
2 米切尔,大卫·G·M。
2 尼古拉斯,帕斯卡
2 康斯坦丁Schekotihin
2 西格尔,安妮
2 灰褐色,理查德
2 维伯,菲利普
2 温齐尔,安东尼乌斯
1 亚瓦尼,阿米尔
1 艾伯斯,德克
1 Abseher,迈克尔
1 阿加多,费利塞德
1 阿蒙多拉,乔瓦尼
1 安东尼奥,格里戈里斯
1 穆苏诺里班巴拉
1 Baryannis,乔治
1 贝斯利奇,萨布丽娜
1 巴萨基,索蒂里斯
1 Béatrix,克里斯托弗
1 贝克,伯纳德
1 奔驰,米沙尔
1 比奇勒,曼纽尔
1 比西亚尼,罗伯托
1 天哪,伯恩哈德
1 博恩,乔治
1 博加茨,巴特
1 博纳蒂,皮耶罗·安德里亚
1 布雷卡,格哈德
1 卡拉提,马可
1 加泰罗尼亚,盖尔索米纳
1 查沃特,Günther
1 科莱,纪尧姆
1 克里斯蒂娅,马克西米利亚诺
1 库特里,贝尔纳多
1 切兹勒,尤金
1 德格兰德,詹姆斯P。
1 迪格斯,马丁
1 德雷舍,克里斯蒂安
1 杜斯伯格,弗雷德里科
1 沃尔夫冈·德沃夏克
1 德沃夏克,史蒂夫
1 Eduati,Federica公司
1 伊尔哈提卜,奥马尔
1 艾尔莫塔勒,斯特凡
1 埃佩,曼弗雷德
1 厄尔登,埃斯拉
1 伊薇儿,达米安
1 法里尼亚斯德尔塞罗,路易斯
1 费希特,约翰内斯克劳斯
1 菲奥里尼,保罗
1 惠誉,约翰
1 达斯卡,戴维德
1 加西亚,劳伦特
1 加里亚,哈维尔
1 格拉斯,迈克尔S。
1 冈萨尔维斯,里卡多
1 戈斯,米卡
1 格雷科,詹路易吉
1 格雷科,塞尔吉奥
1 格雷尔,苏珊娜
1 格罗特,托尔斯顿
…还有77位作者

按年份引用出版物