Complexity Results for Logic-Based Abduction.
VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming
DBLP recordconf/iclp/EiterG92 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.