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
211987
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
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
U-Log, an ordered sorted logic with typed attributes
PY Gloess
International Symposium on Programming Language Implementation and Logic …, 1991
51991
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
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
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
21987
Understanding Lisp:[a concise introduction to the language of artificial intelligence]
PY Gloess
Alfred Publ., 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
Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS
CM Li, PY Gloess
BDA, 1992
11992
Realizing an efficient and incremental access to an object oriented database with Prolog
CM Li, PY Gloess
JFPL, 1992
11992
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
The system can't perform the operation now. Try again later.
Articles 1–20