Michel Leclère
Mots clés
FR |
EN
Bases de connaissances
Algorithmes
Systèmes experts (informatique)
Intelligence artificielle
Règles existentielles
Bases de données
Déduction
Négation
Expérimentations
Théorèmes -- Démonstration automatique
Représentation des connaissances
Langages de programmation -- Sémantique
Représentation connaissances et raisonnements
Interrogation
Datalog (langage de programmation)
Bases de données -- Interrogation
Logique
Logique du premier ordre
Ontologies (informatique)
Acquisition des connaissances (systèmes experts)