×

克林戈

swMATH ID: 9893
软件作者: 马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布
描述: Potassco是波茨坦答案集解决集合,它捆绑了波茨坦大学开发的答案集编程工具:Clingo将gringo和clain组合成一个整体系统。通过这种方式,它对接地和解决过程提供了比gringo和clasp单独提供的更多控制-例如,增量接地和处理。Clingo自带扣D-2,因此现在支持并行和析取求解。注意!Gringo 3和4的语言不完全兼容,因为Gringo 4遵循最新的ASP语言标准。为了处理遗留编码,我们建议下载除Gringo 4之外的最新版本的Gringo 3。
主页: 网址:http://potassco.sourceforge.net/
相关软件: 格林戈;扣环;WASP公司;Potassco公司;DLV2型;iClingo公司;阿司匹林;超小卫星;Clingcon公司;亚萨特;LARS公司;GASP公司;中国科学院科学院;数据日志;OMiGA公司;;ezcsp公司;github;C模型;ProbLog(问题日志)
引用于: 139文件
全部的 前5名

280位作者引用

26 托尔斯滕·绍布(Torsten H.Schaub)。
12 卡明·多达罗
12 马丁·盖布瑟
9 马里奥·阿尔维亚诺
9 罗兰·卡明斯基
9 弗朗西斯科·里卡
9 斯特凡·沃尔特兰
8 佩德罗·卡巴拉尔
8 弗朗西斯科·卡利默里
6 托马斯·艾特
6 马可·马拉提亚
6 哈维尔·罗梅罗
6 Jessica Zangari
5 汤米·詹胡宁
5 西蒙娜·佩里
5 菲利普·旺科
4 乔治·巴里扬尼斯
4 巴萨基斯、索蒂利斯
4 安德鲁·克洛珀
4 豪尔赫·范丁诺
4 戈帕尔·古普塔
4 马库斯·赫彻
4 井上,胜美
4 尤利亚·利勒
4 康斯坦丁·舍科提欣
4 安娜·舒曼
4 彼得·舒勒
本杰明·安德烈斯
华金·阿里亚斯
伯恩哈德·布利姆
格哈德·布鲁卡
曼纽尔·卡罗
罗伯托·孔瓦洛尼埃里
马丁·迪盖兹
约翰·克劳斯·费希特
格哈德·弗里德里希(Gerhard E.Friedrich)。
乔瓦姆巴蒂斯塔·伊安尼
奥利弗·库茨
尼古拉·利昂
托马斯·林斯比勒
迈克尔·莫拉克
奥斯特罗夫斯基,马克斯
弗朗西斯科·帕琴察
洛伊奇·波列维
安妮·西格尔
理查德·塔普
安东尼乌斯·温齐尔
2 Michael Abseher先生
2 乔瓦尼·阿蒙多拉
2 格里戈里斯·安东尼奥
2 达米亚诺·阿佐里尼
2 金加尔巴苏
2 曼纽尔·比什勒
2 安东尼斯·比卡基斯
2 格恩瑟·查瓦特
2 陈卓
2 詹姆斯·德尔格兰德。
2 弗雷德里科·杜斯伯格
2 斯特凡·埃尔马瑟勒
2 曼弗雷德·埃普
2 弗拉维奥·埃弗拉多
2 沃尔夫冈·费伯
2 路易斯·法利尼亚斯·德尔·塞罗
2 佛罗伦萨,萨尔瓦多
2 戴维·福斯卡
2 莎拉·爱丽丝·加格尔
2 迈克尔·盖尔芬德
2 托比亚斯·卡明斯基
2 本杰明·考夫曼
2 安吉丽卡·基米格
2 科利,普希米特
2 约昂·莱特
2 弗拉基米尔·利夫希茨
2 摩根·马根
2 罗尔夫·莫雷尔
2 保罗·奥格里斯
2 Enric广场
2 亚历山德罗·普雷维蒂
2 托尼·里贝罗
2 法布里西奥·里古齐
2 Olivier F.鲁克斯。
2 奥昆特·萨布努克
2 塞巴斯蒂安·谢尔霍恩
2 马尔科·舍勒默
2 马雷克·塞尔戈特。
2 莫汉·斯里德哈兰
2 伊利亚斯·塔赫马齐迪斯
2 马蒂亚斯·蒂姆
2 托蒂斯,彼得罗
2 特鲁什琴斯基,米洛斯奥
2 Joost Vennekens
2 约翰·彼得·沃纳
1 德克·阿贝尔斯
1 萨尔瓦多阿布雷乌
1 吉安·卡洛·阿吉雷·萨姆博尼
1 法布里西奥·安吉乌利
1 马蒂杰斯·贝特
1 卡罗琳·巴罗克
1 尼克·巴西利亚德斯
1 哈拉尔德·贝克
…还有180多名作者

按年份列出的引文