Igor Stephan
IdRefMots clés
FR |
EN
Interrogation
Answer Set Programming (informatique)
Intelligence artificielle
Représentation connaissances et raisonnements
Bases de connaissances
Systèmes experts (informatique)
Datalog (langage de programmation)
Bases de données -- Interrogation
Règles existentielles
Ontologies (informatique)
Décidabilité (logique mathématique)
Inconsistance (logique)
Langages d'interrogation
Approche guidée par les règles
Justifications
Backjumping
Logique du premier ordre
Solveurs (logiciels)