|
|
Articles (revue) |
Internationaux |
2009 |
 |
|
[1] 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] |
|
|
|
[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] 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] |
|
|
2008 |
|
|
[4] S. Benferhat, J. Ben-Naim, O. Papini, E. Würbel, “Answer Set Programming encoding of Prioritized Removed Sets Revision: Application to GIS”, in: Applied Intelligence. Springer Verlag., décembre 2008. à paraître.[bib] |
|
|
|
[5] 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, pp. 1-27, 2008. DOI 10.1007/s10589-008-9220-7 (http://dx.doi.org/10.1007/s10589-008-9220-7).[bib] |
|
|
|
[6] J.-C. Chambelland, M. Dassot, B. Adam, N. Donès, P. Balandier, A. Marquier, M. Saudreau, G. Sonohat, H. Sinoquet, “A double-digitising method for building 3D virtual trees with non-planar leaves: application to the morphology and light-capture properties of young beech trees (Fagus sylvatica)”, in: Functional Plant Biology, vol. 35, n° 9 & 10, pp. 1059-1069, Novembre 2008.[bib] |
|
|
|
[7] D. Boughaci, B. Benhamou, Habiba Drias, “A memetic algorithm for the optimal winner determination problem”, in: Soft Computing, octobre 2008. à paraître.[bib] |
|
|
|
[8] 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] |
|
|
2007 |
|
|
[9] 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] |
|
|
2006 |
|
|
[10] 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] |
|
|
|
[11] Barry Norton, Carlos Pedrinacci, L. Henocque, M. Kleiner, “3-level behavioural models for semantic web services”, in: Multi-Agent and Grid Systems, 2006.[bib] |
|
|
|
[12] 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] |
|
|
|
[13] 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] |
|
|
2005 |
|
|
[14] 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] |
|
|
|
[15] 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] |
|
|
|
[16] 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] |
|
|
|
[17] 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] |
|
|
|
[18] 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] |
|
|
|
[19] Daniel Kayser, F. Nouioua, “About Norms and Causes”, in: International Journal on Artificial Intelligence Tools, vol. 14, n° 1-2, pp. 7-23, 2005.[bib] |
|
|
|
[20] 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] |
|
|
|
[21] 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] |
|
|
2004 |
|
|
[22] 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] |
|
|
|
[23] 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] |
|
|
|
[24] 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] |
|
|
|
[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] 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] |
|
|
|
[27] 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] |
|
|
|
[28] 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] |
|
|
2003 |
|
|
[29] P. Jégou, C. Terrioux, “Hybrid backtracking bounded by tree-decomposition of constraint networks”, in: Artificial Intelligence, vol. 146, pp. 43-75, 2003.[bib] |
|
|
|
[30] R. Jeansoulin, E. Würbel, “An anytime revision operator for large spatial datasets”, in: Soft Computing, vol. 7, n° 6, pp. 386-393,, Springer, May 2003.[bib] |
|
|
2002 |
|
|
[31] 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] |
|
|
|
[32] 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] |
|
|
2001 |
|
|
[33] 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] |
|
|
2000 |
|
|
[34] 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] |
|
|
|
[35] 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] |
|
|
|
[36] O. Papini, “Knowledge-base revision”, in: The Knowledge Engineering Review, vol. 15, n° 4, pp. 339-370, 2000.[bib] |
|
|
1999 |
|
|
[37] B. Benhamou, L. Henocque, “A Hybrid Method for finite Model Search in Equational theories”, in: Fundamenta Informaticae, n° 39, pp. 21-38, 1999.[bib] |
|
|
1998 |
|
|
[38] 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] |
|
|
|
[39] 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] |
|
|
Nationaux |
2009 |
|
|
[40] L. Giordano, V. Gliozzi, N. Olivetti, G.L. Pozzato, C.B. Schwind, “Non-Classical Logics for Knowledge Representation and Reasoning.”, in: Intelligenza Artificiale, juin 2009. à paraître.[bib] |
|
|
2006 |
|
|
[41] 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] |
|
|
2004 |
|
|
[42] 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] |
|
|
|
[43] P. Basso, “Propositions pour une logique formelle de la subjectivité”, in: Automates Intelligents, n° 54, 2004. Revue électronique.[bib] |
|
|
|
[44] 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] |
|
|
|
[45] 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] |
|
|
1999 |
|
|
[46] P. Basso, “Propositions pour une logique des processus d'émergence”, in: Intellectica, n° 29, pp. 71-99, 1999.[bib] |
|
|
|
[47] S. Grandcolas, A. Guenoche, “Approximations par arbre d'une distance partielle”, in: Mathematique Informatique et Sciences Humaines, vol. 146, pp. 51-64, 1999.[bib] |
|
|
|
|
