Induction of constraint logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1160, Issue , 1996, Pages 169-176

  Martin, Lionel ^a   Vrain, Christel ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES;

BACK-GROUND KNOWLEDGE; CONCEPT DEFINITIONS; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMS; FIRST-ORDER LANGUAGE; FUNCTION SYMBOLS; NEGATIVE EXAMPLES; NEW APPROACHES;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 6044244254     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61863-5_44     Document Type: Conference Paper

References (11)

1. Bergadano F., Gunetti D., 1993. An Interactive System to Learn Functional Logic Programs. Proceedings of IJCAI 93, Chambéry, France, Vol. 2, pp. 1044-1049.
2. Bergère M., Ferrand G., Le Berre F., Malfon B., Tessier A, 1995. La programmation logique avec contraintes revisitée en termes d'arbres de preuve et de squelettes. Rapport de recherche 95-06, LIFO, université d'Orléans.
3. R. M. Cameron-Jones, J.R. Quinlan, 1993. Avoiding Pitfalls When Learning Recursive Theories. Proceedings of IJCAI 93, Chambéry, France, Vol. 2, pp. 1050-1055.
4. Jaffar J., Maher M.J., 1994. Constraint Logic Programming: A Survey. Jal of Logic Programming, vol. 19/20, may/july 1994, pp. 503-581, Elsevier Science Publishing.
5. Martin L., Vrain C., 1995. MULT-ICN: an empirical multiple predicate learner. Proceedings of the 5th International Workshop on Inductive Logic Programming, L. De Raedt (Ed.), Leuven, September 1995, pp. 129-144.
6. Martin L., Vrain Ch., 1996. A Three-Valued Framework for the Induction of General Logic Programs. Advances in Inductive Logic Programming. L. de Raedt (Ed.), IOS Press, pp. 219-235.
7. Mizoguchi F., Ohwada H., 1995. An Inductive Logic Programming Approach to Constraint Acquisition for Constraint-based Problem Solving. Proceedings of the 5th International Workshop on Inductive Logic Programming, L. De Raedt (Ed.), Leuven, September 1995, pp. 297-323.
8. Muggleton S., 1995. Inverse Entailment and Progol. New Generation Computing, vol. 3-4, pp. 243-285.
9. Plotkin G., 1971. A further note on inductive generalization. Machine Intelligence, Vol. 6, Edinburgh University Press, Edinburgh.
10. Quinlan J.R., 1990. Learning Logical Definitions from Relations. Machine Learning Journal, Vol. 5, Kluwer Academic Publishers, pp. 239-266.
11. Rouveirol C., Sebag M., 1995. Constraint Inductive Logic Programming. Proc. of the Fifth International Workshop on Inductive Logic Programming, L. De Raedt (Ed.), Leuven, September 1995, pp. 181-198.