See this document in CiteSeerX!

Constraint Inductive Logic Programming and Its Application to  (Make Corrections)  
Knowledge Discovery in Databases Chunnian Liu, Ning Zhong, Setsuo Ohsuga (A ...



  Home/Search   Context   Related

 
View or download:
niaad.liacc.up.pt/...lication_to_KDD.ps
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: this paper, hence not very relevant to KDD. We think that the idea of CILP can be applied to the standard Empirical ILP problem and various ILP techniques: Least General Generalization Relative to Background Knowledge (rlgg) [6], Inverse Resolution [7], Top-Down Specialization [10], etc. Let us look at the Inverse Resolution technique as a case study. This method consists of backward proof steps. An ordinary resolution step takes two clauses C 1 and C 2 and resolves them to produce the... (Update)

Active bibliography (related documents):   More   All
1.9:   Constraint Inductive Logic Programming and Its Application.. - Liu, Zhong, Ohsuga   (Correct)
0.2:   Strategic Knowledge in Design: a Compositional Approach - Brazier, van Langen, Treur (1998)   (Correct)
0.2:   Software Requirements Acquisition through Enterprise Modelling - Marite Kirikova   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ in-constraint,
  author = "Knowledge Discovery In",
  title = "Constraint Inductive Logic Programming and Its Application to",
  url = "citeseer.ist.psu.edu/740271.html" }
Citations (may not include all citations):
388   Inductive Logic Programming - Muggleton - 1992
221   Constraint Logic Programming (context) - Ja, Lassez - 1987
214   Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1989
149   New Generation Computing (context) - Muggleton, Entailment - 1995
36   Inductive Logic Programming and Knowledge Discovery in Datab.. (context) - Dzeroski - 1996
29   Constraint Inductive Logic Programming - Sebag, Rouveirol - 1996
20   Learning Logical De nition from Relations (context) - Quinlan - 1990
6   Languages and Systems (context) - Ja, The et al. - 1992
4   Framework of Knowledge Based Systems - Multiple Meta-Level A.. (context) - Ohsuga - 1990
2   Multi-Layer Logic - A Predicate Logic Including Data Structu.. (context) - Ohsuga, Yamauchi - 1985
2   An Organized Society of Autonomous Knowledge Discovery Agent.. (context) - Zhong, Kakemoto et al. - 1997
2   Planning and Replanning of the KDD Process (context) - Liu, Zhong et al. - 1997

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