scientific article

zbMath1317.68026MaRDI QIDQ2933968

John Ahlgren, Shiu Yin Yuen

Publication date: 8 December 2014

Full work available at URL: http://jmlr.csail.mit.edu/papers/v14/ahlgren13a.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constraint satisfactioninductive logic programmingprogram synthesisBoolean satisfiability problemtheory induction

Mathematics Subject Classification ID

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

Related Items (3)

Inductive logic programming at 30 ⋮ Learning logic programs by explaining their failures ⋮ Learning programs by learning from failures

This page was built for publication: