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
• Selma Mouline, Flávio Oquendo: Algèbre des objets classes : une algèbre pour les bases de données orientées objet. 25-38
• 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

Session 2: Classification

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

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
• François Pachet: Vers un modèle du raisonnement dans les langages à objets. 111-123

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
• 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

Session 5: Programming languages

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

Session 6: Constraints

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