Des romans, livres de recettes et BD pour se régaler en famille !
Volume 9, n°2, 2009
Contents / Sommaire
Editorial
Laurence Cholvy et Sébastien Konieczny ....................................... 7
Une nouvelle stratégie de mise sous forme prénexe pour des formulas booléennes quantifiées avec bi-implications
Benoit Da Mota, Igor Stéphan, Pascal Nicolas ............................... 9
Pondérations, collisions et préservation de la majorité en logique des pénalités
Nathalie Chetcuti-Sperandio, Sylvain Lagrue ..............................................................31
Sémantique de la révision locale de croyances par le modèle C-structure Omar Doukari, Robert Jeansoulin, Eric Würbel 51
A definition of agent-oriented relevance in modal logic
Stéphanie Roussel, Laurence Cholvy ............................................ 89
Traiter automatiquement les exceptions en introduisant la spécificité en ASP
Laurent Garcia, Pascal Nicolas, Stéphane Ngoma .................................................... 117
Fusion par R-ensembles : une méthode complète de fusion
Julien Hué, Odile Papini, Eric Würbel ........... 139
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Dernière réaction par Yannis Fardeau il y a 2 jours
Dernière réaction par RC de la Cluzze il y a 3 jours
Des romans, livres de recettes et BD pour se régaler en famille !
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...