Une logique pour représenter des variations propositionnelles
Published in Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, 2023
This paper (in French) is (the first step of) a formalisation of a notion of variation in propositional logic. It follows work I did during my bachelor internship.
Recommended citation: Nicolas François, Thomas Laure, Jean Lieber. Une logique pour représenter des variations propositionnelles. Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11. ⟨hal-04268839⟩
Download Paper