On the deductive closure of a partially ordered propositional belief base
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03236156
Soumis le : mercredi 26 mai 2021-16:27:24
Dernière modification le : jeudi 11 janvier 2024-14:57:26
Archivage à long terme le : vendredi 27 août 2021-20:25:55