Luis Fariñas del Cerro

Abduction  Action  Agent  Agent rationnel  Artificial intelligence  Axiomatique  Balises  Bioinformatics  Biologie systémique  Calcul predicat  Casual Networks  Chimie -- Essais et réactifs  Circulation aérienne -- Contrôle  Commande, Théorie de la  Communication orale  Conditionnel  Contrainte  Contraintes  Croyance  Croyance  Deduction  Dynamique moléculaire  Déduction  Ensemble réponse  Estimation de paramètres  First Order Logic  Géométrie -- Informatique  Géométrie  Géométrie affine  Informatique -- Aspect cognitif  Informatique, automatique theorique, systemes  Inférence  Intelligence artificielle  Intension  Intention  Langages de programmation -- Sémantique  Logic  Logic de l'équilibre  Logical programming  Logique mathématique non classique  Logique modale  Logique non-monotone  Logique propositionnelle  Logique épistémique  Metabolic Networks  Modal logic  Modalité  Modèles géométriques  Modélisation tridimensionnelle  Molecular Interaction Maps  Méréologie  Predicates calculus  Programmation logique  Programmation orientée ensemble réponse  Programmation orientée objets  Programmation parallèle  Prolog  Propositional logic  Raisonnement  Raisonnement spatial qualitatif  Représentation des connaissances  Sciences appliquees  Spécification épistémique  Structure et forme d'objets  Systèmes d'aide à la décision  Systèmes experts  Temps d'exécution  Temps réel  Théorie de l'action  Théorèmes -- Démonstration automatique  Topologie  Traduction automatique  Unification  Vue-monde  

Luis Fariñas del Cerro a dirigé les 22 thèses suivantes :

Intelligence artificielle
Soutenue le 20-03-2015
Thèse soutenue

Sciences appliquées
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1989
Thèse soutenue