Incremental learning of functional logic programs

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

Volumn 2024, Issue , 2001, Pages 233-247

  Ferri Ramirez C ^a   Hernandez Orallo J ^a   Ramirez Quintana M J ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Incremental learning; Inductive functional logic programming (IFLP); Inductive logic programming (ILP); Theory revision

Indexed keywords

COMPUTER CIRCUITS; DATA MINING; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

FUNCTIONAL LOGIC PROGRAMMING; FUNCTIONAL LOGIC PROGRAMS; INCREMENTAL LEARNING; PROGRAMMING PRACTICES; SEMI STRUCTURED DATA; THEORY REVISION;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84944458111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44716-4_15     Document Type: Conference Paper

References (22)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the web: from relations to semistructured data and XML. Morgan Kaufmann Publishers, 1999. 246
2. F. Bergadano and D. Gunetti. Inductive Logic Programming: from Machine Learning to Software Engineering. The MIT Press, Cambridge, Mass., 1995.
3. J. Cendrowska. Prism: An algorithm for inducing modular rules. International Journal of Man-Machines Studies, 27:349-370, 1987.
4. C. Ferri, J. Hernandez, and M.J. Ramirez. The FLIP system homepage. http://www.dsic.upv.es/~jorallo/flip/, 2000.
5. C. Ferri, J. Hernandez, and M.J. Ramirez. The FLIP user's manual (v0.7). Technical report, Department of Information Systems and Computation, Valencia University of Technology, 2000/24, 2000.
6. R. Godin and R. Missaoui. An incremental concept formation approach for learning from databases. Theoretical Computer Science, 133:387-419, 1994.
7. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19-20:583-628, 1994.
8. J. Hernandez and M.J. Ramirez. Inverse Narrowing for the Induction of Functional Logic Programs. In Proc. Joint Conference on Declarative Programming, APPIAGULP- PRODE'98, pages 379-393, 1998.
9. J. Hernandez and M.J. Ramirez. A Strong Complete Schema for Inductive Functional Logic Programming. In Proc. of the Ninth International Workshop on Inductive Logic Programming, ILP'99, volume 1634 of Lecture Notes in Artificial Intelligence, pages 116-127, 1999.
10. J. Hernandez and M.J. Ramirez. Predictive Software. Automated Software Engineering, to appear, 2001.
11. H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proc of the 2nd Intern. Conf. on Princip. of Knowledge Representation and Reasoning, pages 387-394. M. Kaufmann Publishers, 1991.
12. J. U. Kietz and S. Wrobel. Controlling the complexity of learning in logic through syntactic and task-oriented models. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, 1992.
13. S. Muggleton. Inductive Logic Programming. New Generation Computing, 8(4):295-318, 1991.
14. S. Muggleton. Inductive logic programming: Issues, results, and the challenge of learning language in logic. Artificial Intelligence, 114(1-2):283-296, 1999.
15. S. Muggleton and W. Buntine. Machine invention of first-order predicates by inverting resolution. In S. Muggleton, editor, Inductive Logic Programming, pages 261-280. Academic Press, 1992.
16. University of California. UCI Machine Learning Repository Content Summary. http://www.ics.uci.edu/~mlearn/MLSummary.html.
17. L. De Raedt. Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press, 1992.
18. M. Krishna Rao. A framework for incremental learning of logic programs. Theoretical Computer Science, 185:191-213, 1997.
19. B. L. Richards and R. J. Mooney. First order theory revision. In Proc. of the 8th International Workshop on Machine Learning, pages 447-451. Morgan Kaufmann, 1991.
20. B. L. Richards and R. J. Mooney. Automated refinement of first-order horn-clause domain theories. Machine Learning, 19:95-131, 1995.
21. S. Wrobel. On the proper definition of minimality in spezialization and theory revision. In P.B. Brazdil, editor, Proc. of ECML-93, volume 667 of Lecture Notes in Computer Science, pages 65-82. Springer-Verlag, 1993.
22. S. Wrobel. First order theory refinement. In L. De Raedt, editor, Advances in Inductive Logic Programming, pages 14-33. IOS Press, 1996.