Meghyn Bienvenu
Mots clés
FR |
EN
Ontologies (informatique)
Logiques de description
Logique
Bases de données -- Interrogation
Intelligence artificielle
Web sémantique
Bases de données sur le Web
Logique informatique
Ontologies
Raisonnement
Représentation des connaissances
Modal logic
Automated reasoning
Consequence finding
Knowledge compilation
Modalité (logique)
Implication (logique)
Automates et transducteurs
Algebra
Base de données