Predicate invention and utilization

DOI10.1080/09528139408953784MaRDI QIDQ4290133zbMATH OpenOpenAlexFDO

Authors Stephen Muggleton

Publication date 3 May 1994

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/09528139408953784

zbMATH Keywords

machine learninginductive logic programmingpredicate invention

Mathematics Subject Classification ID

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

Recommendations

• On the usefulness of predicates
• Concept Lattices
• Predication and extensionalization
• Predication in the logic of terms
• Predication and computable concepts
• Publication:3028321
• Predicative methodology
• scientific article; zbMATH DE number 517050

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 54155 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Inductive logic programming

Cited in

(3)

• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• scientific article; zbMATH DE number 1950778 (Why is no real title available?)
• Two examples of computational creativity: ILP multiple predicate synthesis and the `assets' in theorem proving

This page was built for publication: Predicate invention and utilization

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