Skip to main content

Cumulative Default Logic: Finite Characterization‚ Algorithms‚ and Complexity

Georg Gottlob and Zhang Mingyi

Journal
Artif. Intell.
Number
1−2
Pages
329−345
Volume
69
Year
1994