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.
Fichier principal
230220-sequential_composition_of_propositional_krom_logic_programs (1).pdf (104.34 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)