Skip to main content

The Complexity of Logic−Based Abduction

Thomas Eiter and Georg Gottlob

Journal
J. ACM
Number
1
Pages
3−42
Volume
42
Year
1995