SPECTRE(ID:3557/spe009)

for SPECialization by TRansformation and Elimination

Inductive logic programming (ILP) system that is an extension of SICSTUS Prolog

from homepage
" uses an overly general hypothesis in the form of a logic program which is specialised by means of resolution guided by sets of positive and negative examples in order to find an inductive hypothesis which can be used for classifying unseen examples"
References:
  • Boström H. and Idestam-Almquist P., ``Specialization of Logic Programs by Pruning SLD-trees'', Proc. of the Fourth International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung MBH (1994) 31-48 view details ps
  • Boström H., "Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs", pp1194-1200 view details ps
          in Proc. of the Fourteenth International Joint Conference on Artificial Intelligence , Morgan Kaufmann (1995) view details
  • Boström H. and Asker L., ``Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction'', Proceedings of the Ninth International Workshop on Inductive Logic Programming, LNAI Series 1634, Springer (1999) view details ps
          in Proc. of the Fourteenth International Joint Conference on Artificial Intelligence , Morgan Kaufmann (1995) view details
  • Boström H. and Idestam-Almquist P., "Induction of Logic Programs by Example-Guided Unfolding" 159-183 view details ps
          in Journal of Logic Programming Vol. 40 (2-3) (1999) view details
    Resources