Les langages orientés objets: concepts, langages et applications C Bailly, JF Challine, PY Gloess Cepadues-Ed., 1987 | 21 | 1987 |
An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions PY Gloess 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 5 …, 1980 | 9 | 1980 |
Logis User's manual P Gloess Universite de Compiegne, 1984 | 7 | 1984 |
Understanding Artificial Intelligence PY Gloess Alfred Publishing Company, 1981 | 7 | 1981 |
A proof of the correctness of a simple parser of expressions by the Boyer-Moore System PY Gloess | 7 | 1978 |
Adding dynamic paramodulation to rewrite algorithms PY Gloess, JPH Laurent 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 5 …, 1980 | 6 | 1980 |
U-Log, an ordered sorted logic with typed attributes PY Gloess International Symposium on Programming Language Implementation and Logic …, 1991 | 5 | 1991 |
GrafOLog: a visual language for a logic with objects JL Guén, PY Gloess Journal of Visual Languages & Computing 4 (3), 301-324, 1993 | 4 | 1993 |
OBLOGIS, A Flexible Flavor Implementation of PROLOG Logic, and Its Application to the Design of a Broaching Expert System PY Gloess, J Marcovich Applications of Artificial Intelligence in Engineering Problems: Proceedings …, 1986 | 4 | 1986 |
Understanding Expert Systems P Gloess Universite de Compiegne, 1984 | 4 | 1984 |
U-Log, a unified object logic PY Gloess Revue d'intelligence artificielle 5 (3), 33-66, 1991 | 3 | 1991 |
Combining an Expert System with a Data Base for an Application that Aids Decision-Making C Bailly, P Gloess AI, Expert Systems and Languages in Modelling and Simulation, Barcelona, 2-4, 1987 | 2 | 1987 |
Understanding Lisp:[a concise introduction to the language of artificial intelligence] PY Gloess Alfred Publ., 1982 | 2 | 1982 |
An interactive tool for program manipulation A Adam, P Gloess, JP Laurent Proceedings of the 5th international conference on Software engineering, 460-468, 1981 | 2 | 1981 |
Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS CM Li, PY Gloess BDA, 1992 | 1 | 1992 |
Realizing an efficient and incremental access to an object oriented database with Prolog CM Li, PY Gloess JFPL, 1992 | 1 | 1992 |
On Boolean Feature Types. PY Gloess, YN Huang, C Li, MA Oros WSA, 213-220, 1992 | 1 | 1992 |
Inferring inheritance from datalog programs MA Oros, PY Gloess Proceedings of the 1994 International Symposium on Logic programming, 680, 1994 | | 1994 |
GrafOLog: a graphic language for logic and object without variables JL GUERIN, PY GLOESS Revue d'intelligence artificielle 7 (1), 73-93, 1993 | | 1993 |
Etude bibliographique sur les extensions de la programmation logique vers les contraintes, la negation et les objets [A bibliographic study of logic programming extensions … MO Hernandez, PY Gloess, CM Li Université de Bordeaux 1/CNRS. Laboratoire Bordelais de Recherche en …, 1992 | | 1992 |