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