Logical settings for concept-learning

DOI10.1016/S0004-3702(97)00041-6zbMath0894.68142OpenAlexW2030012268MaRDI QIDQ1389603

Luc De Raedt

Publication date: 30 June 1998

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00041-6

zbMATH Keywords

computational learning theoryinductive logic programminglogicconcept-learning

Mathematics Subject Classification ID

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

Related Items (20)

Towards refinement of abductive or inductive hypotheses through propagation ⋮ The complexity and generality of learning answer set programs ⋮ Inductive Learning of Answer Set Programs ⋮ Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ Relational information gain ⋮ Complexity parameters for first order classes ⋮ ILP turns 20. Biography and future challenges ⋮ Inverse subsumption for complete explanatory induction ⋮ Brave induction: a logical framework for learning from incomplete information ⋮ Brave Induction ⋮ Learning from interpretation transition ⋮ Learning logic programs with structured background knowledge ⋮ Polynomial certificates for propositional classes ⋮ Probabilistic Inductive Logic Programming ⋮ Basic Principles of Learning Bayesian Logic Programs ⋮ Margin-based first-order rule learning ⋮ The subsumption lattice and query learning ⋮ Logical analysis of binary data with missing bits ⋮ Theory revision with queries: Horn, read-once, and parity formulas

Uses Software

• GOLEM

Cites Work

• Clausal discovery
• Prediction-preserving reducibility
• Learning conjunctions of Horn clauses
• First-order \(jk\)-clausal theories are PAC-learnable
• A theory of the learnable
• Computational limitations on learning from examples
• Inductive Logic Programming: Theory and methods
• Pac-learning non-recursive Prolog clauses
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical settings for concept-learning