Searching for "A Fixpoint Characterization of Abductive Logic Programs." – sorted by Relevance.
-
A Fixpoint Characterization Of Abductive Logic Programs
- J. LOGIC PROGRAMMING 27:107--136 (1996) 1 A FIXPOINT CHARACTERIZATION OF ABDUCTIVE LOGIC PROGRAMS
- Cited by 26 (8 self) – Add To MetaCart
-
Abduction And Induction. Essays On Their Relation And Integration. Bibliography
- . and Kowalski, R. A. (1997). The IFF proof procedure for Abductive Logic Programming. Journal of Logic
- Cited by 14 (1 self) – Add To MetaCart

