Examens corriges

Answer Set Programming

Le solveur propose d'utiliser les magic sets lorsqu'il détecte que le pro- gramme est super-consistant et une interrogation sans optimisation lorsque le pro- ...





Télécharger