See this document in CiteSeerX!

Integrity Constraints in ILP using a Monte  (Make Corrections)  
Carlo approach Al'ipio Jorge, Pavel B. Brazdil LIACC-University of Porto, Rua ...



  Home/Search   Context   Related

 
View or download:
niaad.liacc.up.pt/~amjorg...ilp96.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  niaad.liacc.up.pt/~amjorge/doc... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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