Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic

DOI10.1016/S0004-3702(99)00067-3zbMATH Open0939.68574OpenAlexW2042587746WikidataQ56092248 ScholiaQ56092248MaRDI QIDQ1978459FDOQ1978459

Authors Stephen Muggleton

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00067-3

zbMATH Keywords

machine learninginductive logic programmingnatural languagescientific discoverylearning of \(n\)protein prediction

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1696473
• scientific article; zbMATH DE number 1926647
• Inductive Logic Programming: Theory and methods
• Taming the complexity of inductive logic programming
• scientific article; zbMATH DE number 1368930

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?)
• Foundations of inductive logic programming
• Inductive Logic Programming: Theory and methods

Cited in

(23)

• E-generalization using grammars
• scientific article; zbMATH DE number 1881957 (Why is no real title available?)
• scientific article; zbMATH DE number 1696478 (Why is no real title available?)
• Improving the time efficiency of ILP-based multi-relational concept discovery with dynamic programming approach
• ACUOS: a system for modular ACU generalization with subtyping and inheritance
• scientific article; zbMATH DE number 1926647 (Why is no real title available?)
• Generalizing predicates with string arguments
• A Modular Equational Generalization Algorithm
• Order-sorted equational generalization algorithm revisited
• Order-sorted generalization
• scientific article; zbMATH DE number 2099202 (Why is no real title available?)
• Variant-based equational anti-unification
• An ILP Refinement Operator for Biological Grammar Learning
• A modular order-sorted equational generalization algorithm
• scientific article; zbMATH DE number 1696473 (Why is no real title available?)
• Pac-learning non-recursive Prolog clauses
• Computing programs for generalized planning using a classical planner
• scientific article; zbMATH DE number 1943833 (Why is no real title available?)
• scientific article; zbMATH DE number 1453037 (Why is no real title available?)
• scientific article; zbMATH DE number 1950770 (Why is no real title available?)
• Extracting interval temporal logic rules: a first approach
• Rule Calculus: Semantics, Axioms and Applications
• scientific article; zbMATH DE number 1696476 (Why is no real title available?)

Describes a project that uses

Uses Software

• GOLEM

This page was built for publication: Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic

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