Skip to content

Complexity Results for Logic-Based Abduction.

Thomas Eiter, Georg Gottlob

VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming

Browse the full ICLP paper archive.