格林戈 swMATH编号: 4630 软件作者: 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 描述: 本文档介绍了波茨坦大学开发的答案集编程(ASP)工具gringo、clamp、clipo和iclingo。第一个工具是gringo,它能够将用户提供的逻辑程序转换为等价的命题逻辑程序。这类程序的答案集可以通过clamp来计算,clamp是一种求解器。第三个工具是clipeo,它集成了gringo和clasp的功能,因此可以作为用户程序的整体求解器。最后,iclingo通过一种结合了根植和解决的增量模式扩展了clingo。首先,本文旨在使ASP新手能够使用上述工具。另一方面,它提供了ASP专业人士可能想要利用的功能的参考。 主页: 网址:http://www.cs.utexas.edu/~vl/teaching/lbai/clinco_guide.pdf 相关软件: 克林戈;扣环;黄蜂;Lparse(Lparse);亚萨特;Potassco公司;超小卫星;iClingo公司;斯莫德尔斯;C模型;DLV公司;GASP公司;Clingcon公司;数据日志;github;糠;DLV2型;OMiGA公司;迷你锌;Lpopt公司 引用于: 110文件 其他出版物: http://www.emsl.pnl.gov/docs/parsoft/armci/papers.htm 标准文章 1出版物描述软件,包括1出版物以zbMATH为单位 年份 抽象外国佬。 Zbl 1379.68031号马丁·格布瑟;阿米莉亚·哈里森;罗兰·卡明斯基;弗拉基米尔·利夫希茨;托尔斯滕·绍布 2015 全部的 前5名198位作者引用 27 托尔斯滕·绍布(Torsten H.Schaub)。 19 马丁·格布瑟 15 弗拉基米尔·利夫希茨 9 马里奥·阿尔维亚诺 9 沃尔夫冈·费伯 8 罗兰·卡明斯基 8 尼古拉·利昂 8 尤利亚·利勒 7 弗朗西斯科·里卡 6 卡明·多达罗 6 豪尔赫·范丁诺 6 阿米莉亚·哈里森 6 汤米·詹胡宁 5 弗朗西斯科·卡利默里 5 本杰明·考夫曼 5 西蒙娜·佩里 5 彼得·舒勒 4 佩德罗·卡巴拉 4 马可·马拉提亚 4 马克斯·奥斯特罗斯基 4 沙哈卜·塔沙罗菲 4 斯文·蒂勒 4 斯特凡·沃尔特兰 3 乔瓦姆巴蒂斯塔·伊安尼 3 克莱尔·莱夫雷 3 帕特里克·吕内 3 康斯坦丁·舍科提欣 3 尤金妮亚·特诺夫斯卡 3 Jessica Zangari 2 本杰明·安德烈斯 2 布莱恩,马丁 2 玛丽娜·德沃斯 2 托马斯·艾特 2 弗拉维奥·埃弗拉多 2 迈克尔·芬克 2 格哈德·弗里德里希(Gerhard E.Friedrich)。 2 菲利普·加斯泰格 2 迈克尔·盖尔芬德 2 扎卡里·汉森 2 马蒂·Järvisalo 2 托马斯·克伦瓦尔纳 2 大卫·G·M·米切尔(David G.M.Mitchell)。 2 帕斯卡·尼古拉斯 2 哈维尔·罗梅罗 2 安妮·西格尔 2 理查德·塔普 2 菲利普·韦伯 2 安东尼乌斯·温齐尔 1 阿瓦尼,阿米尔 1 德克·阿贝尔斯 1 萨尔瓦多阿布雷乌 1 Michael Abseher先生 1 费利西达·阿瓜多 1 乔瓦尼·阿蒙多拉 1 格里戈里斯·安东尼奥 1 穆苏诺里·班巴拉 1 乔治·巴里扬尼斯 1 萨布丽娜·Baselice 1 金加尔巴苏 1 巴萨基斯、索蒂利斯 1 克里斯托弗·贝亚特里克斯 1 贝恩德·贝克尔 1 奔驰,米沙尔 1 梅胡尔·巴特 1 曼纽尔·比什勒 1 罗伯托·比西亚尼 1 伯恩哈德·布利姆 1 乔治·博恩 1 巴特·博加特 1 皮耶罗·安德里亚·博纳蒂 1 格哈德·布鲁卡 1 莫里斯·布鲁诺 1 马可·卡劳蒂 1 加泰拉诺、格尔索米纳 1 格恩瑟·查瓦特 1 乔瓦尼·西亚托 1 纪尧姆·科莱 1 维托尔·桑托斯·科斯塔 1 马克西米利亚诺·克里斯蒂亚 1 贝尔纳多·卡特里 1 齐兹勒,尤根 1 达尔,维罗妮卡 1 詹姆斯·德尔格兰德。 1 马克·德内克 1 丹尼尔·迪亚兹 1 马丁·迪盖兹 1 克里斯蒂安·德雷舍尔 1 弗雷德里科·杜斯伯格 1 沃尔夫冈·德沃亚克 1 史蒂夫·德沃夏克 1 费德里卡·埃德瓦蒂 1 穆罕默德·科拉尼。 1 奥马尔·埃尔卡提卜 1 斯特凡·埃尔马瑟勒 1 曼弗雷德·埃普 1 埃斯拉·埃尔登 1 Eveillard,达米恩 1 路易斯·法利尼亚斯·德尔·塞罗 1 约翰·克劳斯·费希特 1 保罗·菲奥里尼 …还有98位作者 全部的 前5名14篇连载文章中引用 45 逻辑程序设计理论与实践 10 人工智能 4 数学与人工智能年鉴 3 约束条件 2 人工智能通信 2 机器学习 2 ACM计算逻辑事务 1 计算机与系统科学杂志 1 理论计算机科学 1 自动推理杂志 1 逻辑与计算杂志 1 人工智能研究杂志 1 计算机基础理论 1 应用逻辑杂志 全部的 前5名在9个字段中引用 110 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 6 生物学和其他自然科学(92-XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文