Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore, B. Duval, L. Garcia, C. Lefèvre, I. Stéphan - pp.11-38Étude comparative des relations d'inférence à partir de bases de croyances partiellement préordonnées, S. Benferhat, S. Yahi - pp.39-61Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses, D. Dubois, H. Prade, S. Schockaert - pp.63-83La logique modale des modèles d'équilibre, L. Farinas del Cerro, A. Herzig - pp.85-102Symétries et QBF, S. Jabbour, L. Sais - pp.103-125Changement de croyances et ASP, O. Papini, E. Würbel - pp.127-162Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées, I. Stéphan - pp.163-196
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Les meilleurs albums, romans, documentaires, BD à offrir aux petits et aux plus grands
Il n'est pas trop tard pour les découvrir... ou les offrir !
Bird découvre que sa mère n'est autre que la poétesse dissidente Margaret Miu...
Inspirée d’une histoire vraie, cette BD apporte des conseils et des solutions pour sortir de l'isolement
