Le moteur de recherche
des thèses françaises
Guillaume Feuillade
IdRefMots clés
FR |
EN
Logique modale
Intelligence artificielle répartie
Composition de services
Multi-agent
Contrôle
Modalité (logique)
Confiance computationnelle
Règles de production
Raisonnement causal
Systèmes informatiques
Confiance
Réseaux de Petri
Algorithmes
Machines de Turing
Logique mathématique
Contraintes d'intégrité active
Logique dynamique
Logique de description
Gestion de l'inconsistance
Réparation de bases de données