| 1990 |
|---|
| 11 | EE | Hassan Aït-Kaci,
Roger Nasr,
Jungyun Seo:
Implementing a knowledge-based library information system with typed horn logic.
Inf. Process. Manage. 26(2): 249-268 (1990) |
| 1989 |
|---|
| 10 | EE | Hassan Aït-Kaci,
Robert S. Boyer,
Patrick Lincoln,
Roger Nasr:
Efficient Implementation of Lattice Operations.
ACM Trans. Program. Lang. Syst. 11(1): 115-146 (1989) |
| 9 | | Hassan Aït-Kaci,
Roger Nasr:
Integrating Logic and Functional Programming.
Lisp and Symbolic Computation 2(1): 51-89 (1989) |
| 1988 |
|---|
| 8 | | Catriel Beeri,
Roger Nasr,
Shalom Tsur:
Embedding Psi-Terms in a Horn-Clause Logic Language.
JCDKB 1988: 347-359 |
| 7 | EE | Hassan Aït-Kaci,
Roger Nasr,
Jungyun Seo:
BABEL: A Base for an Experimental Library.
SIGIR 1988: 175-190 |
| 1987 |
|---|
| 6 | | Hassan Aït-Kaci,
Patrick Lincoln,
Roger Nasr:
Le Fun: Logic, Equations and Functions.
SLP 1987: 17-23 |
| 1986 |
|---|
| 5 | | Hassan Aït-Kaci,
Roger Nasr:
Logic and Inheritance.
POPL 1986: 219-228 |
| 4 | | Hassan Aït-Kaci,
Roger Nasr:
LOGIN: A Logic Programming Language with Built-In Inheritance.
J. Log. Program. 3(3): 185-215 (1986) |
| 1985 |
|---|
| 3 | EE | Hassan Aït-Kaci,
Roger Nasr:
Integrating Data Type Inheritance into Logic Programming.
Data Types and Persistence (Appin) 1985: 121-136 |
| 1984 |
|---|
| 2 | | Luís Moniz Pereira,
Roger Nasr:
Delta-Prolog: A Distributed Logic Programming Language.
FGCS 1984: 283-291 |
| 1 | | Michael D. Poe,
Roger Nasr,
Janett Potter,
Janet Slinn:
A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming.
J. Log. Program. 1(1): 81-142 (1984) |
