Learning in clausal logic: A perspective on inductive logic programming

DOI10.1007/3-540-45628-7_17MaRDI QIDQ4707747zbMATH OpenFDO

Authors Peter Flach, Nada Lavrač

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2407/24070437.htm

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1531966
• Taming the complexity of inductive logic programming
• A perspective on inductive logic programming
• An introduction to inductive logic programming and learning language in logic
• Inductive Logic Programming: Theory and methods

Cited in

(8)

• A framework for incremental learning of logic programs
• Hybrid inductive machine learning: An overview of CLIP algorithms
• Learning in rich representations: Inductive logic programming and computational scientific discovery
• scientific article; zbMATH DE number 1531966 (Why is no real title available?)
• scientific article; zbMATH DE number 2099202 (Why is no real title available?)
• Hammering Mizar by Learning Clause Guidance (Short Paper).
• Inductive constraint logic
• Clausal discovery

Describes a project that uses

Uses Software

• FORS

This page was built for publication: Learning in clausal logic: A perspective on inductive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707747)