Les publications du Laboratoire

Les publications parues en 1998

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES

  1. Rémy Courdier, Pierre Marcenac et Sylvain Giroux — Un processus de développement en spirale pour la simulation multi-agents, Revue L'Objet, Ed. Hermès, Vol. 4(1), pp. 73–86, 1998.
  2. Jean Diatta — Approximating dissimilarities by quasi-ultrametrics, Discrete Mathematics, Vol. 192, pp. 81–86, 1998.
  3. Jean Diatta et Bernard Fichet — Quasi-ultrametrics and their 2-ball hypergraphs, Discrete Mathematics, Vol. 192, pp. 87–102, 1998.
  4. Teodor Knapik et Étienne Payet — The Full Quotient and its Closure Property for Regular Languages, Information Processing Letters, Vol. 65(2), pp. 57-62, Elsevier, 1998.
  5. Pierre Marcenac, Rémy Courdier, Stéphane Caldéroni et Jean-Christophe Soulié — Towards an emergence machine for complex systems simulations, Tasks and Methods in Applied Artificial Intelligence, pp. 785-794, publication dirigée par Angel Pasqual del Pobil, José Mira et Moonis Ali, Springer Berlin Heidelberg, 1998.
  6. Frédéric Mesnard, Sébastien Hoarau et Alexandra Maillard — CLP(chi) for Automatically Proving Program Properties, J. Log. Program., Vol. 37(1-3), pp. 77-93, 1998.

Communications avec actes dans un congrès international

  1. Stéphane Caldéroni, Pierre Marcenac et Rémy Courdier — Genetic Encoding of Agent Behavioral Strategy, Multi-Agent Systems, International Conference on, p. 403, IEEE Computer Society, Paris, France, 1998.
  2. Rémy Courdier, Pierre Marcenac, Stéphane Caldéroni et Jean-Christophe Soulié — Zooming on a multiagent simulation system: from the conceptual architecture to the interaction protocol, Proceedings of 3rd Internat. Conference on Multi-Agent Systems (ICMAS'98), pp. 401–412, IEEE Computer Society Press, Paris, France, 1998.
  3. Sébastien Hoarau et Frédéric Mesnard — Inferring and Compiling Termination for Constraint Logic Programs, Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 240-254, publication dirigée par Pierre Flener, Springer, 1998.
  4. Jean-Christophe Soulié, Pierre Marcenac, Stéphane Caldéroni et Rémy Courdier — GEAMAS V2.0: an object oriented platform for complex systems simulations, Proceedings of the 26th International Conference on Technology of Object-Oriented Langages and Systems ( TOOLS 26), pp. 230–242, publication dirigée par Joseph Gil, Madhu Singh, Bertrand Meyer, Richard Mitchell et Richard Riehle, IEEE Computer Society, Santa Barbara, USA, 1998.

Communications avec actes dans un congrès national

  1. François Guerrin, Rémy Courdier, Stéphane Caldéroni, Jean-Marie Paillat, Jean-Christophe Soulié et Jean-Dany Vally — Biomas : un modèle multi-agents pour aider à la gestion négociée d’effluents d’élevage, Actes du 1er Colloque CEMAGREF sur les Modèles et Systèmes Multi-Agents pour la Gestion de l'Environnement et des Territoires,, pp. 359–378, Éditions Cemagref, Clermont-Ferrand, France, 1998.
  2. François Guerrin, Rémy Courdier, Stéphane Caldéroni, Jean-Marie Paillat, Jean-Christophe Soulié et Jean-Dany Vally — Conception d'un modèle multi-agents pour la gestion des effluents d'élevage à l'échelle d'une localité rurale, Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents (JFIADSMA'98), pp. 25–37, Pont-à-Moussons, France, 1998.
  3. Sébastien Hoarau et Frédéric Mesnard — Inférer et compiler la terminaison des programmes logiques avec contraintes, JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France, pp. 269-286, publication dirigée par Olivier Ridoux, Hermes, 1998.