{"ddc":["000"],"date_created":"2018-06-25T10:43:19Z","abstract":[{"lang":"eng","text":"In this paper we consider an extended variant of query learning where the hidden concept is embedded in some Boolean circuit. This additional processing layer modifies query arguments and answers by fixed transformation functions which are known to the learner. For this scenario, we provide a characterization of the solution space and an ordering on it. We give a compact representation of the minimal and maximal solutions as quantified Boolean formulas and we adapt the original algorithms for exact learning of specific classes of propositional formulas."}],"status":"public","page":"246 - 257","user_id":"315","department":[{"_id":"34"}],"title":"Learning Boolean Specifications","publication":"Artificial Intelligence","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"date_updated":"2022-01-06T06:59:10Z","publisher":"Elsevier","type":"journal_article","_id":"3343","doi":"10.1016/j.artint.2015.09.003","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0004-3702"]},"author":[{"first_name":"Uwe","last_name":"Bubeck","full_name":"Bubeck, Uwe"},{"last_name":"Kleine Büning","full_name":"Kleine Büning, Hans","first_name":"Hans"}],"year":"2015","citation":{"ama":"Bubeck U, Kleine Büning H. Learning Boolean Specifications. Artificial Intelligence. 2015:246-257. doi:10.1016/j.artint.2015.09.003","chicago":"Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” Artificial Intelligence, 2015, 246–57. https://doi.org/10.1016/j.artint.2015.09.003.","short":"U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.","ieee":"U. Bubeck and H. Kleine Büning, “Learning Boolean Specifications,” Artificial Intelligence, pp. 246–257, 2015.","mla":"Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” Artificial Intelligence, Elsevier, 2015, pp. 246–57, doi:10.1016/j.artint.2015.09.003.","bibtex":"@article{Bubeck_Kleine Büning_2015, title={Learning Boolean Specifications}, DOI={10.1016/j.artint.2015.09.003}, journal={Artificial Intelligence}, publisher={Elsevier}, author={Bubeck, Uwe and Kleine Büning, Hans}, year={2015}, pages={246–257} }","apa":"Bubeck, U., & Kleine Büning, H. (2015). Learning Boolean Specifications. Artificial Intelligence, 246–257. https://doi.org/10.1016/j.artint.2015.09.003"},"keyword":["Query learning","Propositional logic"]}