Proceedings of the International Workshop on Inductive Logic Programming (ILP-94)(4th). Held in Bonn, Germany on September 12-14, 1994

摘要

;Contents: Learning Clauses by Tracing Derivations; Specialization of LogicPrograms by Pruning SLD-Trees; First-order jk-clausal Theories are PAC-Learnable (Abstract); Inductive Learning of Characteristic Concept Descriptions; Inductive Logic Programming and Philosophy of Science; Inductive Metalogic Programming; An Efficent Subsumption Algorithm for Inductive Logic Programming; GRDT: Enhancing Model-Based Learning for Its Application in Robot Navigation; MILP-a stochastic approach to Inductive Logis Programming; A Learnability Model for Universal Representations; Self-Saturation of Definite Clauses; Effective Algorithmic Debugging for Inductive Logic Programming; Induction of Maximally General Clauses Consistent with Integrity Constraints; Mutagenesis: ILP experiments in a non-determinate biological domain; The Arguments of Newly Invented Predicates in ILP; A Note on Ideal Refinement Operators in Inductive Logic Programming; Learning to Recognize Hand-printed Chinese Characters using Inductive Logic Programming; Learning stage transition rules with Indlog; Applications of a logical discovery engine; Finite Element Mesh Design: An Engineering Domain for ILP Application; Pruning Methods for Rule Learning Algorithms; Relational Learning by Heuristic Evaluation of Ground Data; ILP and Automatic Programming: Towards Three Approaches; A Bidirectional search for clauses; Rulebase Stratification: An approach to theory restructuring; A three-tiered Confidence Model for Revising Logical Theories.