Sorted downward refinement: Building background knowledge into a refinement operator for inductive logic programming

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

Volumn 1634, Issue , 1999, Pages 104-115

  Frisch, Alan M ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

BACK-GROUND KNOWLEDGE; REFINEMENT OPERATORS;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84949226359     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48751-4_11     Document Type: Conference Paper

References (8)

1. Wray Buntine. Generalized subsumption and its applications to induction and redundancy. Artificial Intelligence., 36(2):149-176, 1988.
2. Alan M. Frisch. The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Artificial Intelligence, 49:16H98, 1991.
3. Alan M. Frisch and C. David Page Jr. Generalization with taxonomie information. In Proc. of the Eighth National Conf. on Artificial Intelligence, pages 755-761, Boston, MA, July 1990.
4. Alan M. Frisch and C. David Page Jr. Building theories into instantiation. In Proc. of the Fourteenth Int. Joint Conf. on Artificial Intelligence, pages 1210-1216, Montreal, Canada, August 1995.
5. Philip D. Laird. Learning from, Good and Bad Data. Kluwer Academic Publishers, Boston, MA, 1988.
6. Shan-Hwei Nienhuys-Cheng and Ronald de Wolf. Foundations of Inductive Logic Programming. Springer-Verlag, 1997.
7. C. David Page Jr. Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 1993.
8. C. David Page Jr. and Alan M. Frisch. Generalization and learnability: A study of constrained atoms. In Stephen H. Muggleton, editor, Inductive Logic Programming, chapter 2, pages 29-61. Academic Press, London, 1992.