Inductive constraint logic programming: An overview

  • Srinivas Padmanabhuni
  • Aditya K. Ghose
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1359)


This paper provides a brief introduction and overview of the emerging area of Inductive Constraint Logic Programming (ICLP). It discusses some of the existing work in the area and presents some of the research issues and open questions that need to be addressed.


Logic Program Logic Programming Constraint Logic Layout Problem Inductive Logic Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Jaffar and M.J.Maher. Constraint logic programming: a survey. Journal of Logic Programming, pages 503–581, 1994.Google Scholar
  2. 2.
    T. Kawamura and K. Furukawa. Towards inductive generalization in constraint logic programs. In Proceedings of the IJCAI-93 workshop on inductive logic programming, pages 93–104, Chamberry, France, August 1993. Academic Press.Google Scholar
  3. 3.
    F. Jacquenet M. Bernard and C. Nicolini. Induction of constraint logic programs for computer-aided publishing. In Proceedings of the International Conference on Artificial Intelligence and Soft Computing, Banff, Canada, 1997.Google Scholar
  4. 4.
    Lionel Martin and Christel Wain. Induction of constraint logic programs. In Proceedings of Algorithms and Learning Theory (ALT) — 1996, Sydney, Australia, 1996. Springer Verlag.Google Scholar
  5. 5.
    F. Mizoguchi and H. Ohwada. Constraint-directed generalization for learning spatial relations. In Proc. Second international workshop on ILP, Tokyo, Japan, 1992.Google Scholar
  6. 6.
    F. Mizoguchi and H. Ohwada. Constrained relative least general generalization for inducing constraint logic programs”. New Generation Computing, 13:335–368, 1995.CrossRefGoogle Scholar
  7. 7.
    C.D. Page and A.M. Frisch. Generalizing atoms in constraint logic. In Proc. Second international conference on knowledge representaion and reasoning, pages 429–440, 1991.Google Scholar
  8. 8.
    G.D. Plotkin. A note on inductive generalization. Machine Intelligence, 5:101–124, 1971.MathSciNetGoogle Scholar
  9. 9.
    M. Sebag and C. Rouveirol. Constraint inductive logic programming, pages 277–294. Advances in ILP. IOS Press, 1996.Google Scholar
  10. 10.
    Michele Sebag and Celine Rouveirol. Induction of maximally general clauses compatible with integrity constraints. In Stefan Wrobel, editor, Proc. of Fourth International workshop on Inductive Logic Programming, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Srinivas Padmanabhuni
    • 1
  • Aditya K. Ghose
    • 2
  1. 1.Department of Computing ScienceUniversity of AlbertaEdmontonCanada
  2. 2.Decision Systems Lab Dept. of Business SystemsUniversity of WollongongWollongongAustralia

Personalised recommendations