Conférences avec actes :

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]  page 1 / 3

[1] L. Paris, “Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée”, in: Acte du 9ème congrès de la société Française de Recherche Opérationnelle de d'Aide à la Décision (ROADEF'08), pp. 355-356, Clermont-Ferrand, France, 25-27 Février 2008.[bib]

[2] D. Boughaci, B. Benhamou, Drias Habiba., “Une recherche locale stochastique pour le problème de la détermination du gagnant dans les enchères combinatoires”, in: JFPC 2008, 2008.[bib]

[3] B. Benhamou, Mohamed Réda Saidi, “Une nouvelle méthode basée sur la dominance et la coloration pour le test d'inconsistance de CSPs”, in: JFPC'08, 2008.[bib]

[4] D. Boughaci, B. Benhamou, Habiba Drias, “Stochastic Local Search for the Optimal Winner Determination Problem”, in: Méta 2008, 2008.[bib]

[5] P. Jégou, S. N. Ndiaye, C. Terrioux, “Complexité de Forward Checking et Hiérarchie des Décompositions de CSP Revisitées”, in: Actes des quatrièmes Journées Francophones de Programmation par Contraintes (JFPC’2008), pp. 153-163, 2008.[bib]

[6] P. Jégou, S. N. Ndiaye, C. Terrioux, “Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems”, in: Proceedings of the 4th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2008), AAAI 2008, pp. 61-66, 2008.[bib]

[7] O. Doukari, R. Jeansoulin, E. Würbel, “Revision of Spatial Information by Containment”, in: Tenth Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, Vietnam, 15-19 December, Lecture Notes in Artificial Intelligence (LNAI), Springer Verlag, décembre 2008. à paraître.[bib]

[8] Laura Giordano, Valentina Gliozzi, N. Olivetti, Gian Luca Pozzato, “Reasoning about Typicality in Preferential Description Logics”, in: Proc of JELIA'08, 11th European Conference on Logics in Artificial Intelligence, LNAI, vol. 5293, pp. 192-205, Springer, 2008.[bib]

[9] S. N. Ndiaye, P. Jégou, C. Terrioux, “Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems”, in: Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), vol. 1, pp. 299-306, novembre 2008.[bib]

[10] P. Jégou, S. N. Ndiaye, C. Terrioux, “A New Evaluation of Forward Checking and its Consequences on Efficiency of Tools for Decomposition of CSPs”, in: Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), pp. 486-490, novembre 2008.[bib]

[11] C. Pinto, C. Terrioux, “A New Method for Computing Suitable Tree-decompositions with Respect to Structured CSP Solving”, in: Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), pp. 491-495, novembre 2008.[bib]

[12] R. Ostrowski, L. Paris, “From XSAT To SAT By Exhibiting Equivalencies”, in: Proceedings of the 20th International Conference on Tools with Artificial Intelligence (ICTAI'08), vol. 1, pp. 84-91, IEEE Computer Society, Dayton, Ohio, USA, novembre 3-5 2008.[bib]

[13] D. Habet, “Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT”, in: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), vol. 1, pp. 255-262, IEEE Computer Society, Dayton, Ohio, USA, Novembre 2008.[bib]

[14] D. Habet, “Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT”, in: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), vol. 1, pp. 255-262, IEEE Computer Society, Dayton, Ohio, USA, Novembre 2008.[bib]

[15] O. Doukari, “Contrepartie sémantique de la révision locale de croyances par le modèle C-structure”, in: Journées Nationales de l’Intelligence Artificielle Fondamentale (JIAF 2008), 21-23 Octobre, Université Paris Dauphine, octobre 2008. à paraître.[bib]

[16] O. Doukari, R. Jeansoulin, E. Würbel, “A New Framework for Local Belief Revision”, in: 7th Mexican International Conference on Artificial Intelligence (MICAI 2008), October 27-31, Lecture Notes in Computer Science, Springer Verlag, Mexico City, Mexico, octobre 2008. à paraître.[bib]

[17] J. Hué, O. Papini, E. Würbel, “Fusion par R-ensembles : une méthode complète de fusion”, in: actes des Journées d'Intelligence Artificielle Fondamentale (IAF08), octobre 2008.[bib]

[18] S. Yahi, S. Benferhat, S. Lagrue, M. Serayet, O. Papini, “Une inférence lexicographique à partir de bases de croyances partiellement pré-ordonnées”, in: actes des Journées d'Intelligence Artificielle Fondamentale (IAF08), Paris, octobre 2008.[bib]

[19] D. Boughaci, B. Benhamou, Habiba Drias, “Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions”, in: CP 2008, septembre 2008. à paraître.[bib]

[20] B. Benhamou, P. Siegel, “Symmetry and Non-monotonic Inference”, in: Symcon'08, septembre 2008. à paraître.[bib]

[21] Aurélie Favier, P. Jégou, “Exact and Approximate Methods for Counting Solutions in CSPs”, in: International Workshop on Counting Problems in CSP and SAT, and other neighbouring problems, Counting'08, 14th International Conference on Principles and Practice of Constraint Programming, CP'08, pp. 15, Sydney, Australie, septembre 2008.[bib]

[22] O. Doukari, R. Jeansoulin, Samir Chopra, E. Würbel, “Semantics for Local Belief Revision”, in: Fourth International Workshop on Soft Methods in Probability and Statistics (SMPS 2008), Toulouse, France, September 8-10, septembre 2008. à paraître.[bib]

[23] Safa Yahi, Salem Benferhat, Sylvain Lagrue, M. Sérayet, O. Papini, “A lexicographic inference for partially preordered belief bases”, in: Proceedings of Eleventh International Conference on Principles of Knowledge Representation and Reasoning, Gerhard BREWKA and Jérôme LANG, ISBN 978-1-57735-384-3, pp. 507-516, september 2008.[bib]

[24] Salem Benferhat, Jean-François Bonnefon, Philippe Chassy, Rui Da Silva Neves, Didier Dubois, Florence Dupin De Saint-Cyr, Daniel Kayser, F. Nouioua, Sara Nouioua-Boutouhami, Henri Prade, Salma Smaoui, “A Comparative Study of Six Formal Models of Causal Ascription”, in: Second International Conference on Scalable Uncertainty Management (SUM 2008), Thomas Lukasiewicz, LNAI, pp. 47-62, Naples - Italy, September 2008.[bib]

[25] F. Dupin De Saint-Cyr, O. Papini, H. Prade, “A preliminary survey of logic-based formalisms for spatial information”, in: proceedings of the Workshop on Soft Methods for Statistical and Fuzzy Spatial Information Processing (FIS'08), R. Jeansoulin, O. Papini, H. Prade, Technical report IRIT. univ. P. Sabatier. Toulouse, september 2008.[bib]

[26] F. Dupin De Saint-Cyr, O. Papini, H. Prade, “A preliminary survey of logic-based formalisms for spatial information”, in: proceedings of the Workshop on Soft Methods for Statistical and Fuzzy Spatial Information Processing (FIS'08), R. Jeansoulin, O. Papini, H. Prade, Technical report IRIT. univ. P. Sabatier. Toulouse, september 2008.[bib]

[27] B. Benhamou, M. R. Saïdi, “A new incomplete method for CSP inconsistency checking”, in: Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), AAAI Press, Chicago, Illinois, USA, juillet 2008. à paraître.[bib]

[28] O. Doukari, “Semantics for Containment Belief Revision in the Case of Consistent Complete Theories”, in: 4th European Starting AI Researcher Symposium STAIRS 2008, jointly with ECAI-08 in Patras, Greece, July 21st to 25th., IOS Press, juillet 2008. à paraître.[bib]

[29] F. Nouioua, Philippe Dague, “A Probabilistic Analysis of Diagnosability in Discrete Event Systems”, in: 18th European Conference on Artificial Intelligence (ECAI'08), Malik Ghallab, vol. 178, pp. 224-228, IOS Press, Patras, Greece, July 2008.[bib]

[30] J. Hué, O. Papini, E. Würbel, “Removed Sets Fusion: Performing off the shelf”, in: Frontiers in Artificial Intelligence and Applications, proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), by Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, vol. 178, july 2008.[bib]

[31] R. Ostrowski, L. Paris, “Des chaînes d'équivalences dans un codage CNF du problème XSAT”, in: Actes des quatrièmes Journées Francophones de Programmation par Contraintes (JFPC’2008), Nantes, France, juin 2008.[bib]

[32] O. Doukari, “Une hypothèse pour la contraction et la révision locales de croyances”, in: Actes des 5 èmes Journées des Doctorants du LSIS (JDL6 2008), Marseille, France, juin 2008. à paraître.[bib]

[33] O. Doukari, R. Jeansoulin, E. Würbel, “Révision spatiale des conflits pour l'information géographique”, in: 5 ème Colloque sur l’Optimisation et les Systèmes d’Information COSI’2008, Tizi Ouzou, Algérie, juin 2008. à paraître.[bib]

[34] F. Nouioua, “A Heuristic Approach to Order Events in Narrative Texts”, in: Fifteenth International Symposium on Temporal Representation and Reasoning (TIME-2008), Montreal, Canada, June 2008.[bib]

[35] D. Boughaci, B. Benhamou, H. Drias, “Approches évolutionnaires pour le problème MAX-SAT”, in: 2008, 7 ème Conféerence Francophone de MOdélisation et SIMulation, - MOSIM'08 - du 31 mars au 2 avril 2008, mars 2008. à paraître.[bib]

[36] D. Boughaci, “Software Agents and ebXML Specifications for a Business Web Service”, in: European Symposium on Innovative Management Practices, www.erima.estia.fr/presentations/Boughaci.pdf, 15-16th March 2007. Biarritz, FRANCE..[bib]

[37] D. Boughaci, B. Benhamou, H. Drias, “IGA: an Improved Genetic Algorithm for MAX-SAT Problems”, in: Indian International Conference on Artificial Intelligence (IICAI)-07, décembre 2007. à paraître.[bib]

[38] B. Benhamou, M. R. Saïdi, “Detecting and Eliminating Local Symmetry During Search in CSPs”, in: 3rd Indian International Conference on Artificial Intelligence (IICAI-07), Bhanu Prasad, n° ISBN 978-0-9727412-2-4, pp. 151-166, Pune, India, décembre 2007.[bib]

[39] L. Giordano, V.Gliozzi, N. Olivetti, G. L. Pozzato, “An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning : The Theorem Prover FreeP 1.0”, in: Proc of Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007), LNAI, n° 4733, pp. 84-96, Springer, 2007.[bib]

[40] Laura Giordano, Valentina Gliozzi, N. Olivetti, Gian Luca Pozzato, “Preferential Description Logics”, in: Proc of Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, LNCS, n° 4790, pp. 257-272, Springer, 2007.[bib]

[41] Mahat Kelfallah, Belaid Benhamou, “A local search-based method for restoring disjunctive temporal problem consistency”, in: IICAI'07, 2007.[bib]

[42] L. Paris, R. Ostrowski, P. Siegel, Lakhdar Sa"Is, “From Horn Strong Backdoor Sets to Ordered Strong BAckdoor Sets”, in: Proceedings of the 6th Mexican International Conference on Artificial Intelligence (MICAI'07), A. Gelbukh and A.F. Kuri Morales, LNAI, vol. 4827, pp. 105-117, Springer-Verlag, Aguascalientes, Mexico, novembre 2007.[bib]

[43] D. Habet, L. Paris, Belaid Benhamou, “Consistent Neighborhood for the Satisfiability Problem”, in: Proceedings of the 19th International Conference on Tools with Artificial Intelligence (ICTAI'07), pp. 497-501, IEEE, Patras, Greece, novembre 2007.[bib]

[44] O. Doukari, E. Würbel, R. Jeansoulin, “Un nouveau cadre pour la révision locale de croyances”, in: MajecSTIC, Caen, 29-31 octobre 2007.[bib]

[45] Julien Hue, O. Papini, E. Würbel, “Syntactic propositional belief bases fusion with removed sets”, in: ECSQARU'07, octobre 2007. à paraître.[bib]

[46] O. Doukari, E. Würbel, R. Jeansoulin, “A New Model for Belief Representation and Belief Revision Based on Inconsistencies Locality”, in: 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), vol. 2, pp. 262-269, IEEE Computer Society, Patras, Greece, October 29-31, 2007 2007.[bib]

[47] P. Jégou, S. N. Ndiaye, C. Terrioux, “Dynamic Management of Heuristics for Solving Structured CSPs”, in: Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), Springer, LNCS, pp. 364-378, Providence, USA, septembre 2007.[bib]

[48] B. Benhamou, M. R. Saïdi, “Local Symmetry Breaking During Search in CSPs”, in: The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), Springer, LNCS, vol. 4741, pp. 195-209, Providence, USA, septembre 2007.[bib]

[49] B. Benhamou, M. R. Saïdi, “Dynamic Detection and Elimination of Local Symmetry in CSPs”, in: The CP 2007 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07), B. Benhamou, B.Y. Choueiry, and B. Hnich (Eds.), pp. 22-29, Providence, USA, septembre 2007.[bib]

[50] Stéphane Zampelli, Yves Deville, M. R. Saïdi, B. Benhamou, “Symmetry Breaking in Subgraph Isomorphism”, in: The CP 2007 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07), Providence, USA, septembre 2007. à paraître.[bib]

[51] R. Jeansoulin, O. Papini, “Underwater archaeological knowledge analysis and representation in the VENUS project: a preliminary draft”, in: XXI international CIPA Symposium, A. Georgopoulos, ICOMOS/ISPRS Committee for Documentation of Cultural Heritage, The international archives of photogrammetry, remote sensing and spatial information sciences, vol. XXXVI-5/C53, pp. 394-399, september 2007.[bib]

[52] O. Doukari, R. Jeansoulin, E. Würbel, “Révision de l'information spatiale par confinement : heuristiques pour hitting-sets”, in: 8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle, CEPADUES-EDITIONS, pp. 67-82, Grenoble, 4-6 juillet 2007.[bib]

[53] S. Grandcolas, C. Pain-Barre, “Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning”, in: Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, British Columbia, Canada, juillet 2007. à paraître.[bib]

[54] L. Paris, R. Ostrowski, “De la sous-formule polynomiale maximale aux ensembles strong backdoors”, in: Actes des 8e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'07), Bruno Zanuttini, pp. 163-178, Grenoble, France, juillet 2007.[bib]

[55] D. Boughaci, B. Benhamou, H. Drias, “Une recherche dispersée pour le problème MAX-SAT”, in: 8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle RJCIA 2007, juillet 2007. à paraître.[bib]

[56] L. Paris, R. Ostrowski, P. Siegel, “Des ensembles Horn strong backdoor aux ensembles ordonné strong backdoor”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 48-57, Rocquencourt, France, juin 2007.[bib]

[57] L. Paris, D. Habet, B. Benhamou, “Voisinage consistant pour le problème de satisfaisabilité”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 58-66, Rocquencourt, France, juin 2007.[bib]

[58] P. Jégou, S. N. Ndiaye, C. Terrioux, “Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 275-284, juin 2007.[bib]

[59] S. N. Ndiaye, C. Terrioux, “Un schéma générique d'algorithmes énumératifs avec (no)good recording pour la résolution bornée de CSP”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 213-222, juin 2007.[bib]

[60] B. Benhamou, M. R. Saïdi, “Elimination des symétries locales durant la résolution des CSPs”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 245-254, Rocquencourt, France, juin 2007.[bib]

[61] D. Boughaci, B. Benhamou, H. Drias,, “Solving MAX-SAT Problems using a Scatter Search Metaheuristic”, in: Colloque sur l'Optimisation et les Systèmes d'Information COSI'07, 11-13 juin 2007 - Oran Algérie, juin 2007. à paraître.[bib]

[62] D. Boughaci, “Une approche évolutionnaire pour le problème MAX-SAT”, in: JDL6'07, juin 2007. à paraître.[bib]

[63] S. N. Ndiaye, C. Terrioux, “A generic bounded backtracking framework for solving CSPs”, in: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP) 2007, pp. 107-121, Juin 2007.[bib]

[64] M. Estratat, L. Henocque, “Les Grammaires de Configuration : un cadre grammatical moderne”, in: Troisièmes Journées Francophones de Programmation par Contraintes - JFPC'07, pp. 111-120, Juin 2007.[bib]

[65] Julien Hue, O. Papini, E. Würbel, “Fusion de bases propositionnelles : une approche basée sur les R-ensembles”, in: Annales du LAMSADE, n° 8, pp. 175-187, Juin 2007.[bib]

[66] O. Doukari, R. Jeansoulin, “Space-contained conflict revision, for geographic information”, in: 10th AGILE Conference, Association of Geographic Information Laboratories in Europe, CoRR, pp. 335-347, Aalborg, Denmark, 8-11 May 2007.[bib]

[67] D. Habet, Michel Vasquez, “Improving Local Search for Satisfiability Problem by Integrating Structural Properties”, in: The 5th International Conference on Research, Innovation and Vision for the Future (RIVF'07), pp. 50-57, Hanoi, Vietnam, Mars 2007.[bib]

[68] D. Boughaci, Habiba Drias, Belaid Benhamou, “An ebXML-based Multiagent System for B2B eCommerce”, in: the E-Commerce Technologies Track of the 22nd ACM Symposium on Applied Computing, pp. 659- 663, ACM Press, Seoul, Korea,, 11- 15 mars 2007.[bib]

[69] J.-P. Poli, Jean Carrive, “Modeling Television Schedules for Television Stream Structuring”, in: Proceedings of ACM International MultiMedia Modeling Conference, janvier 2007. à paraître.[bib]

[70] B. Benhamou, M. R. Saïdi, “Eliminating Local Symmetry in CSPs”, in: The International Symmetry Conference (ISC 2007), Edinburgh, SCOTLAND, janvier 2007.[bib]

[71] Stéphane Zampelli, Yves Deville, M. R. Saïdi, B. Benhamou, Pierre Dupont, “Breaking Local Symmetries in Subgraph Pattern Matching”, in: The International Symmetry Conference (ISC 2007), Edinburgh, SCOTLAND, janvier 2007.[bib]

[72] P. Jégou, S. N. Ndiaye, C. Terrioux, “Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs”, in: International Joint Conference on Artificial Intelligence - IJCAI'07, pp. 112-117, Hyderabad, Inde, janvier 2007.[bib]

[73] S. Grandcolas, C. Pain-Barre, “FDP : filtrage et décomposition pour le calcul de plan séquentiels optimaux”, in: Actes deuxièmes journées francophones de programmation par contraintes (JFPC'2006), Nimes, France, pp. 191-200, 2006.[bib]

[74] F. Verroust, N. Prcovic, “Solving Partially Symmetrical CSPs”, in: The Sixth International Workshop on Symmetry in Constraint Satisfaction Problems, 2006.[bib]

[75] F. Verroust, N. Prcovic, “Solving symmetrical CSPs with an asymmetrical cost function”, in: The 18th IEEE International Conference on Tools with Artificial Intelligence, 2006.[bib]

[76] D. Boughaci, Habiba Drias, Belaid Benhamou, “Approches Métaheuristiques pour les problèmes max-SAT difficiles”, in: 7ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision "Roadef06", 6, 7, 8 Février 2006. à LILLE.[bib]

[77] D. Boughaci, Belaid Benhamou, Habiba Drias, “A Specific Genetic Algorithm for MAX-SAT problems”, in: META'06 workshop and school on Metaheuristics, 2-3-4 Novembre 2006. Hamammat, Tunisie.[bib]

[78] L. Henocque, M. Kleiner, “Language de Requête Configurable pour la Composition de Services Web Semantiques - article jeune chercheur”, in: proceedings des Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06) (2006), pp. 369-378, 2006.[bib]

[79] L.Giordano, V.Gliozzi, N. Olivetti, G.L.Pozzato, “Automaed deduction for logics of default reasoning”, in: Proceedings of ECAI 2006, ECCAI, pp. 757-758, IOS Press, Riva del Garda, Italie, 2006.[bib]

[80] J.-P. Poli, Jean Carrive, “Television Stream Structuring with Program Guides”, in: Proceedings of IEEE Symposium on Multimedia, décembre 2006. à paraître.[bib]

[81] G. Aubry, V. Risch, “Managing Deceitful Arguments with X-Logics”, in: The 18th IEEE International Conference on Tools with Artificial Intelligence, pp. 216-219, IEEE Computer Society, USA, Washington D.C., novembre 2006.[bib]

[82] K. Boutaleb, P. Jégou, C. Terrioux, “(No)good Recording and ROBDDs for Solving Structured (V)CSPs”, in: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2006), pp. 297-304, novembre 2006.[bib]

[83] L. Paris, R. Ostrowski, Lakhdar Saïs, P. Siegel, “Computing Horn Strong Backdoor Sets Thanks to Local Search”, in: Proceedings of the 18th International Conference on Tools with Artificial Intelligence (ICTAI'06), pp. 139-143, IEEE Computer Society, Washington D.C., United States, november, 13-15 2006.[bib]

[84] L. Paris, “Calcul et exploitation d’ensembles Horn strong backdoor”, in: Actes de la 4ème Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajecStic'06), pp. 8, Lorient, France, november 22-24 2006.[bib]

[85] S. N. Ndiaye, “Un cadre générique avec exploitation de (no)goods pour la résolution énumérative bornée de CSP”, in: Actes de la 4ème Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, novembre 2006.[bib]

[86] J.-P. Poli, Jean Carrive, “Improving Program Guides for Reducing TV Stream Structuring Problem to a Simple Alignment Problem”, in: Proceedings of the International Conference on Computational Intelligence for Modelling 2006, novembre 2006. à paraître.[bib]

[87] J.-P. Poli, Jean Carrive, “Prédiction de séries temporelles : application à la structuration de flux audiovisuels”, in: Actes des journées de COmpression et REprésentation des Signaux Audiovisuels, novembre 2006. à paraître.[bib]

[88] S. N. Ndiaye, “Calcul et exploitation de décompositions arborescentes pour la résolution de CSP”, in: 8èmes Journées Graphes et Algorithmes, pp. 127-134, Novembre 2006.[bib]

[89] P. Jégou, S. N. Ndiaye, C. Terrioux, “An extension of complexity bounds and dynamic heuristics for tree-decompositions of CSP”, in: Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP-2006), Springer, LNCS, pp. 741-745, septembre 2006.[bib]

[90] L. Paris, B. Benhamou, P. Siegel, “A Boolean encoding including SAT and n-ary CSPs”, in: Proceedings of The Twelfth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Springer, LNAI, n° 4183, pp. 33-44, Varna, Bulgaria, Septembre 2006.[bib]

[91] B. Benhamou, M. R. Saïdi, “Reasoning by dominance in Not-Equals binary constraint networks”, in: Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP 2006 ), Springer, LNCS, vol. 4204, pp. 670-674, Cité des Congrès - Nantes, France, septembre 2006.[bib]

[92] Gian Luca Pozzato, Laura Giordano, Valentina Gliozzi, N. Olivetti, “Analytic Tableau Calculi for KLM Rational Logic R”, in: Proc. of the 10th European Conference on Logics in Artificial Intelligence (JELIA06), LNCS, Springer-Verlag, septembre 2006. à paraître.[bib]

[93] P. Jégou, S. N. Ndiaye, C. Terrioux, “Dynamic heuristics for branch and bound search on tree-decomposition of Weighted CSPs”, in: Proceedings of the Eighth International Workshop on Preferences and Soft Constraints (Soft-2006), pp. 63-77, septembre 2006.[bib]

[94] B. Benhamou, L. Paris, P. Siegel, “Dealing with SAT and CSPs in a single framework”, in: Proceedings of the The CP 2006 Workshop on the Integration of SAT and CP techniques, pp. 65-79, Nantes, France, September 25 2006.[bib]

[95] B. Benhamou, M. R. Saïdi, “Reasoning by dominance in Not-Equals binary constraint networks”, in: The CP 2006 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'06), pp. 9-16, Cité des Congrès - Nantes, France, septembre 2006.[bib]

[96] P. Jégou, S. N. Ndiaye, C. Terrioux, “Strategies and Heuristics for Exploiting Tree-decompositions of Constraint Networks”, in: Inference methods based on graphical structures of knowledge (WIGSK'06), ECAI workshop,, pp. 13-18, Riva del Garda, Italy, août 2006.[bib]

[97] K. Boutaleb, P. Jégou, C. Terrioux, “Storing learnt (no)goods in ROBDDs for solving structured CSPs”, in: Workshop on Learning for Search, AAAI 2006, pp. 65-71, Boston, USA, juillet 2006.[bib]

[98] K. Boutaleb, P. Jégou, C. Terrioux, “Optimizing the space to extend the tractability of (valued) structured CSP”, in: Annual Workshop of ERCIM on Constraint Solving and Constraint Logic Programming (CSCLP'06), pp. 85-99, Lisbonne, Portugal, juin 2006.[bib]

[99] P. Jégou, S. N. Ndiaye, C. Terrioux, “Heuristiques pour la recherche énumérative bornée : Vers une libération de l'ordre”, in: Actes des deuxièmes Journées Francophones de Programmation par Contraintes (JFPC’2006), pp. 219-228, juin 2006.[bib]

[100] S. Grandcolas, C. Pain-Barre, “A Filtering and Decomposition Approach To Optimal Sequential Planning”, in: Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, ICAPS-2006, pp. 15-22, The English Lake District, Cumbria, UK, June, 2006.[bib]

page 1 / 3