Carlo approach Al'ipio Jorge, Pavel B. Brazdil LIACC-University of Porto, Rua ...  Home/Search
Context
Related
| niaad.liacc.up.pt/~amjorg...ilp96.ps.gz 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: Many state-of-the-art ILP systems require large numbers of negative examples to avoid overgeneralization. This is a considerable disadvantage for many ILP applications, namely inductive program synthesis where relativelly small and sparse example sets are a more realistic scenario. Integrity constraints are first order clauses that can play the role of negative examples in an inductive process. One integrity constraint can replace a long list of ground negative examples. However, ... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ al'ipio-integrity,
author = "Carlo Approach Al'ipio",
title = "Integrity Constraints in ILP using a Monte",
url = "citeseer.ist.psu.edu/744367.html" }
Citations (may not include all citations):492 Learning logical definitions from relations (context) - Quinlan - 1990
328 Algorithmic Program Debugging (context) - Shapiro - 1982
156 SATCHMO: a theorem prover implemented in Prolog (context) - Manthey, Bry - 1988
106 FOIL: A Midterm Report - Quinlan - 1993
48 A Theorem Proving Approach to Database Integrity in Deductiv.. (context) - Sadri, Kowalski - 1988
37 Inductive Logic Programming (context) - Lavrac, Dzeroski - 1994
33 Inductive Logic Programming: derivations (context) - Muggleton - 1993
28 Inverting Implication with Small Training Sets - Aha, Lapointe et al. - 1994
23 Interactive Theory Revision:An Inductive Logic Programming A.. (context) - De Raedt - 1992
23 Learning First-Order Definitions of Functions - Quinlan - 1996
17 Architecture for Iterative Learning of Recursive Definitions - Jorge, Brazdil - 1996
13 Multiple Predicate Learning (context) - De Raedt, Lavrac et al. - 1993
10 special issue Ten Years of Logic Programming (context) - Deville, Lau - 1994
9 Combining Top-down and Bottomup Techniques in Inductive Logi.. - Zelle, Mooney et al. - 1994
8 The Difficulties of Learning Logic Programs with Cut - Bergadano, Gunneti et al. - 1993
[Article contains additional citations not shown here]
Documents on the same site (http://www.niaad.liacc.up.pt/~amjorge/docs/): More
Towards Program Synthesis From A Small Example Set - Lubo Popelnsk Masaryk (1994) (Correct)
Relating Logic Programs Via Program Maps - Kirschenbaum, Sterling, Jain (1993) (Correct)
Integrity Constraints Revisited - Robert Demolombe Cert (1996) (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