Learning a representation for optimizable formulas

DOI10.1007/3-540-61863-5_33MaRDI QIDQ3556978zbMATH OpenOpenAlexFDO

Authors Hans Kleine Büning, Theodor Lettmann

Publication date 27 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61863-5_33

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Recommendations

• Learnability of quantified formulas.
• Algorithmic Learning Theory
• Learning a subclass of \(k\)-quasi-Horn formulas with membership queries
• Learning orthogonal F-Horn formulas
• Optimizing propositional calculus formulas with regard to questions of deducibility

Cited in

(1)

• scientific article; zbMATH DE number 1149430 (Why is no real title available?)

This page was built for publication: Learning a representation for optimizable formulas

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