 | 2000 |
|---|
| 11 |       | Julie Basu,
José Alberto Fernández,
Olga Peschansky:
Building Scalable Internet Applications with Oracle8i Server.
VLDB 2000: 649 |
| 1996 |
|---|
| 10 |  | José Alberto Fernández,
John Grant,
Jack Minker:
Model Theoretic Approach to View Updates in Deductive Databases.
J. Autom. Reasoning 17(2): 171-197 (1996) |
| 1995 |
|---|
| 9 | | José Alberto Fernández,
Jack Minker,
Adnan H. Yahya:
Computing Perfect and Stable Model Using Ordered Model Trees.
Computational Intelligence 11: 89-112 (1995) |
| 8 | | José Alberto Fernández,
Jack Minker:
Bottom-Up Compuation of Perfect Models for Disjunctive Theories.
J. Log. Program. 25(1): 33-51 (1995) |
| 1994 |
|---|
| 7 | | Adnan H. Yahya,
José Alberto Fernández,
Jack Minker:
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases.
J. Autom. Reasoning 13(1): 117-143 (1994) |
| 1993 |
|---|
| 6 | | José Alberto Fernández,
Jorge Lobo,
Jack Minker,
V. S. Subrahmanian:
Disjunctive LP + Integrity Constraints = Stable Model Semantics.
Ann. Math. Artif. Intell. 8(3-4): 449-474 (1993) |
| 1992 |
|---|
| 5 | | José Alberto Fernández,
Jack Minker:
Semantics of Disjunctive Deductive Databases.
ICDT 1992: 21-50 |
| 4 | | José Alberto Fernández,
Jack Minker:
Disjunctive Deductive Databases.
LPAR 1992: 332-356 |
| 3 | | Zahidul A. Khandaker,
José Alberto Fernández,
Jack Minker:
A Tractable Class of Disjunctive Deductive Databases.
Workshop on Deductive Databases, JICSLP 1992: 11-20 |
| 1991 |
|---|
| 2 | | José Alberto Fernández,
Jack Minker:
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases.
ICLP 1991: 660-675 |
| 1984 |
|---|
| 1 | | Maria Virginia Aponte,
José Alberto Fernández,
Philippe Roussel:
Editing First-Order Proofs: Programmed Rules vs Derived Rules.
SLP 1984: 92-98 |
