Complexity Results for Logic−Based Abduction
Thomas Eiter and Georg Gottlob
Details
| Book Title |
Structural Complexity and Recursion−theoretic methods in Logic−Programming |
| Pages |
29−44 |
| Year |
1992 |
Links
Related pages
|
People |