• Computer Science
  • Published 1996

Constraint Inductive Logic Programming

@inproceedings{Sebag1996ConstraintIL,
  title={Constraint Inductive Logic Programming},
  author={Michle Sebag},
  year={1996}
}
This paper is concerned with learning from positive and negative examples expressed in rst-order logic with numerical constants. The presented approach is based on the cooperation of Inductive Logic Programming (ILP) and Constraint Logic Programming (CLP), and proceeds as follows: A discriminant induction problem is shown to be equivalent to a Constraint Satisfaction Problem (CSP): all constrained clauses covering positive examples and rejecting negative examples can be trivially derived from… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 34 CITATIONS

Generating Numerical Literals During Refinement

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Experience-based learning of symbolic numerical constraints

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Polynomial-Time Learning in Logic Programming and Constraint Logic Programming

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Generation of propagation rules for intentionally defined constraints

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Discovering Rules to Design Newspapers: An Inductive Constraint Logic Programming Approach

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Efficient program synthesis using constraint satisfaction in inductive logic programming

VIEW 1 EXCERPT
CITES BACKGROUND

LEARNING OF CONSTRAINT LOGIC PROGRAMS BY COMBINING UNFOLDING AND SLICING TECHNIQUES

  • Szilágyi Kocsisné
  • 2011
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

Handling real numbers in ilp : a step towardsbetter behavioral clones

  • L. Todorovski S. Dzeroski
  • 1995

Inductive Logic Programming: Theory and Methods

: A knowledge base generalizer

  • G. Bisson. Kbg
  • ACM Transactions on Programming Languages
  • 1992

Constraint - directed generalizations for learning spatialrelations

  • H. Ohwada
  • 1991