{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:23:12Z","timestamp":1759638192197},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044137"},{"type":"electronic","value":"9783642044144"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04414-4_16","type":"book-chapter","created":{"date-parts":[[2009,9,22]],"date-time":"2009-09-22T08:46:05Z","timestamp":1253609165000},"page":"156-170","source":"Crossref","is-referenced-by-count":4,"title":["Canonical Horn Representations and Query Learning"],"prefix":"10.1007","author":[{"given":"Marta","family":"Arias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 L.","family":"Balc\u00e1zar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.tcs.2003.11.004","volume":"313","author":"D. Angluin","year":"2004","unstructured":"Angluin, D.: Queries revisited. Theoretical Computer Science\u00a0313, 175\u2013194 (2004)","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","first-page":"147","volume":"9","author":"D. Angluin","year":"1992","unstructured":"Angluin, D., Frazier, M., Pitt, L.: Learning conjunctions of Horn clauses. Machine Learning\u00a09, 147\u2013164 (1992)","journal-title":"Machine Learning"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1006\/jcss.1995.1026","volume":"50","author":"D. Angluin","year":"1995","unstructured":"Angluin, D., Kharitonov, M.: When won\u2019t membership queries help? Journal of Computer and System Sciences\u00a050(2), 336\u2013355 (1995)","journal-title":"Journal of Computer and System Sciences"},{"key":"16_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-87987-9_26","volume-title":"Algorithmic Learning Theory","author":"M. Arias","year":"2008","unstructured":"Arias, M., Balc\u00e1zar, J.L.: Query learning and certificates in lattices. In: Freund, Y., Gy\u00f6rfi, L., Tur\u00e1n, G., Zeugmann, T. (eds.) ALT 2008. LNCS (LNAI), vol.\u00a05254, pp. 303\u2013315. Springer, Heidelberg (2008)"},{"issue":"5","key":"16_CR5","doi-asserted-by":"publisher","first-page":"816","DOI":"10.1016\/j.ic.2006.03.001","volume":"204","author":"M. Arias","year":"2006","unstructured":"Arias, M., Feigelson, A., Khardon, R., Servedio, R.A.: Polynomial certificates for propositional classes. Inf. Comput.\u00a0204(5), 816\u2013834 (2006)","journal-title":"Inf. Comput."},{"key":"16_CR6","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, Inc., Orlando (1973)"},{"key":"16_CR7","first-page":"5","volume":"95","author":"J.L. Guigues","year":"1986","unstructured":"Guigues, J.L., Duquenne, V.: Familles minimales d\u2019implications informatives resultants d\u2019un tableau de donnees binaires. Math. Sci. Hum.\u00a095, 5\u201318 (1986)","journal-title":"Math. Sci. Hum."},{"key":"16_CR8","first-page":"108","volume-title":"Proceedings of the Conference on Computational Learning Theory","author":"T. Heged\u00fcs","year":"1995","unstructured":"Heged\u00fcs, T.: On generalized teaching dimensions and the query complexity of learning. In: Proceedings of the Conference on Computational Learning Theory, pp. 108\u2013117. ACM Press, New York (1995)"},{"issue":"5","key":"16_CR9","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1145\/234752.234755","volume":"43","author":"L. Hellerstein","year":"1996","unstructured":"Hellerstein, L., Pillaipakkamnatt, K., Raghavan, V., Wilkins, D.: How many queries are needed to learn? Journal of the ACM\u00a043(5), 840\u2013862 (1996)","journal-title":"Journal of the ACM"},{"issue":"1-2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(96)00006-9","volume":"87","author":"R. Khardon","year":"1996","unstructured":"Khardon, R., Roth, D.: Reasoning with models. Artificial Intelligence\u00a087(1-2), 187\u2013213 (1996)","journal-title":"Artificial Intelligence"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1147\/rd.41.0002","volume":"4","author":"H. Wang","year":"1960","unstructured":"Wang, H.: Toward mechanical mathematics. IBM Journal for Research and Development\u00a04, 2\u201322 (1960)","journal-title":"IBM Journal for Research and Development"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1006\/aima.1994.1069","volume":"108","author":"M. Wild","year":"1994","unstructured":"Wild, M.: A theory of finite closure spaces based on implications. Advances in Mathematics\u00a0108, 118\u2013139 (1994)","journal-title":"Advances in Mathematics"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04414-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T22:43:04Z","timestamp":1552171384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04414-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044137","9783642044144"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04414-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}