Searching for "SLDNFA An Abductive Procedure for Abductive Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

SLDNFA: an abductive procedure for abductive logic programs
by Marc Denecker, Danny De Schreye — 1997
…SLDNFA: an abductive procedure for abductive logic programs Marc Denecker Danny De Schreye…
Cited by 48 (14 self) – Add To MetaCart

Abduction And Induction. Essays On Their Relation And Integration. Bibliography
by Peter Flach, Antonis Kakas, The Charles S. Peirce Society — 2000
…: An abductive procedure for abductive logic programs. Journal of Logic Programming, 34(2):111--167. Denecker, M…
Cited by 14 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB