Title: Modèles logiques et systèmes d'intelligence articielle - [université d'été, Lyon, 6-10 juillet 1987]