Skip to Main content Skip to Navigation
New interface


...
tel-00507482v1  Theses
Thi-Dieu-Thu Nguyen. A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English
...
tel-00553219v1  Theses
Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
...
tel-00536926v1  Theses
Nada Abdallah. Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2010. Français
...
tel-00321468v1  Theses
Jocelyne Troccaz. Modélisation du raisonnement géométrique pour la programmation des robots
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1986. Français
...
tel-00325222v1  Habilitation à diriger des recherches
Emmanuel Mazer. Handey‎ : un modèle de planificateur pour la programmation automatique des robots
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1987
...
tel-03203922v1  Theses
Daniel El Ouraoui. Méthodes pour le raisonnement d'ordre supérieur dans SMT
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
...
tel-00782557v1  Theses
Freddy Lécué. Composition de Services Web: Une Approche basée Liens Sémantiques
Web. Ecole Nationale Supérieure des Mines de Saint-Etienne, 2008. Français. ⟨NNT : 2008EMSE0027⟩
...
tel-01404941v1  Theses
Imen Mandhouj. Détection et analyse des évènements rares par approche sémantique dans une image naturelle
Traitement des images [eess.IV]. Télécom Bretagne; Université de Bretagne Occidentale, 2016. Français
...
tel-03514093v1  Habilitation à diriger des recherches
Federico Ulliana. Rule-based Languages for Reasoning on Data : Analysis, Design and Applications
Computer Science [cs]. Montpellier University, 2021
...
tel-00334461v1  Theses
Michel Pasquier. Planification de trajectoires pour un robot manipulateur
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français
...
tel-00484886v1  Theses
A. Helmy. Mise en œuvre de techniques de démonstration automatique pour la vérification formelle des NoCs
Micro et nanotechnologies/Microélectronique. Institut National Polytechnique de Grenoble - INPG, 2010. Français
...
tel-00330615v1  Theses
Pascal Théveneau. Utilisation du raisonnement géométrique pour la planification en robotique d'assemblage :
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988. Français
...
tel-03677970v1  Theses
Corentin Kervadec. Bias and reasoning in visual question answering
Computer Vision and Pattern Recognition [cs.CV]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEI101⟩
...
tel-00325156v1  Habilitation à diriger des recherches
Christian Laugier. Raisonnement géométrique et méthodes de décision en robotique : application à la programmation automatique des robots
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1987
...
tel-01751107v2  Theses
Valmi Dufour-Lussier. Reasoning with Qualitative Spatial and Temporal Textual Cases
Artificial Intelligence [cs.AI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0182⟩
...
tel-01968404v1  Habilitation à diriger des recherches
Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project
Logic in Computer Science [cs.LO]. Université de lorraine, 2018
...
tel-03716897v1  Theses
Romain Wallon. Pseudo-Boolean Reasoning and Compilation
Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English
...
tel-01748220v1  Theses
Daniel Alejandro Gorín. Automated reasoning techniques for hybrid logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩
...
tel-02886382v1  Theses
Valentin Montmirail. Practical resolution of satisfiability testing for modal logics
Computer Science [cs]. Université d'Artois, 2018. English
...
tel-02273482v1  Theses
N. Ben Rabah. APPROCHE INTELLIGENTE À BASE DE RAISONNEMENT À PARTIR DE CAS POUR LE DIAGNOSTIC EN LIGNE DES SYSTÈMES AUTOMATISÉS DE PRODUCTION
Intelligence artificielle [cs.AI]. UNIVERSITÉ DE REIMS CHAMPAGNE-ARDENNE et UNIVERSITÉ DE LA MANOUBA, 2018. Français