超级会员免费看
自动推理中的最小模型生成与优化技术
1 引言
自动推理领域的一个重要研究方向是如何高效地生成最小模型。最小模型在逻辑程序设计、知识表示和推理等方面有着广泛的应用。本文将探讨最小模型生成的基本概念
订阅专栏 解锁全文
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
