@PHDTHESIS{nabha2011,
url = "http://www.theses.fr/2011AIX10173",
title = "Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones",
author = "Nabhani, Tarek",
year = "2011",
note = "Thèse de doctorat dirigée par Benhamou, Belaïd et Ostrowski, Richard Informatique Aix-Marseille 1 2011",
note = "2011AIX10173",
url = "http://www.theses.fr/2011AIX10173/document",
}

Pas de TEF en base. 

@PHDTHESIS{damot2010,
url = "http://www.theses.fr/2010ANGE0037",
title = "Formules booléennes quantifiées : transformations formelles et calculs parallèles",
author = "Da Mota, Benoit",
year = "2010",
pages = "1 vol. (vii-140 p.)",
note = "Thèse de doctorat dirigée par Nicolas, Pascal Informatique Angers 2010",
note = "2010ANGE0037",
url = "http://www.theses.fr/2010ANGE0037/document",
}

@PHDTHESIS{schmi2012,
url = "http://www.theses.fr/2012AIXM4055",
title = "Classification en complexité de problèmes de raisonnement non-monotone et d' énumération",
author = "Schmidt, Johannes",
year = "2012",
note = "Thèse de doctorat dirigée par Creignou, Nadia Informatique Aix-Marseille 2012",
note = "2012AIXM4055",
url = "http://www.theses.fr/2012AIXM4055/document",
}

@PHDTHESIS{bouaj1989,
url = "http://www.theses.fr/1989GRE10013",
title = "Logiques pour la description de processus et de leurs propriétés : expressivité et décidabilité",
author = "Bouajjani, Ahmed",
year = "1989",
pages = "1 vol. (91 p.)",
note = "Thèse de doctorat dirigée par Voiron, Jacques Informatique Grenoble 1 1989",
note = "1989GRE10013",
}

@PHDTHESIS{simon2001,
url = "http://www.theses.fr/2001PA112260",
title = "Multirésolution pour le test de consistance et la déduction en logique propositionnelle",
author = "Simon, Laurent",
year = "2001",
pages = "VI-233 p.",
note = "Thèse de doctorat dirigée par Rousset, Marie-Christine et Chatalic, Philippe Informatique Paris 11 2001",
note = "2001PA112260",
}

@PHDTHESIS{julia1998,
url = "http://www.theses.fr/1998DIJOS009",
title = "Score (fd/b) : un système de programmation par contraintes sur le domaine booléen - application -",
author = "Juliard, Vincent",
year = "1998",
pages = "1 vol. (174 p.)",
note = "Thèse de doctorat dirigée par Chabrier, Jacqueline Informatique Dijon 1998",
note = "1998DIJOS009",
}

@PHDTHESIS{piett2007,
url = "http://www.theses.fr/2007ARTO0404",
title = "Techniques algorithmiques pour l'extraction de formules minimales inconsistantes",
author = "Piette, Cédric",
year = "2007",
pages = "1 vol. (145 p.)",
note = "Thèse de doctorat dirigée par Grégoire, Eric Informatique Artois 2007",
note = "2007ARTO0404",
}

@PHDTHESIS{caste1997,
url = "http://www.theses.fr/1997TOU30008",
title = "Consistance et déduction en logique propositionnelle",
author = "Castell, Thierry",
year = "1997",
pages = "187 p",
note = "Thèse de doctorat dirigée par Cayrol, Michel Informatique Toulouse 3 1997",
note = "1997TOU30008",
}

@PHDTHESIS{sofia2003,
url = "http://www.theses.fr/2003ARTO0408",
title = "Contributions aux techniques de fusion de connaissances en intelligence artificielle",
author = "Sofiane, Ahcène",
year = "2003",
pages = "1 vol. (iv-96 f.)",
note = "Thèse de doctorat dirigée par Grégoire, Eric Informatique Artois 2003",
note = "2003ARTO0408",
}

@PHDTHESIS{schwi2010,
url = "http://www.theses.fr/2010ARTO0410",
title = "Fusion de réseaux de contraintes qualitatives",
author = "Schwind, Nicolas",
year = "2010",
note = "Thèse de doctorat dirigée par Marquis, Pierre et Kaci, Souhila Informatique Artois 2010",
note = "2010ARTO0410",
url = "http://www.theses.fr/2010ARTO0410/document",
}

@PHDTHESIS{carid2016,
url = "http://www.theses.fr/2016ARTO0402",
title = "Changement de croyances et logiques modales",
author = "Caridroit, Thomas",
year = "2016",
note = "Thèse de doctorat dirigée par Konieczny, Sébastien et Marquis, Pierre Informatique Artois 2016",
note = "2016ARTO0402",
url = "http://www.theses.fr/2016ARTO0402/document",
}

@PHDTHESIS{ktari2016,
url = "http://www.theses.fr/2016AIXM4016",
title = "Changement de croyances dans des fragments de la logique propositionnelle",
author = "Ktari, Raïda",
year = "2016",
note = "Thèse de doctorat dirigée par Creignou, NadiaChabchoub, Habib et Papini, Odile Informatique Aix-Marseille 2016",
note = "Thèse de doctorat Informatique Université de Sfax. Faculté des sciences 2016",
note = "2016AIXM4016",
url = "http://www.theses.fr/2016AIXM4016/document",
}

@PHDTHESIS{abdul2014,
url = "http://www.theses.fr/2014GRENM014",
title = "Information retrieval modeling by logic and lattice : application to conceptual information retrieval",
author = "Abdulahhad, Karam",
year = "2014",
note = "Thèse de doctorat dirigée par Berrut, Catherine et Chevallet, Jean-Pierre Informatique Grenoble 2014",
note = "2014GRENM014",
url = "http://www.theses.fr/2014GRENM014/document",
}

@PHDTHESIS{zanut2003,
url = "http://www.theses.fr/2003CAEN2020",
title = "Acquisition de connaissances et raisonnement en logique propositionnelle",
author = "Zanuttini, Bruno",
year = "2003",
pages = "1 vol. (195 p.)",
note = "Thèse de doctorat dirigée par Grandjean, Étienne Informatique Caen 2003",
note = "2003CAEN2020",
}

@PHDTHESIS{briso1999,
url = "http://www.theses.fr/2000ARTO0401",
title = "Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme",
author = "Brisoux Devendeville, Laure",
year = "1999",
pages = "1 vol. (188 p.)",
note = "Thèse de doctorat dirigée par Grégoire, Eric Informatique Artois 1999",
note = "2000ARTO0401",
}

@PHDTHESIS{mazur1999,
url = "http://www.theses.fr/1999ARTO0401",
title = "De la satisfaisabilité à la compilation de bases de connaissances propositionnelles",
author = "Mazure, Bertrand",
year = "1999",
pages = "1 vol. (xxiv-228 p.)",
note = "Thèse de doctorat dirigée par Grégoire, Eric Sciences appliquées Artois 1999",
note = "1999ARTO0401",
}

@PHDTHESIS{luque2000,
url = "http://www.theses.fr/2000CAEN2035",
title = "Horn renommage partiel et littéraux purs dans les formules CNF",
author = "Luquet, Philippe",
year = "2000",
pages = "1 vol. (169 p.)",
note = "Thèse de doctorat dirigée par Enjalbert, Patrice Informatique Caen 2000",
note = "2000CAEN2035",
}

@PHDTHESIS{kohle1995,
url = "http://www.theses.fr/1995AIX11014",
title = "Proposition d'une structure de représentation de la connaissance pour les raisonnements non classiques",
author = "Kohler, Arnaud",
year = "1995",
pages = "1 vol. (143 p.)",
note = "Thèse de doctorat dirigée par Siegel, Pierre Informatique Aix-Marseille 1 1995",
note = "1995AIX11014",
}

@PHDTHESIS{ostro2004,
url = "http://www.theses.fr/2004ARTO0403",
title = "Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT",
author = "Ostrowski, Richard",
year = "2004",
pages = "XII-145 p.",
note = "Thèse de doctorat dirigée par Saïs, Lakhdar Informatique Artois 2004",
note = "2004ARTO0403",
}

@PHDTHESIS{letom2005,
url = "http://www.theses.fr/2005ARTO0407",
title = "De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d'un prouveur QBF",
author = "Letombe, Florian",
year = "2005",
pages = "1 vol. (120 p.)",
note = "Thèse de doctorat dirigée par Marquis, Pierre Informatique Artois 2005",
note = "2005ARTO0407",
}

@PHDTHESIS{rouss1997,
url = "http://www.theses.fr/1997LIL10009",
title = "L'achévement des bases de connaissances en calcul propositionnel et en calcul des prédicats",
author = "Roussel, Olivier",
year = "1997",
pages = "1 vol. (xiv-176 p.)",
note = "Thèse de doctorat dirigée par Mathieu, Philippe Informatique Lille 1 1997",
note = "1997LIL10009",
url = "http://www.theses.fr/1997LIL10009/document",
}

@PHDTHESIS{sénéc1990,
url = "http://www.theses.fr/1990INPG0027",
title = "Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul : applications, parallélisation",
author = "Sénéchaud, Pascale",
year = "1990",
pages = "1 vol. (215 p.)",
note = "Thèse de doctorat dirigée par Della Dora, Jean Mathématiques appliquées Grenoble INPG 1990",
note = "1990INPG0027",
url = "http://www.theses.fr/1990INPG0027/document",
}

@PHDTHESIS{abdal2010,
url = "http://www.theses.fr/2010PA112089",
title = "Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances",
author = "Abdallah, Nada",
year = "2010",
pages = "1 vol. (88 p.)",
note = "Thèse de doctorat dirigée par Abiteboul, Serge et Goasdoué, François Informatique Paris 11 2010",
note = "2010PA112089",
}

@PHDTHESIS{evera2006,
url = "http://www.theses.fr/2006ARTO0402",
title = "Contribution à l'étude des opérateurs de fusion : manipulabilité et fusion disjonctive",
author = "Everaere, Patricia",
year = "2006",
pages = "1 vol. (160 p.)",
note = "Thèse de doctorat dirigée par Marquis, Pierre et Konieczny, Sébastien Informatique Artois 2006",
note = "2006ARTO0402",
}

@PHDTHESIS{lonca2015,
url = "http://www.theses.fr/2015ARTO0405",
title = "Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT",
author = "Lonca, Emmanuel",
year = "2015",
note = "Thèse de doctorat dirigée par Le Berre, Daniel Informatique Artois 2015",
note = "2015ARTO0405",
url = "http://www.theses.fr/2015ARTO0405/document",
}

@PHDTHESIS{alsae2016,
url = "http://www.theses.fr/2016ARTO0405",
title = "Extensions of tractable classes for propositional satisfiability",
author = "Al-Saedi, Mohammad Saleh Balasim",
year = "2016",
note = "Thèse de doctorat dirigée par Grégoire, EricMazure, Bertrand et Saïs, Lakhdar Informatique Artois 2016",
note = "2016ARTO0405",
url = "http://www.theses.fr/2016ARTO0405/document",
}

@PHDTHESIS{chhel2014,
url = "http://www.theses.fr/2014ANGE0018",
title = "Problème de caractérisation multiple : Application à la détection de souches bactériennes phytopathogènes",
author = "Chhel, Fabien-Sothéa",
year = "2014",
note = "Thèse de doctorat dirigée par Saubion, Frédéric et Lardeux, Frédéric Informatique Angers 2014",
note = "2014ANGE0018",
url = "http://www.theses.fr/2014ANGE0018/document",
}

@PHDTHESIS{deman2012,
url = "http://www.theses.fr/2012LORR0388",
title = "Vers un calcul des constructions pédagogique",
author = "Demange, Vincent",
year = "2012",
note = "Thèse de doctorat dirigée par Colson, Loïc et Stratulat, Sorin Informatique Université de Lorraine 2012",
note = "2012LORR0388",
url = "http://www.theses.fr/2012LORR0388/document",
}

@PHDTHESIS{barba2003,
url = "http://www.theses.fr/2003CAEN2066",
title = "Réductions fines entre problèmes NP-complets : linéarité, planarité, parcimonie, et minimalité logique",
author = "Barbanchon, Régis",
year = "2003",
pages = "1 vol. (VIII-137 p.)",
note = "Thèse de doctorat dirigée par Grandjean, Étienne Informatique Caen 2003",
note = "2003CAEN2066",
}

@PHDTHESIS{lesne2011,
url = "http://www.theses.fr/2011CAEN2074",
title = "Planification et apprentissage par renforcement avec modèles d'actions compacts",
author = "Lesner, Boris",
year = "2011",
pages = "1 vol. (VIII-168 p.)",
note = "Thèse de doctorat dirigée par Zanuttini, Bruno Informatique et applications  Caen 2011",
note = "2011CAEN2074",
}

@PHDTHESIS{palma1992,
url = "http://www.theses.fr/1992TOU30197",
title = "Etude et implantation de nouveaux mécanismes d'inférence en logique propositionnelle. Application aux ATMS",
author = "Palmade, Olivier",
year = "1992",
pages = "[13]-237 p",
note = "Thèse de doctorat dirigée par Cayrol, Michel Informatique Toulouse 3 1992",
note = "1992TOU30197",
}

@PHDTHESIS{audem2001,
url = "http://www.theses.fr/2001AIX11036",
title = "Résolution du problème SAT et génération de modèles finis en logique du premier ordre",
author = "Audemard, Gilles",
year = "2001",
pages = "VIII-138 p.",
note = "Thèse de doctorat dirigée par Benhamou, Belaïd Informatique Aix-Marseille 1 2001",
note = "2001AIX11036",
}

@PHDTHESIS{delpl1986,
url = "http://www.theses.fr/1986PA070008",
title = "La langue dagara : essai de semiologie linguistique",
author = "Delplanque, Alain",
year = "1986",
note = "Thèse de doctorat dirigée par Culioli, Antoine Linguistique Paris 7 1986",
note = "1986PA070008",
}

@PHDTHESIS{merci2017,
url = "http://www.theses.fr/2017SACLE007",
title = "Logique paracohérente pour l’annotation fonctionnelle des génomes au travers de réseaux biologiques",
author = "Mercier, Jonathan",
year = "2017",
note = "Thèse de doctorat dirigée par Médigue, Claudine et Vallenet, David Sciences de la vie et de la santé Université Paris-Saclay (ComUE) 2017",
note = "2017SACLE007",
url = "http://www.theses.fr/2017SACLE007/document",
}

@PHDTHESIS{Amri2015,
url = "http://www.theses.fr/2015ORLE2030",
title = "Fusion ensembliste de donn´ees pour la surveillance des personnes d´ependantes en habitat intelligent",
author = "Amri, Mohamed-Hédi",
year = "2015",
note = "Thèse de doctorat dirigée par Ramdani, Nacim Automatique Orléans 2015",
note = "2015ORLE2030",
url = "http://www.theses.fr/2015ORLE2030/document",
}

@PHDTHESIS{bidou2016,
url = "http://www.theses.fr/2016EMAC0005",
title = "Planification avec préférences basée sur la Théorie de l'Utilité Multi-Attribut couplée à une intégrale de Choquet : application à l'interopérabilité des organisations en gestion de crise",
author = "Bidoux, Loïc",
year = "2016",
note = "Thèse de doctorat dirigée par Bénaben, Frédérick et Lamothe, Jacques Génie Industriel et Informatique Ecole nationale des Mines d'Albi-Carmaux 2016",
note = "2016EMAC0005",
url = "http://www.theses.fr/2016EMAC0005/document",
}

@PHDTHESIS{Laux2007,
url = "http://www.theses.fr/2007NAN21019",
title = "L'accomplissement dialogué de la tâche de sélection de Wason : étude sur le raisonnement conditionnel dans l'interaction",
author = "Laux, Jennifer",
year = "2007",
note = "Thèse de doctorat dirigée par Trognon, Alain Psychologie Nancy 2 2007",
note = "2007NAN21019",
url = "http://www.theses.fr/2007NAN21019/document",
}

@PHDTHESIS{butin2009,
url = "http://www.theses.fr/2009LYO10192",
title = "Structures de Poisson sur les Algèbres de Polynômes, Cohomologie et Déformations",
author = "Butin, Frédéric",
year = "2009",
note = "Thèse de doctorat dirigée par Roger, Claude et Perets, Gadi Mathématiques Lyon 1 2009",
note = "2009LYO10192",
url = "http://www.theses.fr/2009LYO10192/document",
}

@PHDTHESIS{dupon2009,
url = "http://www.theses.fr/2009NAN21027",
title = "Procès et sociabilité en matière de droits de l'homme : analyse institutionnelle, épistémologique et argumentative des fondements et des techniques de protection des droits de l'homme au Conseil de l'Europe",
author = "Dupont, Jean-Claude K.",
year = "2009",
note = "Thèse de doctorat dirigée par Heinzmann, Gerhard Philosophie Nancy 2 2009",
note = "Thèse de doctorat Philosophie Université libre de Bruxelles (1970-....) 2009",
note = "2009NAN21027",
url = "http://www.theses.fr/2009NAN21027/document",
}

@PHDTHESIS{lobry2019,
url = "http://www.theses.fr/2019AZUR2017",
title = "L’analyse non standard en France 1975-1995 : une dispute avortée",
author = "Lobry, Claude",
year = "2019",
note = "Thèse de doctorat dirigée par Gautero, Jean-Luc Philosophie Université Côte d'Azur (ComUE) 2019",
note = "2019AZUR2017",
url = "http://www.theses.fr/2019AZUR2017/document",
}

@PHDTHESIS{forne2017,
url = "http://www.theses.fr/2017AZUR2031",
title = "Sens et éthique : Au cœur du discours, « Wittgenstein à l’hôpital »",
author = "Fornes, Antony",
year = "2017",
note = "Thèse de doctorat dirigée par Talon-Hugon, Carole Philosophie Université Côte d'Azur (ComUE) 2017",
note = "2017AZUR2031",
url = "http://www.theses.fr/2017AZUR2031/document",
}

@PHDTHESIS{Zhu2015,
url = "http://www.theses.fr/2015LIMO0014",
title = "La diffusion et l'influence de la philosophie d'Aristote en Chine à partir des dynasties Ming et Qing",
author = "Zhu, Weijia",
year = "2015",
note = "Thèse de doctorat dirigée par Levet, Jean-Pierre et Hu, Sishe Lettres / Sciences de l'Antiquité Limoges 2015",
note = "Thèse de doctorat Lettres / Sciences de l'Antiquité Université d'Etudes Internationales de Xian (Chine) 2015",
note = "2015LIMO0014",
url = "http://www.theses.fr/2015LIMO0014/document",
}

@PHDTHESIS{dayno2008,
url = "http://www.theses.fr/2008PA040098",
title = "Analyse de quelques préverbes et prépositions français et bulgares dans une perspective cognitive et formelle",
author = "Daynovska, Denitsa",
year = "2008",
note = "Thèse de doctorat dirigée par Desclès, Jean-Pierre et Tchaouchev, Assen Linguistique informatique Paris 4 2008",
note = "Thèse de doctorat Linguistique informatique Sofijski universitet Sv. Kliment Ohridski 2008",
note = "2008PA040098",
url = "http://www.theses.fr/2008PA040098/document",
}

@PHDTHESIS{renau2013,
url = "http://www.theses.fr/2013LORR0103",
title = "Vous avez dit fiction ? Analyse contextualiste du jugement de fictionalité et approche pragmatiste des oeuvres romanesques.",
author = "Renauld, Marion",
year = "2013",
note = "Thèse de doctorat dirigée par Heinzmann, Gerhard et Rebuschi, Manuel Philosophie Université de Lorraine 2013",
note = "2013LORR0103",
url = "http://www.theses.fr/2013LORR0103/document",
}

@PHDTHESIS{smith2015,
url = "http://www.theses.fr/2015PA100165",
title = "Déplacements post-structuraux",
author = "Smith, Claude",
year = "2015",
note = "Thèse de doctorat dirigée par Salanskis, Jean-Michel Philosophie Paris 10 2015",
note = "2015PA100165",
url = "http://www.theses.fr/2015PA100165/document",
}

@PHDTHESIS{cheva2010,
url = "http://www.theses.fr/2010PEST0013",
title = "Les Lois de l'esprit chez Charles S. Peirce",
author = "Chevalier, Jean-Marie",
year = "2010",
note = "Thèse de doctorat dirigée par Tiercelin, Claudine Philosophie Paris Est 2010",
note = "2010PEST0013",
url = "http://www.theses.fr/2010PEST0013/document",
}

@PHDTHESIS{beaup2015,
url = "http://www.theses.fr/2015USPCA139",
title = "Acquisition et Expression Multimodale de la Négation. Étude d'un Corpus Vidéo et Longitudinal de Dyades Mère-Enfant Francophone et Anglophone.",
author = "Beaupoil-Hourdel, Pauline",
year = "2015",
note = "Thèse de doctorat dirigée par Morgenstern, Aliyah Études anglophones Sorbonne Paris Cité 2015",
note = "2015USPCA139",
url = "http://www.theses.fr/2015USPCA139/document",
}

@PHDTHESIS{monte2015,
url = "http://www.theses.fr/2015PA040072",
title = "Wittgenstein et l'héritage de Schopenhauer : de la contemplation du monde à l'expression de la vie",
author = "Monteil, Ariane",
year = "2015",
note = "Thèse de doctorat dirigée par Andler, Daniel Philosophie Paris 4 2015",
note = "2015PA040072",
url = "http://www.theses.fr/2015PA040072/document",
}

@PHDTHESIS{declo2017,
url = "http://www.theses.fr/2017LORR0238",
title = "La métaphysique de Nelson Goodman",
author = "Declos, Alexandre",
year = "2017",
note = "Thèse de doctorat dirigée par Pouivet, Roger et Thomas-Fogiel, Isabelle Philosophie Université de Lorraine 2017",
note = "Thèse de doctorat Philosophie Université d'Ottawa 2017",
note = "2017LORR0238",
url = "http://www.theses.fr/2017LORR0238/document",
}