Searching for "Some Results Concerning the Computational Complexity of Abduction." – sorted by Relevance.
-
A First-Order Horn-Clause Abductive System And Its Use In Plan Recognition And Diagnosis
- Allemang, Michael C. Tanner, and John R. Josephson. Some results concerning the computational complexity
- Add To MetaCart

