WASP公司 swMATH ID: 9565 软件作者: 阿尔维亚诺,马里奥;多达罗、卡明;沃尔夫冈·费伯(Wolfgang Faber);尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡 描述: WASP:基于约束学习的本地ASP解算器。本文介绍了WASP,一个在稳定模型语义下处理析取逻辑程序的ASP解算器。WASP实现了最初为SAT求解引入的技术,这些技术已经扩展到应付ASP程序。其中包括重启、冲突驱动的约束学习和回跳。此外,WASP将这些基于SAT的技术与专门为ASP计算设计的优化方法相结合,例如源指针增强非未绑定集计算、基于原子支持的正向和反向推理操作符以及稳定模型检查技术。关于分支启发式,WASP采用BerkMin准则与look-ahead技术相结合。本文还报告了WASP在第三届ASP比赛的系统轨道上运行的实验结果。 主页: http://alviano.github.io/wasp/ 相关软件: 克林戈;扣环;格林戈;DLV2型;DLV公司;超小卫星;亚萨特;C模型;Potassco公司;GASP公司;马西诺牌手表;Clingcon公司;数据日志;OMiGA公司;斯莫德尔斯;L解析;Lpopt公司;ezcsp公司;糠;国内流离失所者3 引用于: 63文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 WASP进展。 Zbl 1467.68021号马里奥·阿尔维亚诺;卡明·多达罗;尼古拉·利昂;弗朗西斯科·里卡 2015 全部的 前5名105位作者引用 21 多达罗,胭脂红 17 弗朗西斯科·里卡 15 马里奥·阿尔维亚诺 8 马可·马拉提亚 7 乔瓦尼·阿蒙多拉 7 尼古拉·利昂 6 弗朗西斯科·卡利默里 6 Jessica Zangari 5 马丁·格布瑟 5 汤米·詹胡宁 4 西蒙娜·佩里 三 乔里·博曼森 三 尤利亚·利勒 三 亚历山德罗·普雷维蒂 三 特鲁什钦斯基,米罗斯瓦夫 2 曼纽尔·比什勒 2 巴特·博加特 2 贝尔纳多·卡特里 2 沃尔夫·德·沃尔夫 2 沃尔夫冈·费伯 2 佛罗伦萨,萨尔瓦多 2 戴维·福斯卡 2 菲利普·加斯泰格 2 马库斯·赫彻 2 乔瓦姆巴蒂斯塔·伊安尼 2 迈克尔·莫拉克 2 弗朗西斯科·帕琴察 2 康斯坦丁·舍科提欣 2 彼得·舒勒 2 克劳迪娅·舒尔茨 2 皮尔弗朗西斯科·维尔特里 2 斯特凡·沃尔特兰 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 曼努埃尔五世(Manuel V.Hermenegildo)。 1 安德烈·埃尔尼奇 1 戴维·伊拉迪 1 马蒂·Järvisalo 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 塔里克·哈立德 1 劳拉·科蓬恩 1 菲利普·科纳 1 克莱门斯·库普克 1 克莱尔·莱夫雷 1 Michael Leuschel先生 1 刘,刘 1 托马斯·卢卡西维奇 1 阿尔多·马尔祖洛 1 Mastrogiovanni,富尔维奥 1 保利·米提宁 1 何塞·弗朗西斯科·莫拉莱斯 1 本杰明·穆西奇 1 保罗·奥格里斯 1 埃米利亚·奥伊卡里宁 1 一对,卢卡 1 谢尔盖·帕拉莫诺夫 1 拉斐尔·佩尼亚洛萨 1 托拜厄斯·菲利普 1 马苏德·费兹巴赫斯·兰库 1 雅各布·拉特 1 克里斯蒂安·雷亚尔 1 贾斯汀·罗宾斯 1 苏伊拉,劳拉 1 多米尼克·萨佩·马里尼尔 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 弗洛里安·施瓦恩。 1 克斯特安提恩·什切科提金 1 克洛迪奥,坚韧 1 达里娅·斯捷潘诺娃。 1 伊戈尔·斯特芬 1 理查德·塔普 1 乔治·特拉西纳 1 克莱门斯·蒂伦 1 米雷克·特鲁兹琴斯基 1 毛罗·瓦拉蒂 …和另外5位作者 全部的 前5名7篇连载文章中引用 33 逻辑程序设计理论与实践 6 人工智能 1 AI通信 1 数学与人工智能年鉴 1 约束条件 1 美国医学会杂志 1 计算机基础理论 全部的 前5名在6个字段中引用 63 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的引文