clingo constructs | BriefGPT

关键词clingo constructs

搜索结果 - 1

答案集编程的解释
xASP2 是一个增强型的解释性人工智能系统，用于生成 Answer Set Programming（ASP）的解释图。与 xASP 不同，xASP2 支持不同的 clingo 构造，如选择规则、约束和聚合函数如 #sum、#min。该研究
PDF10 months ago