Potassco公司 swMATH ID: 6996 软件作者: 马丁·格布瑟(Martin Gebser);本杰明·考夫曼;罗兰·卡明斯基(Roland Kaminski);马克斯·奥斯特罗斯基;托尔斯滕·绍布(Torsten Schaub);马吕斯·施奈德 描述: Potassco:波茨坦答案集求解集合。本文概述了开放源码项目Potassco、Potsdam答案集求解集合、用于答案集编程的捆绑工具。 主页: 网址:http://potassco.sourceforge.net/ 关键词: 答案集编程;陈述式问题解决 相关软件: 克林戈;格林戈;扣环;超小卫星;WASP公司;亚萨特;iClingo公司;糠;斯莫德尔斯;Clingcon公司;Lparse(L解析);萨特齐拉;古罗比;数据日志;github;阿司匹林;DLV2型;DLV-EX公司;天基信息平台;C模型 引用于: 82文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Potassco:波茨坦答案集求解集合。 Zbl 1215.68214号马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗斯基;托尔斯滕·绍布;马吕斯·施奈德 2011 全部的 前5名170位作者引用 12 托尔斯滕·绍布(Torsten H.Schaub)。 9 马丁·格布瑟 6 托马斯·艾特 5 罗兰·卡明斯基 4 埃斯拉·埃尔登 4 约翰·彼得·沃纳 4 斯特凡·沃特兰 3 贝莱德·本哈莫 3 卡明·多达罗 3 莎拉·爱丽丝·加格尔 3 乔治·戈特洛布 3 汤米·詹胡宁 3 本杰明·考夫曼 3 马蒂亚斯·克诺尔 3 托马斯·克伦瓦尔纳 3 克里斯托夫·雷德尔 3 迈克尔·泰尔舍尔 2 马丁·德·科克 2 沃尔夫冈·德沃亚克 2 约翰·克劳斯·费希特 2 迈克尔·芬克 2 高,田田 2 里卡多·贡萨阿尔维斯 2 Järvisalo,马蒂 2 托比亚斯·卡明斯基 2 法律,Mark M。 2 约昂·莱特 2 尤利亚·利勒 2 迈克尔·莫拉克 2 马克斯·奥斯特罗斯基 2 安德烈亚斯·皮耶利斯 2 恩里科·蓬泰利 2 弗朗西斯科·里卡 2 亚历山德拉·拉索。 2 奥昆特·萨布努克 2 史蒂文·肖卡特 2 西尔万·索利曼 2 斯泽德,斯特凡 2 汉斯·托姆皮茨 2 范甘·特林 2 张元林 1 托拜厄斯·阿切特伯格 1 乔瓦尼·阿蒙多拉 1 本杰明·安德烈斯 1 马库斯·阿斯辛格 1 金·鲍特斯 1 哈拉尔德·贝克 1 J.克里斯托弗·贝克 1 马库斯·本特森 1 罗伯托·比西亚尼 1 伯恩哈德·布利姆 1 贾斯汀·布朗特 1 亚历山大·博克迈尔 1 米克尔波菲尔 1 Elisa伯尔 1 乔里·博曼森 1 费利克斯·勃兰特 1 Krysia B.布罗达。 1 布斯克茨,迪达 1 格恩瑟·查瓦特 1 马库斯·奇马尼 1 基亚提昆·乔布瑟姆 1 安东尼·康斯坦蒂诺。 1 克罗珀,安德鲁 1 大卫·丹克斯 1 吕克·德·雷德 1 阿戈斯蒂诺·多维尔 1 康拉德·德雷舍尔 1 弗雷德里克·埃伯哈特 1 哈维尔·埃斯帕尔扎 1 弗拉维奥·埃弗拉多 1 沃尔夫冈·费伯 1 安德烈亚斯·福克纳。 1 穆格·菲丹 1 乔治·弗洛里斯 1 保罗·福多 1 安德烈亚·福米萨诺 1 格哈德·弗里德里希(Gerhard E.Friedrich)。 1 基斯特,克里斯蒂安 1 迈克尔·盖尔芬德 1 路易斯·戈多 1 亚历山大·格雷勒 1 托尔斯滕·格罗特 1 弗朗西斯科·吉塔特 1 戈帕尔·古普塔 1 扎卡里·汉森 1 保罗·哈伦斯坦 1 塞巴斯蒂安·豪夫 1 伊沃·赫特克 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 安德烈亚斯·赫齐格 1 Hiraishi、Kunihiko 1 霍尔格·H·胡斯。 1 洪玲红 1 安蒂·海蒂宁 1 卢卡·艾奇 1 尤素福·伊兹米利奥格鲁 1 帕特里克·托尔·卡尔 1 托比亚斯·凯恩 1 塔里克·哈立德 …还有70多名作者 全部的 前5名17篇连载文章中引用 17 逻辑程序设计理论与实践 9 人工智能 4 数学与人工智能年鉴 3 国际近似推理杂志 2 机器学习 2 限制条件 2 ACM计算逻辑事务 1 模糊集与系统 1 哲学逻辑杂志 1 理论计算机科学 1 社会选择与福利 1 AI通信 1 人工智能研究杂志 1 数据挖掘与知识发现 1 计算机基础理论 1 自然计算 1 计算机科学课堂讲稿 全部的 前5名10个领域引用 78 计算机科学(68至XX) 7 运筹学、数学规划(90-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 数学逻辑和基础(03-XX) 5 生物学和其他自然科学(92-XX) 2 组合数学(05-XX) 2 统计学(62-XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文