| |
| 1994 | ||
|---|---|---|
| 4 | Monica D. Barback, Jorge Lobo: A Resolution-based Procedure for Default Theories with Extensions. NMELP 1994: 101-126 | |
| 1993 | ||
| 3 | Monica D. Barback, Jorge Lobo: A Proof Procedure for Default Theories with Extensions. ILPS 1993: 651 | |
| 2 | James J. Lu, Monica D. Barback, Lawrence J. Henschen: Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. J. Autom. Reasoning 10(3): 345-370 (1993) | |
| 1992 | ||
| 1 | EE | Monica D. Barback, Jorge Lobo, James J. Lu: Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT 1992: 246-260 |
| 1 | Lawrence J. Henschen | [2] |
| 2 | Jorge Lobo | [1] [3] [4] |
| 3 | James J. Lu | [1] [2] |