A framework for defining distances between first-order logic objects

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

Volumn 1446, Issue , 1998, Pages 271-280

  Ramon, Jan ^a   Bruynooghe, Maurice ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; LEARNING SYSTEMS;

ATTRIBUTE VALUES; FIRST ORDER LOGIC; INSTANCE BASED LEARNING; MEASURES OF DISTANCE;

INDUCTIVE LOGIC PROGRAMMING (ILP);

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

References (16)

1. G. Bisson. Conceptual clustering in a first order logic representation. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 458-462. John Wiley & Sons, 1992.
2. H. Blockeel and L. De Raedt. Top-down induction of first order logical decision trees. Artificial Intelligence, 1998. To appear.
3. H. Blocked, L. De Raedt, and J. Ramon. Top-down induction of clustering trees. In Proceedings of the 15th International Conference on Machine Learning, 1998.
4. L. De Raedt. Logical settings for concept learning. Artificial Intelligence, 95: 187-201, 1997.
5. L. De Raedt and L. Dehaspe. Clausal discovery. Machine Learning, 26: 99-146, 1997.
6. L. De Raedt and S. Džeroski. First order jk-clausal theories are PkC-learnable. Artificial Intelligence, 70: 375-392, 1994.
7. L. De Raedt and W. Van Laer. Inductive constraint logic. In Proceedings of the 5th Workshop on Algorithmic Learning Theory, volume 997 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1995.
8. S. Džeroski, S. Schulze-Kremer, K. R. I. Ieidtke, K. Siems, D. Wettschereck, and H. Blocked. Diterpene structure elucidation from 13C NMR spectra with inductive logic programming. Applied Artificial Intelligence: Special Issue on First-Order Knowledge Discovery in Databases, 1998. To appear.
9. T. Eiter and Mannila H. Distance measures for point sets and their computation. Acta Inforraatica, 34, 1997.
10. W. Erode and D. Wettschereck. Relational instance based learning. In Proceedings of the 1995 Workshop of the GI Special Interest Group on Machine Learning, 1995.
11. A. Hutchinson. Metrics on terms and clauses. In Proceedings of the 9th European Conference on Machine Learning, Lecture Notes in Artificial Intelligence, pages 138-145. Springer-Verlag, 1997.
12. P. Langley. Elements of Machine Learning. Morgan Kaufmann, 1996.
13. Shan-Hwei Nienhuys-Cheng. Distance between herbrand interpretations: A measure for approximations to a target concept. In Proceedings of the 7th International Workshop on Inductive Logic Programming, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1997.
14. B. Ramon and M. Bruynooghe. A framework for defining distances between firstorder logic objects. Technical Report CW 263, Department of Computer Science, Katholieke Universiteit Leuven, 1998. http://w, w. es. kuleuven. ac. bo/-publicat ies/rapport en/CW1998. html.
15. J. Ramon, M. Bruynooghe, and W. Van Laer. Distance measures between atoms. Technical Report CW 264, Department of Computer Science, Katholieke Universiteit Leuven, 1998. http://www. ca. kuleuven, ac. be/publicaties/rapporten/-CW1998. html.
16. A. Srinivasan, S. H. Muggleton, R. D. King, and M. J. E. Sternberg. Mutagenesis: ILP experiments in a non-determinate biological domain. In S. Wrobel, editor, Proceedings of the 5th International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, pages 217-232. Gesellschaft für Mathematik und Datenverarbeitung MBH, 1994.