Traitement en cours...

I3 INFORMATION INTERACTION INTELLIGENCE/UNE REVUE EN SCIENCES DU TRAITMENT DE L'INFORMATION

COLLECTIF
Date de parution 18/05/2010
EAN: 9782854288803
Disponibilité Epuisé
Volume 9, n°2, 2009Contents / SommaireEditorialLaurence Cholvy et Sébastien Konieczny ....................................... 7Une nouvelle stratégie de mise sous forme prénexe pour des formulas booléennes quantifiées avec bi-implicationsBenoit Da M... Voir la description complète
Nom d'attributValeur d'attribut
Common books attribute
ÉditeurCEPADUES
Nombre de pages-
Langue du livreFrançais
AuteurCOLLECTIF
FormatPaperback / softback
Type de produitLivre
Date de parution18/05/2010
Poids220 g
Dimensions (épaisseur x largeur x hauteur)1,00 x 14,50 x 20,50 cm
Volume 9, n°2, 2009Contents / SommaireEditorialLaurence Cholvy et Sébastien Konieczny ....................................... 7Une nouvelle stratégie de mise sous forme prénexe pour des formulas booléennes quantifiées avec bi-implicationsBenoit Da Mota, Igor Stéphan, Pascal Nicolas ............................... 9Pondérations, collisions et préservation de la majorité en logique des pénalitésNathalie Chetcuti-Sperandio, Sylvain Lagrue ................................. .............................31Sémantique de la révision locale de croyances par le modèle C-structure Omar Doukari, Robert Jeansoulin, Eric Würbel 51A definition of agent-oriented relevance in modal logicStéphanie Roussel, Laurence Cholvy ............................................ 89Traiter automatiquement les exceptions en introduisant la spécificité en ASPLaurent Garcia, Pascal Nicolas, Stéphane Ngoma ..................... ............................... 117Fusion par R-ensembles : une méthode complète de fusionJulien Hué, Odile Papini, Eric Würbel ........... 139