Treatment in progress...
Close notification

We are back !

Welcome on your new side.fr !

Display notification

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

COLLECTIF
Publication date 18/05/2010
EAN: 9782854288803
Availability Out of Print
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... See full description
Attribute nameAttribute value
Common books attribute
PublisherCEPADUES
Page Count-
Languagefr
AuthorCOLLECTIF
FormatPaperback / softback
Product typeBook
Publication date18/05/2010
Weight220 g
Dimensions (thickness x width x height)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