|
|
Conférences sans actes |
2008 |
 |
|
[1] O. Doukari, R. Jeansoulin, E. Würbel, “Un nouveau modèle pour la représentation et la révision des croyances basé sur la localité des inconsistances”, in: Séminaire d'informatique de l'Institut Gaspard Monge, Université de Marne-la-Vallée, Marne-la-Vallée, Paris, France, 15 Avril, 2008.[bib] |
|
|
|
[2] Régis Alenda, N. Olivetti, Camilla Schwind, “An axiomatization and a tableau calculus for the logic of comparative concept similarity”, in: Journées Nationales de l’IA Fondamentale (IAF'08), 2008.[bib] |
|
|
|
[3] L. Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato., “ALC+T: Reasoning About Typicality in Description Logics”, in: Proceedings of CILC 2008 (23rd Convegno Italiano di Logica Computazionale), A. Formisano (ed), 2008.[bib] |
|
|
|
[4] P. Jégou, S. N. Ndiaye, C. Terrioux, “Hypertree decomposition vs tree decomposition for solving constraint networks”, in: International Workshop on Graph Decomposition: Theoretical, Algorithmic and Logical Aspect, CIRM, Marseille, avril 2008.[bib] |
|
|
2007 |
|
|
[5] J.-C. Chambelland, B. Adam, N. Donès, P. Balandier, A. Marquier, M. Dassot, G. Sonohat, M. Saudreau, H. Sinoquet, “Automatic instantiation of a structural leaf model from 3D scanner data: application to light interception computation”, in: Functional Structural Plant Models 07 (FSPM 2007), Napier, New Zealand, Décembre 2007.[bib] |
|
|
2006 |
|
|
[6] O. Papini, “Représenter l'espace en logique modale : un panorama”, in: Atelier Représentation et Raisonnement sur le Temps et l'Espace, Semaine de la connaissance, conférence invitée, Nantes, juin 2006.[bib] |
|
|
2005 |
|
|
[7] Michel Vasquez, Audrey Dupont, D. Habet, “Neighborhood Design by Consistency Checking”, in: International Federation of Operational Research Societies (IFORS), Hawaï, 2005. Papier Invité.[bib] |
|
|
|
[8] A. Dupont, M. Vasquez, D. Habet, “Consistent Neighbourhood in a Tabu Search”, in: Workshop on Combination of metaheuristic and local search with Constraint Programming techniques (MLS+CP), University of Nantes, Nantes - France, November 2005.[bib] |
|
|
|
[9] Patrick Albert, L. Henocque, M. Kleiner, “A constrained object model for configuration based workflow composition”, in: proceeding of the 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, BPM'05, Nancy, France, septembre 2005.[bib] |
|
|
|
[10] Michel Vasquez, D. Habet, “Cooperative Approach for the Satisfiability Problem”, in: International Federation of Operational Research Societies (IFORS), Hawaï, July 2005. Papier Invité.[bib] |
|
|
2004 |
|
|
[11] P. Basso, “Formalisme logique pour une théorie des situations impliquant des sujets conscients”, in: Séminaires du CREA, Paris, 2004.[bib] |
|
|
|
[12] R. Jeansoulin, “Ontologie et Qualité en Information Géographique: des concepts à la réalisation”, in: L'incertitude en géomatique, vol. 6ème Séminaire REGLIS (Représentation et Gestion de L'Information Spatialisée ), UMR 3S "Structures et Systèmes Spatiaux", CEMAGREF, Montpellier, 19 octobre 2004.[bib] |
|
|
|
[13] Vasseur, B., Jeansoulin, R., “Détection de changements spatio-temporels et représentation de la qualité”, in: Conférence Cassini-Sigma, (poster), Géomatique et analyse spatiale, Grenoble, 2-4 juin 2004 2004.[bib] |
|
|
|
[14] T. T. Pham, “Fusion of Geographical Information Sources by using the lattices”, in: CCRS/division des services cartographiques, Canadian Center of Remote Sensing, Ottawa, Canada, May, 27 2004. Invited seminar.[bib] |
|
|
2003 |
|
|
[15] D. Habet, Michel Vasquez, “Tabu Search on a Consistent and Saturated Neighborhood for Selecting and Scheduling Photographs of an Agile Earth Observing Satellite”, in: Bulletin de la société française de recherche Opérationnelle et d'Aide à la Décision (ROADEF), n° 10, pp. 11-14, 2003. Papier Invité.[bib] |
|
|
|
[16] Jeansoulin Robert, “Approche sémantique de la qualité de l'information géographique”, in: Séminaire CRG, Centre de Recherche en Géomatique, Université Laval, Québec, Canada, 15 décembre 2003.[bib] |
|
|
|
[17] M. Khelfallah, B. Benhamou, R. Jeansoulin, “Révision d'informations géographiques à base de contraintes”, in: Journées Nationales sur les Modèles de Raisonnement, JNMR'03, Paris, France, Novembre, 27-28, 2003.[bib] |
|
|
|
[18] J. Seinturier, P. Drap, O. Papini, “Fusion réversible : application à l'information archéologique”, in: Actes des Journées sur le Raisonnement Non-Monotone, Paris, novembre 2003.[bib] |
|
|
|
[19] R. Jeansoulin, “Reasoning with imperfect geographic knowledge and quality information: the REVIGIS experience”, in: EC Joint Research Centre Seminars, Institute for Environment and Sustainability (IES), Land Management Unit, JRC, Ispra, Italy, November, 3rd 2003.[bib] |
|
|
2002 |
|
|
[20] Thuc-Trung Pham, “Fusion des connaissances spatio-temporelles dans un contexte incertain”, in: Les Journées des Doctorants du LSIS; JDL6, Marseille, France, Décembre 2002.[bib] |
|
|
|
[21] G. Aubry, “Sur la génération d'arguments à l'aide des X-logiques”, in: Journées des Doctorants du LSIS (JDL6), pp. 13-21, Marseille, France, décembre 2002.[bib] |
|
|
|
[22] M. Khelfallah, “Révision par parties des informations géographiques”, in: Les Journées des Doctorants du LSIS; JDL6, Marseille, France, Décembre 2002.[bib] |
|
|
|
[23] Jeansoulin, R., Vasseur, B., “Approche Ontologique de connaissances géographique”, in: Colloque Ingénierie des Territoires, ENS Ulm, Juin 2002.[bib] |
|
|
|
[24] R. Ostrowski, Mazure B., Sais L., “LSAT solver”, in: Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002), Cincinnati (Ohio, USA), http://gauss.ececs.uc.edu/Conferences/SAT2002/, Mai 2002.[bib] |
|
|
2001 |
|
|
[25] R. Devillers, M. Gervais, Y. Bédard, R. Jeansoulin, “La qualité pour les usagers ou la nécessité d'un manuel à l'usager pour l'utilisation de l'information spatiale”, in: Journées thématiques du réseau CASSINI, Axe 3 - Qualité des données, Montpellier, France, 2001.[bib] |
|
|
|
[26] P. Basso, “Propositions pour la formalisation d'une logique de la production conditionnée”, in: Séminaire Itinérant de catégories, Université Paris 6, Paris, 2001. Conférencier invité,.[bib] |
|
|
|
[27] O. Papini, “Revision, update and fusion in knowledge representation : a survey”, in: International Geographic Information Fusion and Revision, Quebec, Canada, april 2001.[bib] |
|
|
|
[28] R. Jeansoulin, G. Edwards, G. Cotteret, “Kalman filter, and Logical revision: comparing them on geographic information”, GIFaR'01 (Geographic Information Fusion and Revision), Québec, avril 2001.[bib] |
|
|
|
[29] M. Gervais, R. Devillers, Y. Bédard, R. Jeansoulin, “GI Quality and Decision making”, GIFaR'01 (Geographic Information Fusion and Revision), Québec, avril 2001.[bib] |
|
|
1999 |
|
|
[30] P. Basso, “Comment se produisent les choses, émergence ou inférence causale ?”, in: Séminaires du Centre Universitaire d'Etudes Systémiques, Université de Neuchâtel, Suisse, 1999.[bib] |
|
|
1998 |
|
|
[31] L. Laurini, R. Jeansoulin, “Données et connaissances spatio-temporelles”, in: Premières Assises du GDR I3, Lyon, 1998.[bib] |
|
|
|
[32] P. Jégou, “CSP Decomposition Methods. Parallel Implementation, a Future Prospect ?”, in: JIM'99 - Journées de l'Informatique Messine, NP-Complétude et Parallélisme, Metz, France, 1998. Conférence invitée,.[bib] |
|
|
|
[33] R. Jeansoulin, P. Degenne, “En attendant XML: comment réaliser un interface de navigation pour SIG”, in: Assises Cassini'98, Marne la Vallée, 1998.[bib] |
|
|
|
[34] M-A Cavarroc, R. Jeansoulin, “L'apport des réseaux bayesiens pour la recherche de causalités spatio-temporelles”, in: Assises Cassini'98, Marne la Vallée, 1998.[bib] |
|
|
|
[35] B. Benhamou, L. Henocque, “A Finite model search for equational theories and Applications”, in: 2th International Theorem Workshop, Linz, Austria, 1998.[bib] |
|
|
|
|
