Follow
Paul Y Gloess
Paul Y Gloess
Retired Computer Science Professor, ENSEIRB-MATMECA, Université de Technologie de Compiègne
Verified email at enseirb.fr - Homepage
Title
Cited by
Cited by
Year
Les langages orientés objets: concepts, langages et applications
C Bailly, JF Challine, PY Gloess
Cepadues-Ed., 1987
221987
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
91980
Logis User's manual
P Gloess
Universite de Compiegne, 1984
71984
Understanding Artificial Intelligence
PY Gloess
Alfred Publishing Company, 1981
71981
A proof of the correctness of a simple parser of expressions by the Boyer-Moore System
PY Gloess
SRI International, 1978
71978
Adding dynamic paramodulation to rewrite algorithms
PY Gloess, JPH Laurent
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 5 …, 1980
61980
GrafOLog: a visual language for a logic with objects
JL Guén, PY Gloess
Journal of Visual Languages & Computing 4 (3), 301-324, 1993
41993
U-Log, an ordered sorted logic with typed attributes
PY Gloess
International Symposium on Programming Language Implementation and Logic …, 1991
41991
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
41986
Understanding Expert Systems
P Gloess
Universite de Compiegne, 1984
41984
U-Log, a unified object logic
PY Gloess
Revue d'intelligence artificielle 5 (3), 33-66, 1991
31991
Understanding Lisp
PY Gloess
Alfred Publishing Company, 1982
21982
An interactive tool for program manipulation
A Adam, P Gloess, JP Laurent
Proceedings of the 5th international conference on Software engineering, 460-468, 1981
21981
On Boolean Feature Types.
PY Gloess, YN Huang, C Li, MA Oros
WSA, 213-220, 1992
11992
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
ProQuery: Logical access to an OODB
CM Li, PY Gloess
Programming Language Implementation and Logic Programming: 4th International …, 1992
1992
PARALLEL EXPERTS INTEGRATED IN A DATA-BASE MANAGEMENT SYSTEM
PY Gloess, R Roffé, JP Barthès
Proceedings of'83 International Conference on Advanced Robotics: 12, 13 …, 1983
1983
Les langages de l'intelligence artificielle: la situation, les besoins, les possibilités, le développement
PY GLOESS
The system can't perform the operation now. Try again later.
Articles 1–20