Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs

José Júlio Alferes, Luís Moniz Pereira, Terrance Swift. Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. TPLP, 4(4):383-428, 2004.

Abstract

Abstract is missing.