克林戈 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文件 标准条款 2出版物描述软件,包括2出版物在zbMATH中 年份 使用clipeo进行多快照ASP求解。 Zbl 1486.68027号马丁·盖布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 2019 Clingo对实数和整数进行线性约束。 Zbl 1422.68024号汤米·詹胡宁;罗兰·卡明斯基;奥斯特罗夫斯基,马克斯;塞巴斯蒂安·谢尔霍恩;菲利普·旺科;托尔斯滕·绍布 2017 全部的 前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多名作者 全部的 前5名12篇连载文章中引用 44 逻辑程序设计理论与实践 20 人工智能 6 机器学习 5 数学与人工智能年鉴 三 人工智能研究杂志 2 国际近似推理杂志 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 约束条件 1 计算机基础理论 1 ACM计算逻辑事务 1 算法 全部的 前5名在9个字段中引用 133 计算机科学(68-XX) 9 数学逻辑和基础(03-XX) 9 生物学和其他自然科学(92-XX) 4 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 统计学(62-XX) 1 总体主题;集合(00-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文