Abduction in well-founded semantics and generalized stable models via tabled dual programs | José Júlio Alferes

Abduction in well-founded semantics and generalized stable models via tabled dual programs

Citation:: Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "Abduction in well-founded semantics and generalized stable models via tabled dual programs." Theory And Practice Of Logic Programming. 4 (2004): 383-428.

Abstract:

n/a

Notes:

n/a