 | |
| :: Publications :: | [ présentation : compacte / BibTeX ] |
| |
|
|||||||||||||||||
|
@phdthesis {Boucher99, author = {Xavier Boucher}, title = {Propositions m\'{e}thodologiques pour la gestion de fili\`{e}res-m\'{e}tiers dans un contexte d'ing\'{e}nierie concourante}, school = {Universit\'{e} d'Aix-Marseille III}, organization = {DIAM}, address = {Marseille}, year = {1999}, note = {J.P. Kieffer et A. Cauvin, directeurs},}, equipe = {IMS} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@article {Basso99, audience = {nationale}, author = {P.Basso}, title = {Propositions pour une logique des processus d'\'{e}mergence}, journal = {Intellectica}, number = {29}, pages = {71--99}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@article {BenhamouHenocque99, audience = {internationale}, author = {B. Benhamou and L. Henocque}, title = {A Hybrid Method for finite Model Search in Equational theories}, journal = {Fundamenta Informaticae}, number = {39}, pages = {21-38}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@article {GrandcolasGuenoche99, audience = {nationale}, author = {S. Grandcolas and A. Guenoche}, title = {Approximations par arbre d'une distance partielle}, journal = {Mathematique Informatique et Sciences Humaines}, volume = {146}, pages = {51-64}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@incollection {JeansoulinSiegel99, author = {R. Jeansoulin and P. Siegel}, title = {Knowledge bases and reasoning mechanisms for environmental data : a logical viewpoint}, booktitle = {Advances in Environmental and Ecological Modelling}, editor = {F. Blasco and A.Weill}, pages = {171-191}, publisher = {Elsevier}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {PainBarreSchwind99, audience = {internationale}, author = {C. Pain-Barre and C. Schwind}, title = {Compiling an Action Theory to get provably correct operators for Planning}, booktitle = {First Workshop of the Knowledge Engineering Technical Coordination Unit of the PLANET Network of Exellence in AI Planning}, address = {Salford, UK}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {PrcovicNeveu99, audience = {internationale}, author = {N. Prcovic and B. Neveu}, title = {Ensuring a Relevant Visiting Order of the Leaf Nodes During a Tree Search}, booktitle = {Principles and {P}ractice of Constraint Programming (CP'99)}, volume = {LNCS 1713}, pages = {361-374}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {AudemarBenhamouSiegel99, audience = {nationale}, author = {G. Audemard and B. Benhamou and P. Siegel}, title = {La m\'ethode d'avalanche AVAL : une m\'ethode \'enum\'erative pour SAT}, booktitle = {Journ\'ee nationale des probl\`emes NP Complets, JNPC 99}, pages = {17--25}, address = {Lyon}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {BouquetHenocqueJegou99, audience = {nationale}, author = {F. Bouquet and L. Henocque and P. J\'{e}gou}, title = {Enum\'{e}ration et repr\'{e}sentation d'impliquants premiers}, booktitle = {Actes de la V\`{e}me Conf\'{e}rence Nationale sur la R\'{e}solution de Probl\`{e}mes NP-Complets -- JNPC'99}, pages = {179--188}, address = {Lyon}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {BouquetJegou99, audience = {nationale}, author = {F. Bouquet and P. J\'{e}gou}, title = {ROBDD : Une \'{e}tude sur les ordres et strat\'{e}gies de construction}, booktitle = {Actes de la V\`{e}me Conf\'{e}rence Nationale sur la R\'{e}solution de Probl\`{e}mes NP-Complets -- JNPC'99}, pages = {207--215}, address = {Lyon}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {GuenocheGrandcolas99, audience = {nationale}, author = {A. Gu\'enoche and S. Grandcolas}, title = {Approximation par arbre d'une distance partielle}, booktitle = {ROADEF99, Colloque de la Soci\'et\'e Francaise de Recherche Op\'erationelle et d'Aide \`a la D\'ecision}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {PrcovicNeveu99a, audience = {nationale}, author = {N. Prcovic and B. Neveu}, title = {Etude th\'eorique sur les recherches entrelac\'ee et \`a divergence limit\'ee}, booktitle = {$V^e$ Journ\'ees Nationales sur les Probl\`emes NP-Complets ({JNPC'99})}, pages = {85-94}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@conference {Basso99a, 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} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@techreport {AudBenHen99, author = {G. Audemard and B. Benhamou and L. Henocque}, title = {Two techniques to improve Finite Model Search.}, type = {Rapport de recherche}, institution = {Laboratoire d'Informatique de Marseille}, number = {339}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@techreport {Basso99b, author = {P. Basso}, title = {Sense as an emergent phenomenon. The theory of participation}, type = {Rapport de Recherche}, institution = {LIM}, year = {1999}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@phdthesis {Bouquet99, author = {F. Bouquet}, title = {Gestion de la dynamicit\'e et \'enum\'eration d'impliquants premiers : une approche fond\'ee sur les diagrammes de d\'ecision binaire}, school = {Universit\'e de Provence}, institution = {LIM}, address = {Marseille}, year = {1999}, note = {Directeur : P. J\'egou},}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@phdthesis {Forget99, author = {L. Forget}, title = {X Logiques : Th\'eor\`eme de repr\'esentation pour les logiques pr\'ef\'erentielles et les logiques de d\'efauts}, school = {Universit\'e de Provence}, institution = {LIM}, address = {Marseille}, year = {1999}, note = {Directeur : P. Siegel},}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@phdthesis {Kamdem99, author = {R. Kamdem}, title = {Contribution au partitionnement mat\'eriel/logiciel des syst\`emes temps r\'eels pour les application de controle d'exp\'eriences}, school = {Universit\'e de Provence}, institution = {LIM}, address = {Marseille}, year = {1999}, note = {Directeur : P. Siegel},}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@phdthesis {Pain-Barre99, author = {C. Pain-Barre}, title = {Exploitation d'une th\'eorie de l'action et des tableaux analytiques pour la planification}, school = {Universit\'e de la M\'editerran\'ee}, institution = {LIM}, address = {Marseille}, year = {1999}, note = {Directrice C. Schwind.},}, equipe = {INCA} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@article {CaussanelChouraqui99, audience = {nationale}, author = {J. Caussanel and E. Chouraqui}, title = {Information et Connaissances : quelles implications pour les projets de Capitalisation des Connaissances}, journal = {Revue Document num\'{e}rique -- Gestion des documents et Gestion des connaissances}, volume = {3-4}, pages = {101-119}, year = {1999}, note = {Num\'{e}ro sp\'{e}cial},}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@article {RamadourMurisascoLeMaitre99, audience = {internationale}, author = {P. Ramadour and E. Murisasco and Jacques Le Maitre}, title = {Optimization of Distributed SgmlQL Queries}, journal = {Networking and Information Systems Journal}, volume = {2}, number = {2}, pages = {181--201}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@incollection {CauvetSemmak99, author = {C. Cauvet and F. Semmak}, title = {La r\'{e}utilisation dans l'ing\'{e}nierie des syst\`{e}mes d'information : Etat de l'art}, booktitle = {G\'{e}nie Objet : analyse et conception de l'\'{e}volution d'objet}, publisher = {Herm\'{e}s}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@incollection {ChouraquiCaussanel99, author = {E. Chouraqui and J. Caussanel}, title = {The control of estimate cost, a key factor for the capitalization}, booktitle = {Mechanical part manufacture In Knowledge Management}, editor = {J.F. Schreimemakers and J.P. Barthes}, volume = {2}, pages = {121-133}, publisher = {Ergon Verlag}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@incollection {EspinasseCloutierLefrancois99, author = {B. Espinasse and L. Cloutier and P. Lefran\c{c}ois}, title = {A Coordination Framework for Intelligent Agents in the Distributed Enterprise}, booktitle = {Globalization of Manufacturing in the Digital Communications Era of the 21st Century : Innovation, Agility and the Virtual Enterprise}, editor = {G. Jacucci and G. J. Olling and K. Preiss and M. Wozny}, pages = {565-578}, publisher = {Kluwer Academic}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {Boucelma99, audience = {internationale}, author = {O. Boucelma}, title = {Specification of Database Queries : a Combinator Based Approach}, booktitle = {14th Intl. Workshop on Algebraic Development Techniques, WADT'99}, address = {Ch\^{a}teau de Bonas, France}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {CaussanelChouraqui99a, audience = {internationale}, author = {J. Caussanel and E. Chouraqui}, title = {Model an Methodology of Knowledge Capitalization for Small and Medium Enterprises}, booktitle = {12th Banff Knowledge Acquisition for Knowledge- based Systems Workshop, KAW'99}, address = {Alberta, Canada}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {CaussanelChouraqui99b, audience = {nationale}, author = {J. Caussanel and E. Chouraqui}, title = {M\'{e}moires d'entreprises et PME-MPI : une approche sp\'{e}cifique}, booktitle = {3'27 Congr\`{e}s International de G\'{e}nie Industriel}, address = {Montr\'{e}al, Canada}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {ChouraquiPortafaix99, audience = {internationale}, author = {E. Chouraqui and V. Portafaix}, title = {Construction of an expertise model for optimised planning of quality control route sheets}, booktitle = {6th Biennal BAR-ILAN Symposium on the foundation of Artificial Intelligence, BISFAI'99}, address = {Ramat Gan, Isra\"{e}l}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {CloutierEspinasse99a, audience = {internationale}, author = {L. Cloutier and B. Espinasse}, title = {CAT : A Multi-Agent Coordination Framework for Networked Manufacturing}, booktitle = {Ninth European Workshop on Multi-Agents Systems, Modelling Autonomous Agents in Multi-Agent World, MAAMAW'99}, address = {Valencia, Spain}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
@inproceedings {CloutierEspinasse99b, audience = {internationale}, author = {L. Cloutier and B. Espinasse and P. Lefran\c{c}ois}, title = {Coordinating Inter-Enterprise Operational Business Relations with Multiagent Systems}, booktitle = {3e Congr\'{e}s International de G\'{e}nie Industriel, L'int\'{e}gration des ressources humaines et des technologies : le d\'{e}fi}, address = {Montr\'{e}al, Canada}, year = {1999}, equipe = {INCOD} } | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
|||||||||||||||||
