Khadija Jradeh

Algorithmes de tableau optimisés pour le raisonnement dans la logique de description ALC étendue avec des clés de liage