BriefGPT.xyz
Ask
alpha
关键词
equivalence notions
搜索结果 - 1
关于 Answer-Set Programming 中强等价、一致等价和其它等价概念的共性视角
本文提出一种参数化的等价概念,同时限制了规则头和规则体中允许出现的原子,该方法是用于逻辑编程中应对强等价和一般等价的一种新的实现方式。
PDF
17 years ago
Prev
Next