Sequential composition of propositional Krom logic programs - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

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
Vignette du fichier
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)

Dates et versions

hal-04023753 , version 1 (10-03-2023)
hal-04023753 , version 2 (21-10-2023)

Identifiants

  • HAL Id : hal-04023753 , version 2

Citer

Christian Antic. Sequential composition of propositional Krom logic programs. 2023. ⟨hal-04023753v2⟩
27 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More