Sequential decomposition of propositional logic programs
Logic in Computer Science
2023-09-15 v2 Artificial Intelligence
Abstract
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 -- well-known in semigroup theory -- between programs. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.
Keywords
Cite
@article{arxiv.2304.13522,
title = {Sequential decomposition of propositional logic programs},
author = {Christian Antić},
journal= {arXiv preprint arXiv:2304.13522},
year = {2023}
}
Comments
arXiv admin note: text overlap with arXiv:2109.05300, arXiv:2009.05774