BriefGPT.xyz
Ask
alpha
关键词
clingo 4
搜索结果 - 1
Clingo = ASP + Control: 预备报告
介绍了新的 ASP 系统 clingo 4,其提供高级结构来实现复杂推理过程,支持高级搜索形式(如优化或理论求解),并通过嵌入脚本语言 lua 和 python 实现控制能力,为 ASP 的声明输入语言提供了一种新的指令来支持命名和可参数化
→
PDF
10 years ago
Prev
Next