Journées Nationales sur les Modèles de Raisonnement
3 et 4 mai 2001
Arras

Intégralité des actes :

jnmr01.ps.tar.gz (1.7M)

jnmr01.zip (1.7M)

Table des matières : table-des-matieres.ps

Exposé invité

Sessions pleinières

Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles Philippe Balbiani, Jean-François Condotta	9
Le backtracking dans les réseaux de contraintes distribuées Mustapha Belaissaoui, El Houssine Bouyakhf	23
Inférence paraconsistance sous ressources limitées Pierre Marquis, Nadège Porquet	35
Diagnostic à base de réseaux bayésiens hiérarchiques Veronique Delcroix, Sylvain Piechowiak, Joaquin Rodriguez	51
Contrôle du raisonnement progressif pour des plans d'actions non linéaires Stéphane Cardon, Abdel-Illah Mouaddib	67
Un algorithme pour la phase d'adaptation du raisonnement à partir de cas Béatrice Fuchs, Jean Lieber, Alain Mille, Amedeo Napoli	79
Modification possibiliste de connaissances et de préférences Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade	93
Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes Contrary-To-Duties Laurence Cholvy, Christophe Garion	109
Raisonnement plausible à partir d'observations spatiales Jérôme Lang, Philippe Muller	125
Décrire les révisions Laurent Perrussel	139
In findings models in Logic Programming Sara Bouamama, Driss Misane	151

Posters

Utilisation de bases de données dans le cadre de traitement de texte en langage naturel Vincent Maya	163
Etude d'un modèle de requêtes sur le fonctionnement de composants actifs Nicolas Sabouret, Jean-Paul Sansonnet	173
Un modèle formel des P-types : Application à l'organisation des données Mathieu Roger	187
Utilisation du raisonnement causal probabiliste en conception déclarative de scènes 3D Lozka Popova	199

Nous tenons à remercier Olivier Roussel pour son aide lors de l'édition des actes.

Sebastien Konieczny 2001-04-19