ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

couverture du numéro

RAISONNEMENT NON MONOTONE, QBF ET PROGRAMMATION PAR ENSEMBLES RÉPONSES
Hommage à Pascal Nicolas
sous la direction de
JÉRÔME LANG, PIERRE MARQUIS

 LISTE DES ARTICLES POUR LE VOL 26/1-2 - 2012
SOMMAIRE  [GRATUIT]
- pp.5-6
PRÉFACE  [GRATUIT]
Torsten SCHAUB - pp.7-7
INTRODUCTION  [GRATUIT]
Jérôme LANG, Pierre MARQUIS - pp.9-10
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore
Béatrice DUVAL, Laurent GARCIA, Claire LEFÈVRE, Igor STÉPHAN - pp.11-38
Étude comparative des relations d’inférence à partir de bases de croyances partiellement préordonnées
Salem BENFERHAT, Safa YAHI - pp.39-61
Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses
Didier DUBOIS, Henri PRADE, Steven SCHOCKAERT - pp.63-83
La logique modale des modèles d’équilibre
Luis FARIÑAS DEL CERRO, Andreas HERZIG - pp.85-102
Symétries et QBF
Saïd JABBOUR, Lakhdar SAÏS - pp.103-125
Changement de croyances et ASP
Odile PAPINI, Eric WÜRBEL - pp.127-162
Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées
Igor STÉPHAN - pp.163-196
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier