Completing open logic programs by constructive induction

Esra Erdem, Pierre Flener. Completing open logic programs by constructive induction. Int. J. Intell. Syst., 14(10):995-1019, 1999. [doi]

Abstract

Abstract is missing.