Distances and limits on herbrand interpretations

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

Volumn 1446, Issue , 1998, Pages 250-260

  Nienhuys Cheng, Shan Hwei ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FIXED POINT ARITHMETIC; MAPPING; TOPOLOGY;

BANACH FIXED-POINT THEOREM; FIXED POINTS; HERBRAND INTERPRETATIONS; IDENTIFICATION IN THE LIMITS; LEVEL MAPPING; METRIC SPACES; NOTION OF DISTANCE;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 79960115436     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027329     Document Type: Conference Paper

References (11)

1. J. W. de Bakker, E. de Vink, Control Flow Semantics. MIT press, 1996.
2. M. Bezem Characterizing Termination of Loc Programs with Level Mappings p. 69-80, Proceedings of the North American Conference on Logic Programming. MIT press, Cambridge, MA, 1989.
3. J. Dieudorm. Foundations of Modern Analysis. Academic Press, 1969.
4. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
5. M. Fitting. Metric methods, ttlree examples and a theorem. Journal o/Logic Programming, 1994; 21: p. 113-127.
6. A. Hutchinson. Metrics on Terms and Clauses. In: M. Someren, G. Widmer, editors. Proceedings of the 9th European Conference on Machine Learning (ECML-97), p. 138-145, Springer-Verlag, 1997.
7. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second edition, 1987.
8. S. H. Nienhuys-Cheng and A. de Bruin. Kalm's fixed-point characterization for linear dynamic networks. In: Proceedings of SofSem97. Lecture Notes in Computer Science, Springer-Verlag, 1997.
9. S. H. Nienhuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programmint, LNAI Tutorial 1228, Springer-Verlag, 1997.
10. S. H. Nienhuys-Cheng. Distance between Herbrand interpretations: A measure for approximations to a target concept, In: Proccedings of ILPgZ Lavra and Džeroski (ads), Springer-Verlag, 1997.
11. E. Y. Shapiro. Inductive inference of theories from facts. Research Report 192, Yale University, 1981.