Treatment in progress...
Close notification

Did you know that ?

SIDE has worked with its suppliers to make our parcels environmentally friendly.
No more plastics !
The tape that keep our parcels tightly shut and the wedging material that immobilizes books within the cartons are now made of fully recyclable and biodegradable materials.

Display notification
FR EN
Back
or use our advanced search function
Your cart is empty.
Picture of I3 INFORMATION INTERACTION INTELLIGENCE/UNE REVUE EN SCIENCES DU TRAITMENT DE L'INFORMATION

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
26.00 €
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
Detailed information
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
Summary
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