Learning Boolean specifications

DOI10.1016/j.artint.2015.09.003zbMath1344.68185OpenAlexW1960491637MaRDI QIDQ900315

Hans Kleine Büning, Uwe Bubeck

Publication date: 22 December 2015

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

Full work available at URL: https://doi.org/10.1016/j.artint.2015.09.003

zbMATH Keywords

propositional logicquery learning

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• The equivalence of Horn and network complexity for Boolean functions
• Queries and concept learning
• A theory of the learnable
• Nested Boolean Functions as Models for Quantified Boolean Formulas

This page was built for publication: Learning Boolean specifications