PulseAugur
中
实时 12:09:30
实体 Krom logic programs

Krom logic programs

PulseAugur coverage of Krom logic programs — every cluster mentioning Krom logic programs across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_93307 ·

    新研究探讨Krom逻辑程序的代数结构

    本文深入研究了Krom逻辑程序的代数性质，Krom逻辑程序仅限于事实和具有单个体原子的规则。研究表明，这些程序在顺序组合下构成一个幺半群，可以扩展到半环和quemiring等各种代数结构。该研究还提供了显式的生成集、规范分解，并使用图论概念刻画了Kleene星，将逻辑编程与代数自动机和图论联系起来。