Garner-Bienvenu Meghyn

THESE
THESE
En vue de l'obtention du
DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE
DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE
Délivré par l'Université Toulouse III - Paul Sabatier
Discipline ou spécialité : Informatique
JURY
BLACKBURN Patrick, DR INRIA Nancy (membre)
GASQUET Olivier PR Université Paul Sabatier (membre)
HERZIG Andreas, DR Université Paul Sabatier (directeur de thèse)
LANG Jérôme, DR Université Paris Dauphine (membre)
MARQUIS Pierre, PR Université d'Artois (rapporteur)
MENGIN Jérôme, MCF Université Paul Sabatier (membre)
ROUSSET Marie-Christine, PR Université de Grenoble (membre)
WOLTER Frank, PR University of Liverpool (rapporteur)
Ecole doctorale : Mathématiques, Informatique, et Télécommunications
Unité de recherche : Institut de Recherche en Informatique de Toulouse
Directeur(s) de Thèse : Andreas Herzig
Rapporteurs : Pierre Marquis et Frank Wolter
Présentée et soutenue par Meghyn GARNER BIENVENU
Le 7 mai 2009
Titre : La génération de conséquences en logique modale

To Morfar

Acknowledgements
First of all, I would like to thank my thesis advisors Andreas Herzig, Jérome Lang,
and Jérome Mengin for all of the advice, support, and encouragement they have
provided me over these past few years. I feel truly lucky to have had such excellent
thesis advisors, and I sincerely hope that we will find find opportunities to work
together again in the future.
I would also like to thank Pierre Marquis and Frank Wolter for kindly accepting
to review this thesis, and Patrick Blackburn, Olivier Gasquet, and Marie-Christine
Rousset for agreeing to participate in my jury.
A special thanks to Sheila McIlraith, my undergraduate summer project supervisor
and first co-author, for helping me take my first steps as a researcher and for always
looking out for me as if I were one of her students.
To my friends and colleagues from the LILaC and RPDMP teams at IRIT, thank
you for all of the lunches, coffee breaks, and evenings we shared together. I only
regret that I was not able to been able to spend more time in Toulouse during my
thesis.
To my family, thank you for your continued support over the years, and for flying
all the way across the ocean to attend my defense. It meant so much to me to have
you all there.
Finally, to Laurent, thank you not only for helping me through the stressful mo-
ments, but most of all, for being there to share the happy ones.
v