Monica D. Barback

According to our database, Monica D. Barback authored at least 4 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

A Resolution-based Procedure for Default Theories with Extensions.

Monica D. Barback, Jorge Lobo

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

1993

Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.

James J. Lu, Monica D. Barback, Lawrence J. Henschen

J. Autom. Reason., 1993

A Proof Procedure for Default Theories with Extensions.

Monica D. Barback, Jorge Lobo

Proceedings of the Logic Programming, 1993

1992

Minimizing Indefinite Information in Disjunctive Deductive Databases.

Monica D. Barback, Jorge Lobo, James J. Lu

Proceedings of the Database Theory, 1992