Lubo Popelnsk Masaryk University, Brno, CZ  Home/Search
Context Related
| niaad.liacc.up.pt/...all_Example_Set.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: niaad.liacc.up.pt/~amjorge/doc... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a new methodology of ILP assumption-based learning which employs abduction and queries to a teacher, and describe WiM program based on this methodology. Experimental results obtained with WiM are compared with those of other ILP systems. (Update)
Context of citations to this paper: More
...a cardinality of the search space in top down learning algorithms. In Section 3. we revoke the assumption based scenario as introduced in [6, 12] and than we describe WiM program. In Section 4. we review experimental results reached by WiM on good examples. We conclude by...
Cited by: More
WiM: A Study on the Top-Down ILP Program - Popelínsky.. (1995) (Correct)
Similar documents (at the sentence level):
59.0%: ILP and Automatic Programming: Towards Three Approaches - Flener.. (1994) (Correct)
Active bibliography (related documents): More All
0.5: Constraint Simplification Rules - Frühwirth (1992) (Correct)
0.4: Object-oriented data modelling and rules: ILP meets databases - Popelinsky (Correct)
0.2: Inductive Synthesis of Recursive Logic Programs: Achievements .. - Flener, Yilmaz (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
Popelnsk L.: Towards Program Synthesis From A Small Example Set. In: Proceedings of 10th Workhop on Logic Programming WLP'94, Zurich, Switzerland, 1994. http://citeseer.ist.psu.edu/737116.html More
@misc{ masaryk94towards,
author = "Lubo Popelnsk Masaryk",
title = "Towards Program Synthesis From A Small Example Set",
text = "Popelnsk L.: Towards Program Synthesis From A Small Example Set. In: Proceedings
of 10th Workhop on Logic Programming WLP'94, Zurich, Switzerland, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/737116.html" }
Citations (may not include all citations):388 Inductive Logic Programming - ed - 1992
212 Abductive logic programming - Kakas, Kowalski et al. - 1992
50 An assumption-based framework for non-monotonic reasoning - Bondarenko, Toni et al. - 1993
39 An interactive system to learn functional logic programs (context) - Bergadano, Gunetti
28 Inverting implication with small training sets - Aha, Lapointe et al. - 1994
18 the use of inductive reasoning in program synthesis: Prejudi.. - Flener, Popel - 1994
7 Logic program synthesis from incomplete specications (context) - Flener, Deville - 1993
4 ILP nad Automatic Programming: Towards three approaches (context) - Flener, Popel - 1994
3 Special Volume on Ten Years of Logic Programming (context) - Deville, Lau et al. - 1994
2 Journal of Symbolic Computation (context) - on, Programming - 1993
Documents on the same site (http://www.niaad.liacc.up.pt/~amjorge/docs/): More
Relating Logic Programs Via Program Maps - Kirschenbaum, Sterling, Jain (1993) (Correct)
Integrity Constraints Revisited - Robert Demolombe Cert (1996) (Correct)
Data Mining: From Statistics to Inductive Logic Programming - Nienhuys-Cheng (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC