LMO 1994: Grenoble, France

Session 1: Environments and data bases

• Jean Bézivin, J. Lanneluc, Richard Lemesle: Un réseau sémantique au coeur d'un AGL. 13-24 BibTeX
• Selma Mouline, Flávio Oquendo: Algèbre des objets classes : une algèbre pour les bases de données orientées objet. 25-38 BibTeX
• Miguel-Angel Oros, Paul Y. Gloess: Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog. 39-52 BibTeX

Session 2: Classification

• Gilles Bisson: Définition de la notion de similarité dans les modèles à objets. 53-68 BibTeX
• Pascal Coupey, Christophe Fouqueré: Classer des concepts déefinis avec des déefauts et des exceptions. 69-80 BibTeX
• Michel Leclère: Diverses problématiques de classification dans le modèle des graphes conceptuels. 81-94 BibTeX

Session 3: Problem Solving

• O. Baujard, Corneliu Spinu, Catherine Garbay, Sylvie Pesty, Jean-Marc Chassery: COALA: un langage pour la conception de systèmes adaptatifs de résolution de problèmes. 97-110 BibTeX
• François Pachet: Vers un modèle du raisonnement dans les langages à objets. 111-123 BibTeX

Session 4: Inheritance and classification

• Hervé Dicky, Christophe Dony, Marianne Huchard, Thérèse Libourel: ARES, un algorithme d'Ajout avec REStructuration dans les hiérarchies de classes. 125-136 BibTeX
• A. Quintero: Classification d'objets dans un modèle de connaissances multi-points de vue en utilisant le modèle du tableau noir. 137-150 BibTeX

Session 5: Programming languages

• Jean-Pierre Briot: Modélisation et classification de langages de programmation concurrente à objets : l'expérience Actalk. 153-165 BibTeX
• Philippe Mulet, J. Marco: De la parenté entre les environnements de MIT Scheme et les prototypes de Self. 167-178 BibTeX

Session 6: Constraints

• J. Liotard: Contraintes, objets et application: la CAO. 181-192 BibTeX
• Jean-François Puget: Programmation logique sous contraintes en C++. 193-202 BibTeX