-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path0.html
executable file
·60 lines (47 loc) · 2.68 KB
/
0.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
<TITLE>Package: areas/learning/systems/learn_pl/ebg/</TITLE>
<hr>
<b>CMU Artificial Intelligence Repository</b><br>
<tt><A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/home.gif" ALT="Home"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/rep_info.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/info.gif" ALT="INFO"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/keys/keysform.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/search.gif" ALT="Search"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/faqs/top.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/faqs.gif" ALT="FAQs"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/0.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/top.gif" ALT="Repository Root"></A> </tt>
<hr>
<H2>EBG: Explanation Based Generalization</H2>
<pre>
<A HREF="./">areas/learning/systems/learn_pl/ebg/</A>
</pre>
<listing>
This directory contains implementations of different kinds of
Prolog meta-interpreters for Mitchell's explanation based
generalization and partial evaluation based on Kedar-Cabelli &
McCarty's idea.
</listing>
<pre>
Origin:
<A HREF="ftp://ftp.gmd.de/gmd/mlt/ML-Program-Library/">ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]</A>
</pre>
<hr>
<listing>
Version: 14-JAN-94
Requires: Prolog
Ports: All of the algorithms are written in Edinburgh Prolog syntax.
Copying: Copyright (c) 1988 Thomas Hoppe
GNU GPL v1.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Contact: Thomas Hoppe <[email protected]> (Machine Learning Library)
Projektgruppe KIT
Technische Universitaet Berlin
Franklinstr. 28/29,
10629 Berlin, Germany.
Werner Emde <[email protected]> (ftp library)
Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn
Keywords:
Authors!Hoppe, EBG, GNU GPL, Machine Learning, Mitchell,
Prolog!Code
References:
Smadar T. Kedar-Cabelli and L. Thorne McCharty, "Explanation-Based
Generalisation as Resolution Theorem Proving", in Proceedings of the
Fourth International Workshop on Machine Learning, Irvine, Morgan
Kaufmann Publishers, California, 1987.
F. van Harmelen and A. Bundy, "Explanation-Based Generalisation =
Partial Evaluation", Research Note, AI 36, 1988.
</listing><hr>
<address>Last Web update on Mon Feb 13 10:24:26 1995 <br>
<A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html">[email protected]</A></address>