马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗斯基;托尔斯滕·绍布;马吕斯·施奈德 Potassco:波茨坦答案集求解集合。 (英语) Zbl 1215.68214号 AI社区。 24,第2期,107-124(2011). 摘要:本文概述了Potassco开源项目、Potsdam答案集求解集合、Potsda大学开发的答案集编程捆绑工具。 引用于64文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68N17号 逻辑编程 关键词:答案集编程;陈述式问题解决 软件:巴基斯坦国家税务局;PLATYPUS公司;格林戈;围攻;亚萨特;Potassco公司;o克林戈;扣环;伯克明州;Lparse(L解析);萨特齐拉;SATO公司;超小卫星;糠 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,AI Commun。24,第2号,107--124(2011;Zbl 1215.68214) 全文: 链接