Paul Y. Gloess

According to our database, Paul Y. Gloess authored at least 19 papers between 1980 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Concept : a system for deriving datalog inheritance.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the JFPLC'95, 1995

U-Log = datalog + constraints.

Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li

Proceedings of the JFPLC'95, 1995

1994

Inferring Inheritance from Datalog Programs.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the Logic Programming, 1994

Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the Actes des journées Langages et Modèles à Objets, 1994

1993

GrafOLog: a Visual Language for a Logic with Objects.

Jean-Luc Guérin, Paul Y. Gloess

J. Vis. Lang. Comput., 1993

Inheritance in Datalog.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

1992

On Boolean Feature Types.

Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

ProQuery: Logical Access to an OODB.

Chu Min Li, Paul Y. Gloess

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Realizing an efficient and incremental access to an object oriented database with Prolog.

Chu Min Li, Paul Y. Gloess

Proceedings of the JFPL'92, 1992

Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS.

Chu Min Li, Paul Y. Gloess

Proceedings of the VIIIèmes Journées Bases de Données Avancées, 1992

1991

U-Log, An Ordered Sorted Logic with Typed Attributes.

Paul Y. Gloess

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1989

Programmation Logique et Objets sans variables par le dessin.

Jean-Luc Guérin, Paul Y. Gloess

Proceedings of the SPLT'89, 1989

U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets.

Paul Y. Gloess

Proceedings of the SPLT'89, 1989

1987

Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog.

Paul Y. Gloess, Dung T. Nguyen

Proceedings of the SPLT'87, 1987

1985

OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog.

Paul Y. Gloess

Proceedings of the SPLT'85, 1985

1984

LOGIS, un système PROLOG dans un environnement LISP.

Paul Y. Gloess

Proceedings of the SPLT'84, 1984

1981

An Interactive Tool for Program Manipulation.

Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

Adding Dynamic Paramodulation to Rewrite Algorithms.

Paul Y. Gloess, Jean-Pierre H. Laurent

Proceedings of the 5th Conference on Automated Deduction, 1980

An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions.

Paul Y. Gloess

Proceedings of the 5th Conference on Automated Deduction, 1980