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.

Authors

José Júlio Alferes

This author has not been identified. Look up 'José Júlio Alferes' in Google

Luís Moniz Pereira

This author has not been identified. Look up 'Luís Moniz Pereira' in Google

Terrance Swift

This author has not been identified. Look up 'Terrance Swift' in Google