Complexity parameters for first order classes

DOI10.1007/S10994-006-8261-3MaRDI QIDQ2433181zbMATH OpenOpenAlexFDO

Authors Marta Arias, Roni Khardon

Publication date 27 October 2006

Published in Machine Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10994-006-8261-3

zbMATH Keywords

First-order logicInductive logic programmingLearning theoryQuery learningVC-dimension

Mathematics Subject Classification ID

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

Recommendations

• Inductive Logic Programming
• Learning function-free Horn expressions
• First-Order Model Checking Problems Parameterized by the Model
• Learning closed Horn expressions
• Algorithmic Learning Theory

Cites work

• A general lower bound on the number of examples needed for learning
• First-order \(jk\)-clausal theories are PAC-learnable
• How many queries are needed to learn?
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1104356 (Why is no real title available?)
• scientific article; zbMATH DE number 1149414 (Why is no real title available?)
• scientific article; zbMATH DE number 2086423 (Why is no real title available?)
• Inductive Logic Programming: Theory and methods
• Learnability and the Vapnik-Chervonenkis dimension
• Learning action strategies for planning domains
• Learning closed Horn expressions
• Learning function-free Horn expressions
• Learning logic programs with structured background knowledge
• Logical settings for concept-learning
• Lower bound methods and separation results for on-line learning models
• On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
• Polynomial certificates for propositional classes.
• Subsumption and implication

Cited in

(1)

• Inductive Logic Programming

Describes a project that uses

Uses Software

• GOLEM

This page was built for publication: Complexity parameters for first order classes

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