Luis Fariñas del Cerro
IdRefMots clés
FR |
EN
Modalité (logique)
Raisonnement
Intelligence artificielle
Logique modale
Programmation orientée objets (informatique)
Déduction (logique)
Systèmes experts (informatique)
Deduction
Traduction automatique
Théorèmes -- Démonstration automatique
Raisonnement spatial qualitatif
Méréologie
Géométrie
Structure et forme d'objets
Topologie
Modélisation tridimensionnelle
Axiomatique
Théorie de l'action
Représentation des connaissances
Circulation aérienne -- Contrôle