Abductive logic programming and disjunctive logic programming: their relationship and transferability

Chiaki Sakama, Katsumi Inoue. Abductive logic programming and disjunctive logic programming: their relationship and transferability. Journal of Logic and Algebraic Programming, 44(1-3):75-100, 2000.

Abstract

Abstract is missing.