A logic framework for the incremental inductive synthesis of datalog theories

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

Volumn 1463, Issue , 1998, Pages 300-321

  Semeraro, Giovanni ^a   Esposito, Floriana ^a   Malerba, Donato ^a   Fanizzi, Nicola ^a   Ferilli, Stefano ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LEARNING SYSTEMS; LOGIC PROGRAMMING; PROGRAM DIAGNOSTICS;

ALGEBRAIC STRUCTURES; DATALOG; DOCUMENT UNDERSTANDING; INCREMENTAL LEARNING; OBJECT IDENTITY; REAL-WORLD TASK; REFINEMENT OPERATORS; THEORETICAL COMPUTER SCIENCE;

COMPUTER CIRCUITS;

EID: 84947904538     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49674-2_16     Document Type: Conference Paper

References (25)

1. Ceri, S., Gottlob, G., and Tanca, L.: Logic Programming and Databases. Springer-Verlag, Berlin Heidelberg New York (1990)
2. Esposito, F., Malerba, D., and Semeraro, G.: Automated Acquisition of Rules for Document Understanding. Proceedings of the 2nd International Conference on Document Analysis and Recognition ICDAR93. IEEE Computer Society Press, Los Alamitos, CA (1993) 650-654
3. Esposito, F., Malerba, D., and Semeraro, G.: Multistrategy Learning for Document Recognition. Applied Artificial Intelligence: An Int. J. 8 (1994) 33-84
4. Esposito, F., Malerba, D., Semeraro, G., Brunk, C., and Pazzani, M.: Traps and Pitfalls when Learning Logical Definitions from Relations. In: Ras, Z.W., Zemankova, M. (eds.): Methodologies for Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 869. Springer-Verlag, Berlin Heidelberg New York (1994) 376-385
5. Esposito, F., Laterza, A., Malerba, D., and Semeraro, G.: Locally Finite, Proper and Complete Operators for Refining Datalog Programs. In: Ras, Z.W., Michalewicz, M. (eds.): Foundations of Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 1079. Springer-Verlag, Berlin Heidelberg New York (1996) 468-478
6. Hayes-Roth, F., and McDermott, J.: Knowledge acquisition from structural descriptions. Proceed. of the 5th International Joint Conference on AI. Cambridge, MA (1977) 356-362
7. Helft, N.: Inductive Generalization: A Logical Framework. In: Bratko, I., Lavrac, N. (eds.): Progress in Machine Learning. Sigma Press, Wilmslow (1987) 149-157
8. Jaffar, J., and Maher, M.J.: Constraint Logic Programming: a Survey. J. Logic Programming 19 (1994) 503-581
9. Kanellakis, P.C.: Elements of Relational Database Theory. In: Van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics. Elsevier Science Publishers (1990) 1073-1156
10. Komorowski, J., and Trcek, S.: Towards Refinement of Definite Logic Programs. In: Ras, Z.W., Zemankova, M. (eds.): Methodologies for Intelligent Systems. Lecture Notes in Artificial Intelligence, Vol. 869. Springer-Verlag, Berlin Heidelberg New York (1994) 315-325
11. Lloyd, J.W.: Foundations of Logic Programming. 2nd edn. Springer-Verlag, Berlin Heidelberg New York (1987)
12. Orkin, M., and Drogin, R.: Vital Statistics. McGraw-Hill, New York (1990)
13. Plotkin, G.D.: A Note on Inductive Generalization. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 5. Edinburgh University Press (1970) 153-163
14. Plotkin, G.D.: Building-in Equational Theories. In: Meltzer, B., Michie, D. (eds.): Machine Intelligence 7. Edinburgh University Press (1972) 73-90
15. Reiter, R.: Equality and domain closure in first order databases. J. ACM 27 (1980) 235-249
16. Semeraro, G., Esposito, F., Malerba, D., Brunk, C., and Pazzani, M.: Avoiding Non-Termination when Learning Logic Programs: A Case Study with FOIL and FOCL. In: Fribourg, L., Turini, F. (eds.): Logic Program Synthesis and Transformation - Meta-Programming in Logic. Lecture Notes in Computer Science, Vol. 883. Springer-Verlag, Berlin Heidelberg New York (1994) 183-198
17. Semeraro, G., Esposito, F., Fanizzi, N., and Malerba, D.: Revision of Logical Theories. In: Gori, M., Soda, G. (eds.): Topics in Artificial Intelligence. Lecture Notes in Artificial Intelligence, Vol. 992. Springer-Verlag, Berlin Heidelberg New York (1995) 365-376
18. Semeraro, G., Esposito, F., and Malerba, D.: Ideal Refinement of Datalog Programs. In: Proietti, M. (ed.): Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, Vol. 1048. Springer-Verlag, Berlin Heidelberg New York (1996) 120-136
19. Semeraro, G., Esposito, F., Malerba, D., Fanizzi, N., and Ferilli, S.: Machine Learning + On-line Libraries = IDL. In: Peters, C., Thanos, C. (eds.): Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science, Vol. 1324. Springer-Verlag, Berlin Heidelberg New York (1997) 195-214
20. van der Laag, P.R.J., and Nienhuys-Cheng, S.-H.: A Note on Ideal Refinement Operators in Inductive Logic Programming. In: Wrobel, S. (ed.): Proceedings of the Fourth International Workshop on Inductive Logic Programming ILP-94. GMD-Studien Nr. 237 (1994) 247-260
21. van der Laag, P.R.J., and Nienhuys-Cheng, S.-H.: Existence and Nonexistence of Complete Refinement Operators. In: Bergadano, F., De Raedt, L. (eds.): Machine Learning: ECML-94 - Proceedings of the European Conference on Machine Learning. Lecture Notes in Artificial Intelligence, Vol. 784. Springer-Verlag, Berlin Heidelberg New York (1994) 307-322
22. van der Laag, P.R.J.: An Analysis of Refinement Operators in Inductive Logic Programming. Ph.D. dissertation, Tinbergen Institute Research Series (1995)
23. VanLehn, K.: Efficient Specialization of Relational Concepts. Machine Learning 4 (1989) 99-106
24. Wrobel, S.: On the proper definition of minimality in specialization and theory revision. In: Brazdil, P.B. (ed.): Machine Learning: ECML-93 - Proceedings of the European Conference on Machine Learning. Lecture Notes in Artificial Intelligence, Vol. 667. Springer-Verlag, Berlin Heidelberg New York (1993) 65-82
25. Wrobel, S.: Concept Formation and Knowledge Revision. Kluwer Academic Publishers, Dordrecht Boston London (1994)