H ? « ‹ ← → › »

Language peer sets for SPECTRE:
Germany↑
Germany/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

SPECTRE(ID:3557/spe009)

alternate simple view
Country: Germany
Designed 1994
Published: 1999

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. (1994) 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 ps
  • Boström H., (1995) Boström H., "Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs", pp1194-1200 ps
          in Proc. (1995) Proc. of the Fourteenth International Joint Conference on Artificial Intelligence , Morgan Kaufmann (1995)
  • Boström H. (1999) 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) ps
          in Proc. (1995) Proc. of the Fourteenth International Joint Conference on Artificial Intelligence , Morgan Kaufmann (1995)
  • Boström H. and Idestam-Almquist P., (1999) Boström H. and Idestam-Almquist P., "Induction of Logic Programs by Example-Guided Unfolding" 159-183 ps
          in Journal of Logic Programming Vol. (1999) Journal of Logic Programming Vol. 40 (2-3) (1999)
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder