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, HC Ferri, B Marchesin
Cepadues-Ed., 1987
171987
Logis User's manual
P Gloess
Universite de Compiegne, 1984
81984
An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions
PY Gloess
International Conference on Automated Deduction, 154-169, 1980
81980
A Proof of the Correctness of a Simple Parser of Expressions by the Boyer-Moore System.
PY Gloess
SRI INTERNATIONAL MENLO PARK CA, 1978
71978
Adding dynamic paramodulation to rewrite algorithms
PY Gloess, JPH Laurent
International Conference on Automated Deduction, 195-207, 1980
51980
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
Understanding Expert Systems
P Gloess
Universite de Compiegne, 1984
41984
Understanding Artificial Intelligence
PY Gloess
Alfred Publishing Company, 1981
41981
An interactive tool for program manipulation
A Adam, P Gloess, JP Laurent
Proceedings of the 5th international conference on Software engineering, 460-468, 1981
31981
U-Log, a unified object logic
PY Gloess
Revue d'intelligence artificielle 5 (3), 33-66, 1991
21991
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, 1-20, 1986
21986
On Boolean Feature Types.
PY Gloess, YN Huang, CM Li, MA Hernandez
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
ProQuery: Logical access to an OODB
CM Li, PY Gloess
International Symposium on Programming Language Implementation and Logic …, 1992
1992
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
HEUDIASYC, ERA CNRS N 925
PY Gloess, R Roffé, JP Barthès
Proceedings of'83 International Conference on Advanced Robotics: 12, 13 …, 1983
1983
International Fellow, SRI International Menlo Park. California 94025, USA and Boursier de Recherche IRIA, 78150 Le Chesnay, France
PY Gloess
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980, 154, 1980
1980
Définition d’un Langage d’Accès Logique Incrémental Avec Contraintes et Types Booléens pour une Base d’Objets
YN Huang, M Oros, PY Gloess
The system can't perform the operation now. Try again later.
Articles 1–20