Bridging logic and kernel machines

DOI10.1007/s10994-011-5243-xzbMath1243.68238MaRDI QIDQ439018

Leonardo Rigutini, Marco Maggini, Marco Gori, Michelangelo Diligenti

Publication date: 31 July 2012

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10994-011-5243-x

zbMATH Keywords

first-order logic; multi-task learning; kernel machines; learning from constraints; learning with prior knowledge; semantic-based regularization

Mathematics Subject Classification ID

68Q32: Computational learning theory

68T05: Learning and adaptive systems in artificial intelligence

03B70: Logic in computer science

03B10: Classical first-order logic

Related Items

Learning with Boundary Conditions, Foundations of Support Constraint Machines, The principle of least cognitive action, Semantic-based regularization for learning and inference, Structured learning modulo theories, ERBlox: combining matching dependencies with machine learning for entity resolution, Regression learning based on incomplete relationships between attributes, Symmetry and antisymmetry properties of optimal solutions to regression problems

Uses Software

• kFOIL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Triangular norms
• Logic programs and connectionist networks
• Fast learning of relational kernels
• Probabilistic inductive logic programming. Theory and applications
• Markov logic networks
• Multitask Kernel-based Learning with Logic Constraints
• Regularization Algorithms for Learning That Are Equivalent to Multilayer Networks
• Introduction to Numerical Continuation Methods
• Training a Support Vector Machine in the Primal