Articles (revue) :

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

[1] Laura Giordano, Valentina Gliozzi, N. Olivetti, Gian Luca Pozzato, “Analytic Tableaux for KLM Preferential and Cumulative Logics”, in: ACM Transactions on Computational Logic (TOCL), janvier 2009. à paraître.[bib]

[2] L. Giordano, V. Gliozzi, N. Olivetti, C. Schwind, “Tableau calculus for preference-based conditional logics : PCL and its extensions”, in: ACM Transactions on Computational Logic (TOCL), janvier 2009. à paraître.[bib]

[3] N. Olivetti, G. L. Pozzato, “Theorem Proving for Conditional Logics: CondLean and GoalDUCK”, in: Journal of Applied Non-Classical Logics (JANCL), janvier 2009. à paraître.[bib]

[4] D. Boughaci, B. Benhamou, Habiba Drias, “A memetic algorithm for the optimal winner determination problem”, in: Soft Computing, octobre 2008. à paraître.[bib]

[5] D. Boughaci, B. Benhamou, H. Drias, “Genetic algorithms and scatter search for MAX-SAT problems”, in: Journal of Mathematical modelling and Algorithms (JMMA), vol. Springer, avril 2008. à paraître.[bib]

[6] Devillers R., Bédard Y., R. Jeansoulin, Moulin B., “Towards Spatial Data Quality Information Analysis Tools for Experts Assessing the Fitness for Use of Spatial Data”, in: International Journal of Geographical Information Science, vol. 21, n° 3, pp. 261-282, march 2007.[bib]

[7] D. Habet, Michel Vasquez, Yannick Vimont, “Bounding the Optimum for the Problem of Scheduling the Photographs of an Agile Earth Observing Satellite”, in: Journal of Computational Optimization and Applications, décembre 2006. à paraître.[bib]

[8] Barry Norton, Carlos Pedrinacci, L. Henocque, M. Kleiner, “3-level behavioural models for semantic web services”, in: Multi-Agent and Grid Systems, 2006.[bib]

[9] Mahat Kelfallah, B. Benhamou, “A minimal method for restoring temporal information consistency”, in: Journal of Research in Computing Seance, vol. 19, pp. 43-56, 2006.[bib]

[10] N. Olivetti, Gian Luca Pozzato, Camilla Schwind, “A Sequent Calculus and a Theorem Prover for Standard Conditional Logics”, in: ACM Transaction on Computational Logic (TOCL), septembre 2006. à paraître.[bib]

[11] Gilles Audemard, B. Benhamou, L. Henocque, “Predicting and detecting Symmetry in FOL Finite Model search”, in: Journal of Automated Reasoning, juillet 2006. à paraître.[bib]

[12] M. Gervais, Bédard, Y., R. Jeansoulin, Cervelle, B., “Gestion de l’incertitude dans les bases de données géographiques : développement du modèle du producteur raisonnable”, in: Revue Internationale de Géomatique, janvier 2006. à paraître.[bib]

[13] Devillers, R., Bédard, Y., R. Jeansoulin, “Multidimensional management of geospatial data quality information for its dynamic use within Geographical Information Systems”, in: Photogrammetric Engineering and Remote Sensing (PE&RS Journal), vol. 71, n° 2, pp. 205-215, 2005. ESRI/ASPRS Award for 2006 Best Scientific Paper in GIS (2nd place).[bib]

[14] D. Boughaci, Habiba Drias, “Taboo search as an intelligent agent for bid evaluation”, in: International Journal of Internet and Enterprise Management, vol. 3, n° 2, pp. 170-186,, 2005. Published by Inderscience Enterprises Ltd., Geneva, Switzerland.[bib]

[15] L. Giordano, V. Gliozzi, N. Olivetti, “Weak AGM postulates and strong Ramsey Test: A logical formalization”, in: Artificial Intelligence, vol. 168, n° 1-2, pp. 1-37, 2005.[bib]

[16] G. Metcalfe, N. Olivetti, D. M. Gabbay, “Sequent and hypersequent calculi for abelian and Lukasiewicz logics”, in: ACM Transaction on Computational Logic (TOCL), vol. 6, n° 3, pp. 578-613, 2005.[bib]

[17] G. Metcalfe, N. Olivetti, D. Gabbay, “Lukasiewicz Logic: From Proof Systems To Logic Programming”, in: Logic Jnl IGPL, vol. 13, n° 5, pp. 561-585, 2005.[bib]

[18] D. Boughaci, Habiba Drias, B. Benhamou, “Two Hybrid Tabu Scatter Search Meta-heuristic for Solving MAX-SAT Problems”, in: Alexander Gelbukh, Raul Monroy (Eds.), a special issue on Advances in Artificial Intelligence Theory, Journal of Research on Computing Sciences (RCS), ISSN 1665 - 9899, n° 16, pp. 45 - 54, 2005.[bib]

[19] Vlag, D.E. Van De, B. Vasseur, Stein, A., R. Jeansoulin, “An Application of Problem and Product Ontologies for the Revision of Beach Nourishments”, in: International Journal of Geographical Information Science, vol. 19, n° 10, pp. 1057-1072, November 2005.[bib]

[20] L. Henocque, “Modeling Object Oriented Constraint Programs in Z”, in: RACSAM (Revista de la Real Academia De Ciencias serie A Mathematicas), vol. special issue on Symbolic Computation in Logic and Artificial Intelligence, n° 98 (1-2), pp. 127-152, 2004.[bib]

[21] Stephane Grandcolas, L. Henocque, N. Prcovic, “Un test de canonicité pour éliminer des configurations redondantes”, in: Journal Electronique d'Intelligence Artificielle (JEDAI), vol. 2, n° 2, 2004.[bib]

[22] P. Jégou, C. Terrioux, “Recherche arborescente bornée pour la résolution de CSP valués”, in: Journal Electronique D'Intelligence Artificielle (JEDAI), vol. 3-28, 2004.[bib]

[23] B. Benhamou, “Satisfiability and matchings in bipartite graphs: relationship and tractability”, in: The journal of Spanish Royal Academy of sciences (RACSAM), a special issu on Symbolic Computation and Artificial Intelligence, vol. 98, n° (1-2), pp. 55 - 63, 2004.[bib]

[24] P. Basso, “Propositions pour une logique formelle de la subjectivité”, in: Automates Intelligents, n° 54, 2004. Revue électronique.[bib]

[25] S. Benferhat, S. Lagrue, O. Papini, “Belief change: a brief overview”, in: International Journal of Geographical Information Systems (IJGIS), vol. 18, n° 4, pp. 355-390, 2004.[bib]

[26] Michel Vasquez, Audrey Dupont, D. Habet, “Consistency Checking within Local Search Applied to the Frequency Assignment Problem with Polarization”, in: RAIRO Operations Research, vol. 37, pp. 311-323, 2004. EDP Sciences.[bib]

[27] D. Boughaci, Habiba Drias, “A Performance Comparison of Evolutionary Meta-heuristics and Solving MAX-SAT”, in: International Journal of Information Technology, vol. 1, n° 1, pp. 45-49., 2004. Published by World Enformatika Society -Istanbul, Turkey.[bib]

[28] Edwards, G., R. Jeansoulin, “Data Fusion, from a logic perspective with a view to implementation”, in: Int. J. Geographical Information Science, vol. 18, n° 4, pp. 303-307, June 2004. Guest Editorial.[bib]

[29] S. Benferhat, S. Lagrue, O. Papini, “Reasoning with partially ordered information in a possibilistic logic framework (extended and revised version)”, in: Fuzzy Sets and Systems, vol. 144, n° 1, pp. 25-41, mai 2004.[bib]

[30] Devillers R., Bédard Y., M. Gervais, “Indicateurs de qualité pour réduire les risques de mauvaise utilisation des données géospatiales”, in: Revue Internationale de Géomatique, vol. 14, n° 1, pp. 35-57, Avril 2004.[bib]

[31] P. Jégou, C. Terrioux, “Hybrid backtracking bounded by tree-decomposition of constraint networks”, in: Artificial Intelligence, vol. 146, pp. 43-75, 2003.[bib]

[32] R. Jeansoulin, Eric Wurbel, “An anytime revision operator for large spatial datasets”, in: Soft Computing, vol. 7, n° 6, pp. 386-393,, Springer, May 2003.[bib]

[33] A. Belhadjali, R. Jeansoulin, “Using moments for representing polygons and assessing their shape quality in GIS”, in: Journal of Geographic Systems, vol. 4, n° 2, pp. 209-232, 2002.[bib]

[34] S. Benferhat, D. Dubois, S. Lagrue, O. Papini, “Making revision reversible: a method based on polynomials”, in: Fundamenta Informticae, vol. 53, n° 3-4, pp. 251-280, 2002.[bib]

[35] P. Siegel, L. Forget, V. Risch, “Preferential logics are X-Logics”, in: Journal of Logic and Computation, vol. 11, n° 1, pp. 71-83, 2001.[bib]

[36] R. Génisson, P. Jégou, “On the relations between SAT and CSP enumerative algorithms”, in: Discrete Applied Mathematics, vol. 107, pp. 27-40, 2000.[bib]

[37] S. Gadal, R. Jeansoulin, “Borders, frontiers and limits : some computational concepts beyond the words”, in: CyberGéo, European Journal of Geography, section ``épistémologie'', ISSN-1278-3366, référence 125, pp. 12501-12517, 2000. Revue électronique à comité de lecture.[bib]

[38] O. Papini, “Knowledge-base revision”, in: The Knowledge Engineering Review, vol. 15, n° 4, pp. 339-370, 2000.[bib]

[39] P. Basso, “Propositions pour une logique des processus d'émergence”, in: Intellectica, n° 29, pp. 71-99, 1999.[bib]

[40] B. Benhamou, L. Henocque, “A Hybrid Method for finite Model Search in Equational theories”, in: Fundamenta Informaticae, n° 39, pp. 21-38, 1999.[bib]

[41] S. Grandcolas, A. Guenoche, “Approximations par arbre d'une distance partielle”, in: Mathematique Informatique et Sciences Humaines, vol. 146, pp. 51-64, 1999.[bib]

[42] A. Chmeiss, P. Jégou, “Efficient Path-Consistency Propagation”, in: International Journal on Artificial Intelligence Tools, vol. 7, n° 2, pp. 121-142, 1998.[bib]

[43] M. Goodchild, R. Jeansoulin, “Special Issue: Quality in GIS. Guest Editorial”, in: Journal of GeoInformatica, vol. 2, n° 3, pp. 211-214, Kluwer Academic Publishers, 1998.[bib]