2000 |
11 | EE | 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 | EE | 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 |