Sequential composition of propositional Krom logic programs
Résumé
The author has recently introduced the sequential composition of propositional logic programs. This paper studies composition in the Krom fragment from an algebraic point of view. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.
Fichier principal
2023-02-20-sequential_composition_of_propositional_krom_logic_programs.pdf (227.56 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)