TY - CHAP
T1 - An Introduction to Inductive Logic Programming and Learning Language in Logic
AU - Dzeroski, Saso
AU - Cussens, James
PY - 1999
Y1 - 1999
N2 - This chapter introduces Inductive Logic Programming (ILP) and Learning Language in Logic (LLL). No previous knowledge of logic programming, ILP or LLL is assumed. Elementarytopics are covered and more advanced topics are discussed. For example, in the ILP section we discuss subsumption, inverse resolution, least general generalisation, relative least general generalisation, inverse entailment, saturation, refinement and abduction. We conclude with an overview of this volume and pointers to future work.
AB - This chapter introduces Inductive Logic Programming (ILP) and Learning Language in Logic (LLL). No previous knowledge of logic programming, ILP or LLL is assumed. Elementarytopics are covered and more advanced topics are discussed. For example, in the ILP section we discuss subsumption, inverse resolution, least general generalisation, relative least general generalisation, inverse entailment, saturation, refinement and abduction. We conclude with an overview of this volume and pointers to future work.
U2 - 10.1007/3-540-40030-3_1
DO - 10.1007/3-540-40030-3_1
M3 - Chapter in a book
VL - 1925/2000
T3 - Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence
SP - 3
EP - 36
BT - Learning Language in Logic
PB - Springer
ER -