Computing Annotated Logic Programs ,
James J. Lu,
S.M. Leach.
Completeness Issues in RUE-Resolution: The Undecidability of
Viability ,
James J. Lu,
V.S. Subrahmanian.
Computing Annotated Logic Programs ,
James J. Lu,
S.M. Leach.
HERMES: Heterogeneous Reasoning and Mediator System ,
V.S. Subrahmanian,
Sibel Adali,
Anne Brink,
Ross Emery,
J.ames J. Lu,
Adil Rajput,
Timothy J. Rogers,
Robert Ross,
Charles Ward
Efficient Maintenance of Materialized Mediated Views,
James J. Lu,
Guido Moerkotte, Joachime Schue and
V.S. Subrahmanian.
Hybrid Knowledge Bases ,
James J. Lu,
A.Nerode,
V.S. Subrahmanian.
Interpreting Disjunctive Logic Programs Based on a Strong Sense of
Disjunction ,
James J. Lu,
M.D. Barback,
L.J. Henschen.
Signed Formulas and Fuzzy Operator Logics ,
James J. Lu,
N.V. Murray,
E. Rosenthal.
Well-Founded Views in Constraint Databases: Incremental Materilization and Maintenance ,
James J. Lu,
Bertram Ludascher,
Joachim Schue,
V.S. Subrahmanian.
Back to the Hermes homepage.