mlsanityData to 14 Oct 2026

Sequential decomposition of propositional logic programs

arXiv 2304.13522 ↗First posted 21 Feb 2023cs.LO cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential em decomposition of programs by studying Green's relations L,R,J -- well-known in semigroup theory -- between programs. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 4 of its 37 references that are in the map. First posted on arXiv 21 Feb 2023.

Builds on

4 of 37 references.

References · 4

  1. 2018Logic program proportionscited by 12
  2. 2020Sequential composition of propositional logic programscited by 5
  3. 2021Sequential composition of answer set programscited by 5
  4. 2021On syntactically similar logic programs and sequential decompositionscited by 1

Built on by

Not cited yet.