Le moteur de recherche
des thèses françaises
Olivier Gasquet
IdRefMots clés
FR |
EN
Modalité (logique)
Logique modale
Déduction (logique)
Traduction automatique
Intelligence artificielle
Représentation des connaissances
Problème de satisfiabilité
Personnages de jeux vidéo
Construction de modèles
Méthode de tableaux
Satisfiabilité
Réécriture de graphes
Théorie des graphes
Systèmes de réécriture (informatique)
Contraintes d'intégrité active
Logique dynamique
Logique de description
Gestion de l'inconsistance
Réparation de bases de données
Logiciels -- Vérification