Learning first-order definable concepts over structures of small degree

MaRDI QIDQ5144626zbMATH OpenFDO

Authors Martin Grohe, Martin Ritzert

Publication date 19 January 2021

Full work available at URL https://arxiv.org/abs/1701.05487, http://dl.acm.org/citation.cfm?id=3330015

Mathematics Subject Classification ID

Logic in computer science (03B70) Computational learning theory (68Q32)

Recommendations

• Learnability and definability in trees and similar structures
• Learning logic programs with structured background knowledge
• scientific article; zbMATH DE number 2086423
• The learnability of description logics with equality constraints
• Inductive Logic Programming

Cited in

(18)

• Inductive general game playing
• Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games
• On distinguishing sets of structures by first-order sentences of minimal quantifier rank
• Regularizing conjunctive features for classification
• On finding a first-order sentence consistent with a sample of strings
• scientific article; zbMATH DE number 1149407 (Why is no real title available?)
• scientific article; zbMATH DE number 2077158 (Why is no real title available?)
• scientific article; zbMATH DE number 2086423 (Why is no real title available?)
• Learning definable hypotheses on trees
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Training digraphs
• Learning concepts described by weight aggregation logic
• Learning concepts definable in first-order logic with counting
• Learnability and definability in trees and similar structures
• The parameterized complexity of learning monadic second-order logic
• Learning aggregate queries defined by first-order logic with counting
• Vapnik-Chervonenkis dimension and density on Johnson and Hamming graphs

This page was built for publication: Learning first-order definable concepts over structures of small degree

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