Raisonnement non monotone, qbf et programmation par ensembles reponses (revue d'intelligence artific

• Date de parution : 23/03/2012
• Editeur : Hermes Science Publications
• EAN : 9782746239418
• Série : (-)
• Support : Papier

• Nombre de pages : (-)
• Collection : (-)
• Genre : Sciences appliquées
• Thème : Sciences appliquées
• Prix littéraire(s) : (-)

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.... Voir plus

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