Monica D. Barback

	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		Monica D. Barback, Jorge Lobo, James J. Lu: Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT 1992: 246-260

Coauthor Index

1	Lawrence J. Henschen	[2]
2	Jorge Lobo	[1] [3] [4]
3	James J. Lu	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page