Paul Y. Gloess

19 papers A* 1A 2Journal 1Unranked 15
YearRankTypeTitle / Venue / Authors
1995 — conf
Concept : a system for deriving datalog inheritance.
JFPLC
Miguel-Angel Oros, Paul Y. Gloess
1995 — conf
U-Log = datalog + constraints.
JFPLC
Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li
1994 — conf
Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog.
LMO
Miguel-Angel Oros, Paul Y. Gloess
1994 — conf
Inferring Inheritance from Datalog Programs.
ILPS
Miguel-Angel Oros, Paul Y. Gloess
1993 J jnl
GrafOLog: a Visual Language for a Logic with Objects.
J. Vis. Lang. Comput.
Jean-Luc Guérin, Paul Y. Gloess
1993 — conf
Inheritance in Datalog.
LPE
Miguel-Angel Oros, Paul Y. Gloess
1992 — conf
Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS.
BDA
Chu Min Li, Paul Y. Gloess
1992 — conf
On Boolean Feature Types.
WSA
Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros
1992 — conf
ProQuery: Logical Access to an OODB.
PLILP
Chu Min Li, Paul Y. Gloess
1992 — conf
Realizing an efficient and incremental access to an object oriented database with Prolog.
JFPL
Chu Min Li, Paul Y. Gloess
1991 — conf
U-Log, An Ordered Sorted Logic with Typed Attributes.
PLILP
Paul Y. Gloess
1989 — conf
Programmation Logique et Objets sans variables par le dessin.
SPLT
Jean-Luc Guérin, Paul Y. Gloess
1989 — conf
U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets.
SPLT
Paul Y. Gloess
1987 — conf
Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog.
SPLT
Paul Y. Gloess, Dung T. Nguyen
1985 — conf
OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog.
SPLT
Paul Y. Gloess
1984 — conf
LOGIS, un système PROLOG dans un environnement LISP.
SPLT
Paul Y. Gloess
1981 A* conf
An Interactive Tool for Program Manipulation.
ICSE
Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent
1980 A conf
Adding Dynamic Paramodulation to Rewrite Algorithms.
CADE
Paul Y. Gloess, Jean-Pierre H. Laurent
1980 A conf
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions.
CADE
Paul Y. Gloess