共 2 条
[1]
The Computational Complexty of Abduction. Bylander T,Allemang D. Artificial Intelligence . 1991
[2]
A Logic for Defolt Reasoning. Reiter R. Artificial Intelligence . 1980