Learning logic programs with structured background knowledge

DOI10.1016/S0004-3702(01)00062-5zbMath0971.68131MaRDI QIDQ5941133

No author found.

Publication date: 20 August 2001

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

computational learning theoryVC-dimensionPAC learningconcept learninginductive logic programming

Mathematics Subject Classification ID

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

Related Items (5)

Maximal closed set and half-space separations in finite closure systems ⋮ Complexity parameters for first order classes ⋮ Mining closed patterns in relational, graph and network data ⋮ Learning logic programs with structured background knowledge ⋮ Prediction-hardness of acyclic conjunctive queries

Uses Software

• GOLEM

Cites Work

• Classic learning
• Subsumption and implication
• On multiplicative graphs and the product conjecture
• Polynomial graph-colorings
• Equivalence of models for polynomial learnability
• Learning from examples and membership queries with structured determinations
• Homomorphisms to oriented paths
• First-order \(jk\)-clausal theories are PAC-learnable
• The learnability of description logics with equality constraints
• Foundations of inductive logic programming
• Logical settings for concept-learning
• Learning function-free Horn expressions
• Efficient noise-tolerant learning from statistical queries
• Probably Approximate Learning of Sets and Functions
• Learnability and the Vapnik-Chervonenkis dimension
• A theory of the learnable
• Computational limitations on learning from examples
• Learning Simple Concepts under Simple Distributions
• Multiplicativity. Part I. Variations, multiplicative graphs, and digraphs
• Multiplicativity. Part II. Nonmultiplicative digraphs and characterization of oriented paths
• Inductive Logic Programming: Theory and methods
• Robust logics
• Pac-learning non-recursive Prolog clauses
• Learning logic programs with structured background knowledge
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Learning logic programs with structured background knowledge