×

Potassco:波茨坦答案集求解集合。 (英语) Zbl 1215.68214号

摘要:本文概述了Potassco开源项目、Potsdam答案集求解集合、Potsda大学开发的答案集编程捆绑工具。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 链接