| 1995 |
|---|
| 19 | | Miguel-Angel Oros,
Paul Y. Gloess:
Concept : a system for deriving datalog inheritance.
JFPLC 1995: 353-356 |
| 18 | | Paul Y. Gloess,
Miguel-Angel Oros,
Chu Min Li:
U-Log = datalog + constraints.
JFPLC 1995: 369-372 |
| 1994 |
|---|
| 17 | | Miguel-Angel Oros,
Paul Y. Gloess:
Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog.
LMO 1994: 39-52 |
| 16 | | Miguel-Angel Oros,
Paul Y. Gloess:
Inferring Inheritance from Datalog Programs.
SLP 1994: 680 |
| 1993 |
|---|
| 15 | | Miguel-Angel Oros,
Paul Y. Gloess:
Inheritance in Datalog.
LPE 1993: 52-58 |
| 14 | | Jean-Luc Guérin,
Paul Y. Gloess:
GrafOLog: a Visual Language for a Logic with Objects.
J. Vis. Lang. Comput. 4(3): 301-324 (1993) |
| 1992 |
|---|
| 13 | | Chu Min Li,
Paul Y. Gloess:
Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS.
BDA 1992: 280- |
| 12 | | Chu Min Li,
Paul Y. Gloess:
Realizing an efficient and incremental access to an object oriented database with Prolog.
JFPL 1992: 268-283 |
| 11 | | Chu Min Li,
Paul Y. Gloess:
ProQuery: Logical Access to an OODB.
PLILP 1992: 487-488 |
| 10 | | Paul Y. Gloess,
Y.-N. Huang,
Chu Min Li,
M.-A. Hernandez:
On Boolean Feature Types.
WSA 1992: 213-220 |
| 1991 |
|---|
| 9 | | Paul Y. Gloess:
U-Log, An Ordered Sorted Logic with Typed Attributes.
PLILP 1991: 275-286 |
| 1989 |
|---|
| 8 | | Paul Y. Gloess:
U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets.
SPLT 1989: 71-96 |
| 7 | | Jean-Luc Guérin,
Paul Y. Gloess:
Programmation Logique et Objets sans variables par le dessin.
SPLT 1989: 97- |
| 1987 |
|---|
| 6 | | Paul Y. Gloess,
Dung T. Nguyen:
Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog.
SPLT 1987: 109-118 |
| 1985 |
|---|
| 5 | | Paul Y. Gloess:
OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog.
SPLT 1985 |
| 1984 |
|---|
| 4 | | Paul Y. Gloess:
LOGIS, un système PROLOG dans un environnement LISP.
SPLT 1984 |
| 1981 |
|---|
| 3 | | Anne Adam,
Paul Y. Gloess,
Jean-Pierre H. Laurent:
An Interactive Tool for Program Manipulation.
ICSE 1981: 460- |
| 1980 |
|---|
| 2 | | Paul Y. Gloess:
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions.
CADE 1980: 154-169 |
| 1 | | Paul Y. Gloess,
Jean-Pierre H. Laurent:
Adding Dynamic Paramodulation to Rewrite Algorithms.
CADE 1980: 195-207 |
