Serenella Cerrito
IdRefMots clés
FR |
EN
Logique informatique
Logique temporelle
Modélisation
Preuve
Logiques de ressources
Logiques de séparation
Logiques temporelles
Logiques épistémiques
Logiques hybrides
Calcul des tableaux
Labels
Extraction de contre-modèles
Méthodes formelles (informatique)
Formalisme (mathématiques)
Calcul des prédicats
Bases de données orientées objet
Contraintes (intelligence artificielle)
Tableaux
Intelligence artificielle répartie
Systèmes ouverts (informatique)