PulseAugur
EN
LIVE 12:05:54

New research explores algebraic structures of Krom logic programs

By PulseAugur Editorial · [1 sources] ·

This paper delves into the algebraic properties of Krom logic programs, which are restricted to facts and rules with a single body atom. The research demonstrates that these programs form a monoid under sequential composition, which can be extended to various algebraic structures like seminearrings and quemirings. The study also provides explicit generating sets, canonical decompositions, and characterizes the Kleene star using graph-theoretic concepts, linking logic programming with algebraic automata and graph theory. AI

RANK_REASON Academic paper published on arXiv detailing theoretical computer science research. [lever_c_demoted from research: ic=1 ai=0.4]

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

COVERAGE [1]

  1. arXiv cs.AI TIER_1 English(EN) · Christian Anti\'c ·

    The algebra of Krom logic programs

    arXiv:2606.15719v1 Announce Type: cross Abstract: This paper investigates the algebraic structure of Krom logic programs, consisting only of facts and rules with at most one body atom. We show that sequential composition endows the class of Krom programs with a natural monoid str…

RELATED TOPICS