TY - THES DP - http://www.theses.fr/2011AIX10173 TI - Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones AU - Nabhani, Tarek A3 - Benhamou, Belaïd; Ostrowski, Richard PY - 2011 N1 - Thèse de doctorat Informatique Aix-Marseille 1 2011 N1 - 2011AIX10173 UR - http://www.theses.fr/2011AIX10173/document ER - Pas de TEF en base. TY - THES DP - http://www.theses.fr/2010ANGE0037 TI - Formules booléennes quantifiées : transformations formelles et calculs parallèles AU - Da Mota, Benoit A3 - Nicolas, Pascal PY - 2010 SP - 1 vol. (vii-140 p.) N1 - Thèse de doctorat Informatique Angers 2010 N1 - 2010ANGE0037 UR - http://www.theses.fr/2010ANGE0037/document ER - TY - THES DP - http://www.theses.fr/2012AIXM4055 TI - Classification en complexité de problèmes de raisonnement non-monotone et d' énumération AU - Schmidt, Johannes A3 - Creignou, Nadia PY - 2012 N1 - Thèse de doctorat Informatique Aix-Marseille 2012 N1 - 2012AIXM4055 UR - http://www.theses.fr/2012AIXM4055/document ER - TY - THES DP - http://www.theses.fr/1989GRE10013 TI - Logiques pour la description de processus et de leurs propriétés : expressivité et décidabilité AU - Bouajjani, Ahmed A3 - Voiron, Jacques PY - 1989 SP - 1 vol. (91 p.) N1 - Thèse de doctorat Informatique Grenoble 1 1989 N1 - 1989GRE10013 ER - TY - THES DP - http://www.theses.fr/2001PA112260 TI - Multirésolution pour le test de consistance et la déduction en logique propositionnelle AU - Simon, Laurent A3 - Rousset, Marie-Christine; Chatalic, Philippe PY - 2001 SP - VI-233 p. N1 - Thèse de doctorat Informatique Paris 11 2001 N1 - 2001PA112260 ER - TY - THES DP - http://www.theses.fr/1998DIJOS009 TI - Score (fd/b) : un système de programmation par contraintes sur le domaine booléen - application - AU - Juliard, Vincent A3 - Chabrier, Jacqueline PY - 1998 SP - 1 vol. (174 p.) N1 - Thèse de doctorat Informatique Dijon 1998 N1 - 1998DIJOS009 ER - TY - THES DP - http://www.theses.fr/2007ARTO0404 TI - Techniques algorithmiques pour l'extraction de formules minimales inconsistantes AU - Piette, Cédric A3 - Grégoire, Eric PY - 2007 SP - 1 vol. (145 p.) N1 - Thèse de doctorat Informatique Artois 2007 N1 - 2007ARTO0404 ER - TY - THES DP - http://www.theses.fr/1997TOU30008 TI - Consistance et déduction en logique propositionnelle AU - Castell, Thierry A3 - Cayrol, Michel PY - 1997 SP - 187 p N1 - Thèse de doctorat Informatique Toulouse 3 1997 N1 - 1997TOU30008 ER - TY - THES DP - http://www.theses.fr/2003ARTO0408 TI - Contributions aux techniques de fusion de connaissances en intelligence artificielle AU - Sofiane, Ahcène A3 - Grégoire, Eric PY - 2003 SP - 1 vol. (iv-96 f.) N1 - Thèse de doctorat Informatique Artois 2003 N1 - 2003ARTO0408 ER - TY - THES DP - http://www.theses.fr/2010ARTO0410 TI - Fusion de réseaux de contraintes qualitatives AU - Schwind, Nicolas A3 - Marquis, Pierre; Kaci, Souhila PY - 2010 N1 - Thèse de doctorat Informatique Artois 2010 N1 - 2010ARTO0410 UR - http://www.theses.fr/2010ARTO0410/document ER - TY - THES DP - http://www.theses.fr/2016ARTO0402 TI - Changement de croyances et logiques modales AU - Caridroit, Thomas A3 - Konieczny, Sébastien; Marquis, Pierre PY - 2016 N1 - Thèse de doctorat Informatique Artois 2016 N1 - 2016ARTO0402 UR - http://www.theses.fr/2016ARTO0402/document ER - TY - THES DP - http://www.theses.fr/2016AIXM4016 TI - Changement de croyances dans des fragments de la logique propositionnelle AU - Ktari, Raïda A3 - Creignou, NadiaChabchoub, Habib; Papini, Odile PY - 2016 N1 - Thèse de doctorat Informatique Aix-Marseille 2016 N1 - Thèse de doctorat Informatique Université de Sfax. Faculté des sciences 2016 N1 - 2016AIXM4016 UR - http://www.theses.fr/2016AIXM4016/document ER - TY - THES DP - http://www.theses.fr/2014GRENM014 TI - Information retrieval modeling by logic and lattice : application to conceptual information retrieval AU - Abdulahhad, Karam A3 - Berrut, Catherine; Chevallet, Jean-Pierre PY - 2014 N1 - Thèse de doctorat Informatique Grenoble 2014 N1 - 2014GRENM014 UR - http://www.theses.fr/2014GRENM014/document ER - TY - THES DP - http://www.theses.fr/2003CAEN2020 TI - Acquisition de connaissances et raisonnement en logique propositionnelle AU - Zanuttini, Bruno A3 - Grandjean, Étienne PY - 2003 SP - 1 vol. (195 p.) N1 - Thèse de doctorat Informatique Caen 2003 N1 - 2003CAEN2020 ER - TY - THES DP - http://www.theses.fr/2000ARTO0401 TI - Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme AU - Brisoux Devendeville, Laure A3 - Grégoire, Eric PY - 1999 SP - 1 vol. (188 p.) N1 - Thèse de doctorat Informatique Artois 1999 N1 - 2000ARTO0401 ER - TY - THES DP - http://www.theses.fr/1999ARTO0401 TI - De la satisfaisabilité à la compilation de bases de connaissances propositionnelles AU - Mazure, Bertrand A3 - Grégoire, Eric PY - 1999 SP - 1 vol. (xxiv-228 p.) N1 - Thèse de doctorat Sciences appliquées Artois 1999 N1 - 1999ARTO0401 ER - TY - THES DP - http://www.theses.fr/2000CAEN2035 TI - Horn renommage partiel et littéraux purs dans les formules CNF AU - Luquet, Philippe A3 - Enjalbert, Patrice PY - 2000 SP - 1 vol. (169 p.) N1 - Thèse de doctorat Informatique Caen 2000 N1 - 2000CAEN2035 ER - TY - THES DP - http://www.theses.fr/1995AIX11014 TI - Proposition d'une structure de représentation de la connaissance pour les raisonnements non classiques AU - Kohler, Arnaud A3 - Siegel, Pierre PY - 1995 SP - 1 vol. (143 p.) N1 - Thèse de doctorat Informatique Aix-Marseille 1 1995 N1 - 1995AIX11014 ER - TY - THES DP - http://www.theses.fr/2004ARTO0403 TI - Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT AU - Ostrowski, Richard A3 - Saïs, Lakhdar PY - 2004 SP - XII-145 p. N1 - Thèse de doctorat Informatique Artois 2004 N1 - 2004ARTO0403 ER - TY - THES DP - http://www.theses.fr/2005ARTO0407 TI - De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d'un prouveur QBF AU - Letombe, Florian A3 - Marquis, Pierre PY - 2005 SP - 1 vol. (120 p.) N1 - Thèse de doctorat Informatique Artois 2005 N1 - 2005ARTO0407 ER - TY - THES DP - http://www.theses.fr/1997LIL10009 TI - L'achévement des bases de connaissances en calcul propositionnel et en calcul des prédicats AU - Roussel, Olivier A3 - Mathieu, Philippe PY - 1997 SP - 1 vol. (xiv-176 p.) N1 - Thèse de doctorat Informatique Lille 1 1997 N1 - 1997LIL10009 UR - http://www.theses.fr/1997LIL10009/document ER - TY - THES DP - http://www.theses.fr/1990INPG0027 TI - Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul : applications, parallélisation AU - Sénéchaud, Pascale A3 - Della Dora, Jean PY - 1990 SP - 1 vol. (215 p.) N1 - Thèse de doctorat Mathématiques appliquées Grenoble INPG 1990 N1 - 1990INPG0027 UR - http://www.theses.fr/1990INPG0027/document ER - TY - THES DP - http://www.theses.fr/2010PA112089 TI - Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances AU - Abdallah, Nada A3 - Abiteboul, Serge; Goasdoué, François PY - 2010 SP - 1 vol. (88 p.) N1 - Thèse de doctorat Informatique Paris 11 2010 N1 - 2010PA112089 ER - TY - THES DP - http://www.theses.fr/2006ARTO0402 TI - Contribution à l'étude des opérateurs de fusion : manipulabilité et fusion disjonctive AU - Everaere, Patricia A3 - Marquis, Pierre; Konieczny, Sébastien PY - 2006 SP - 1 vol. (160 p.) N1 - Thèse de doctorat Informatique Artois 2006 N1 - 2006ARTO0402 ER - TY - THES DP - http://www.theses.fr/2015ARTO0405 TI - Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT AU - Lonca, Emmanuel A3 - Le Berre, Daniel PY - 2015 N1 - Thèse de doctorat Informatique Artois 2015 N1 - 2015ARTO0405 UR - http://www.theses.fr/2015ARTO0405/document ER - TY - THES DP - http://www.theses.fr/2016ARTO0405 TI - Extensions of tractable classes for propositional satisfiability AU - Al-Saedi, Mohammad Saleh Balasim A3 - Grégoire, EricMazure, Bertrand; Saïs, Lakhdar PY - 2016 N1 - Thèse de doctorat Informatique Artois 2016 N1 - 2016ARTO0405 UR - http://www.theses.fr/2016ARTO0405/document ER - TY - THES DP - http://www.theses.fr/2014ANGE0018 TI - Problème de caractérisation multiple : Application à la détection de souches bactériennes phytopathogènes AU - Chhel, Fabien-Sothéa A3 - Saubion, Frédéric; Lardeux, Frédéric PY - 2014 N1 - Thèse de doctorat Informatique Angers 2014 N1 - 2014ANGE0018 UR - http://www.theses.fr/2014ANGE0018/document ER - TY - THES DP - http://www.theses.fr/2012LORR0388 TI - Vers un calcul des constructions pédagogique AU - Demange, Vincent A3 - Colson, Loïc; Stratulat, Sorin PY - 2012 N1 - Thèse de doctorat Informatique Université de Lorraine 2012 N1 - 2012LORR0388 UR - http://www.theses.fr/2012LORR0388/document ER - TY - THES DP - http://www.theses.fr/2003CAEN2066 TI - Réductions fines entre problèmes NP-complets : linéarité, planarité, parcimonie, et minimalité logique AU - Barbanchon, Régis A3 - Grandjean, Étienne PY - 2003 SP - 1 vol. (VIII-137 p.) N1 - Thèse de doctorat Informatique Caen 2003 N1 - 2003CAEN2066 ER - TY - THES DP - http://www.theses.fr/2011CAEN2074 TI - Planification et apprentissage par renforcement avec modèles d'actions compacts AU - Lesner, Boris A3 - Zanuttini, Bruno PY - 2011 SP - 1 vol. (VIII-168 p.) N1 - Thèse de doctorat Informatique et applications Caen 2011 N1 - 2011CAEN2074 ER - TY - THES DP - http://www.theses.fr/1992TOU30197 TI - Etude et implantation de nouveaux mécanismes d'inférence en logique propositionnelle. Application aux ATMS AU - Palmade, Olivier A3 - Cayrol, Michel PY - 1992 SP - [13]-237 p N1 - Thèse de doctorat Informatique Toulouse 3 1992 N1 - 1992TOU30197 ER - TY - THES DP - http://www.theses.fr/2001AIX11036 TI - Résolution du problème SAT et génération de modèles finis en logique du premier ordre AU - Audemard, Gilles A3 - Benhamou, Belaïd PY - 2001 SP - VIII-138 p. N1 - Thèse de doctorat Informatique Aix-Marseille 1 2001 N1 - 2001AIX11036 ER - TY - THES DP - http://www.theses.fr/1986PA070008 TI - La langue dagara : essai de semiologie linguistique AU - Delplanque, Alain A3 - Culioli, Antoine PY - 1986 N1 - Thèse de doctorat Linguistique Paris 7 1986 N1 - 1986PA070008 ER - TY - THES DP - http://www.theses.fr/2017SACLE007 TI - Logique paracohérente pour l’annotation fonctionnelle des génomes au travers de réseaux biologiques AU - Mercier, Jonathan A3 - Médigue, Claudine; Vallenet, David PY - 2017 N1 - Thèse de doctorat Sciences de la vie et de la santé Université Paris-Saclay (ComUE) 2017 N1 - 2017SACLE007 UR - http://www.theses.fr/2017SACLE007/document ER - TY - THES DP - http://www.theses.fr/2015ORLE2030 TI - Fusion ensembliste de donn´ees pour la surveillance des personnes d´ependantes en habitat intelligent AU - Amri, Mohamed-Hédi A3 - Ramdani, Nacim PY - 2015 N1 - Thèse de doctorat Automatique Orléans 2015 N1 - 2015ORLE2030 UR - http://www.theses.fr/2015ORLE2030/document ER - TY - THES DP - http://www.theses.fr/2016EMAC0005 TI - 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 AU - Bidoux, Loïc A3 - Bénaben, Frédérick; Lamothe, Jacques PY - 2016 N1 - Thèse de doctorat Génie Industriel et Informatique Ecole nationale des Mines d'Albi-Carmaux 2016 N1 - 2016EMAC0005 UR - http://www.theses.fr/2016EMAC0005/document ER - TY - THES DP - http://www.theses.fr/2007NAN21019 TI - L'accomplissement dialogué de la tâche de sélection de Wason : étude sur le raisonnement conditionnel dans l'interaction AU - Laux, Jennifer A3 - Trognon, Alain PY - 2007 N1 - Thèse de doctorat Psychologie Nancy 2 2007 N1 - 2007NAN21019 UR - http://www.theses.fr/2007NAN21019/document ER - TY - THES DP - http://www.theses.fr/2009LYO10192 TI - Structures de Poisson sur les Algèbres de Polynômes, Cohomologie et Déformations AU - Butin, Frédéric A3 - Roger, Claude; Perets, Gadi PY - 2009 N1 - Thèse de doctorat Mathématiques Lyon 1 2009 N1 - 2009LYO10192 UR - http://www.theses.fr/2009LYO10192/document ER - TY - THES DP - http://www.theses.fr/2009NAN21027 TI - 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 AU - Dupont, Jean-Claude K. A3 - Heinzmann, Gerhard PY - 2009 N1 - Thèse de doctorat Philosophie Nancy 2 2009 N1 - Thèse de doctorat Philosophie Université libre de Bruxelles (1970-....) 2009 N1 - 2009NAN21027 UR - http://www.theses.fr/2009NAN21027/document ER - TY - THES DP - http://www.theses.fr/2019AZUR2017 TI - L’analyse non standard en France 1975-1995 : une dispute avortée AU - Lobry, Claude A3 - Gautero, Jean-Luc PY - 2019 N1 - Thèse de doctorat Philosophie Université Côte d'Azur (ComUE) 2019 N1 - 2019AZUR2017 UR - http://www.theses.fr/2019AZUR2017/document ER - TY - THES DP - http://www.theses.fr/2017AZUR2031 TI - Sens et éthique : Au cœur du discours, « Wittgenstein à l’hôpital » AU - Fornes, Antony A3 - Talon-Hugon, Carole PY - 2017 N1 - Thèse de doctorat Philosophie Université Côte d'Azur (ComUE) 2017 N1 - 2017AZUR2031 UR - http://www.theses.fr/2017AZUR2031/document ER - TY - THES DP - http://www.theses.fr/2015LIMO0014 TI - La diffusion et l'influence de la philosophie d'Aristote en Chine à partir des dynasties Ming et Qing AU - Zhu, Weijia A3 - Levet, Jean-Pierre; Hu, Sishe PY - 2015 N1 - Thèse de doctorat Lettres / Sciences de l'Antiquité Limoges 2015 N1 - Thèse de doctorat Lettres / Sciences de l'Antiquité Université d'Etudes Internationales de Xian (Chine) 2015 N1 - 2015LIMO0014 UR - http://www.theses.fr/2015LIMO0014/document ER - TY - THES DP - http://www.theses.fr/2008PA040098 TI - Analyse de quelques préverbes et prépositions français et bulgares dans une perspective cognitive et formelle AU - Daynovska, Denitsa A3 - Desclès, Jean-Pierre; Tchaouchev, Assen PY - 2008 N1 - Thèse de doctorat Linguistique informatique Paris 4 2008 N1 - Thèse de doctorat Linguistique informatique Sofijski universitet Sv. Kliment Ohridski 2008 N1 - 2008PA040098 UR - http://www.theses.fr/2008PA040098/document ER - TY - THES DP - http://www.theses.fr/2013LORR0103 TI - Vous avez dit fiction ? Analyse contextualiste du jugement de fictionalité et approche pragmatiste des oeuvres romanesques. AU - Renauld, Marion A3 - Heinzmann, Gerhard; Rebuschi, Manuel PY - 2013 N1 - Thèse de doctorat Philosophie Université de Lorraine 2013 N1 - 2013LORR0103 UR - http://www.theses.fr/2013LORR0103/document ER - TY - THES DP - http://www.theses.fr/2015PA100165 TI - Déplacements post-structuraux AU - Smith, Claude A3 - Salanskis, Jean-Michel PY - 2015 N1 - Thèse de doctorat Philosophie Paris 10 2015 N1 - 2015PA100165 UR - http://www.theses.fr/2015PA100165/document ER - TY - THES DP - http://www.theses.fr/2010PEST0013 TI - Les Lois de l'esprit chez Charles S. Peirce AU - Chevalier, Jean-Marie A3 - Tiercelin, Claudine PY - 2010 N1 - Thèse de doctorat Philosophie Paris Est 2010 N1 - 2010PEST0013 UR - http://www.theses.fr/2010PEST0013/document ER - TY - THES DP - http://www.theses.fr/2015USPCA139 TI - Acquisition et Expression Multimodale de la Négation. Étude d'un Corpus Vidéo et Longitudinal de Dyades Mère-Enfant Francophone et Anglophone. AU - Beaupoil-Hourdel, Pauline A3 - Morgenstern, Aliyah PY - 2015 N1 - Thèse de doctorat Études anglophones Sorbonne Paris Cité 2015 N1 - 2015USPCA139 UR - http://www.theses.fr/2015USPCA139/document ER - TY - THES DP - http://www.theses.fr/2015PA040072 TI - Wittgenstein et l'héritage de Schopenhauer : de la contemplation du monde à l'expression de la vie AU - Monteil, Ariane A3 - Andler, Daniel PY - 2015 N1 - Thèse de doctorat Philosophie Paris 4 2015 N1 - 2015PA040072 UR - http://www.theses.fr/2015PA040072/document ER - TY - THES DP - http://www.theses.fr/2017LORR0238 TI - La métaphysique de Nelson Goodman AU - Declos, Alexandre A3 - Pouivet, Roger; Thomas-Fogiel, Isabelle PY - 2017 N1 - Thèse de doctorat Philosophie Université de Lorraine 2017 N1 - Thèse de doctorat Philosophie Université d'Ottawa 2017 N1 - 2017LORR0238 UR - http://www.theses.fr/2017LORR0238/document ER -