Monica D. Barback

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Monica D. Barback, Jorge Lobo
A Resolution-based Procedure for Default Theories with Extensions. NMELP (1994)
Monica D. Barback, Jorge Lobo
A Proof Procedure for Default Theories with Extensions. ILPS (1993)
James J. Lu, Monica D. Barback, Lawrence J. Henschen
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. J. Autom. Reason. 10 (3) (1993)
Monica D. Barback, Jorge Lobo, James J. Lu
Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT (1992)