IFT 615 – Intelligence artificielle Logique du premier ordre Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/cours/ift615.