{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:07:10Z","timestamp":1758272830355},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540879862"},{"type":"electronic","value":"9783540879879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87987-9_26","type":"book-chapter","created":{"date-parts":[[2009,3,17]],"date-time":"2009-03-17T11:20:06Z","timestamp":1237288806000},"page":"303-315","source":"Crossref","is-referenced-by-count":1,"title":["Query Learning and Certificates in Lattices"],"prefix":"10.1007","author":[{"given":"M.","family":"Arias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L.","family":"Balc\u00e1zar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation\u00a075, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"26_CR2","first-page":"121","volume":"5","author":"D. Angluin","year":"1990","unstructured":"Angluin, D.: Negative Results for Equivalence Queries. Machine Learning\u00a05, 121\u2013150 (1990)","journal-title":"Machine Learning"},{"key":"26_CR3","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"},{"key":"26_CR4","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. Theor. Comput. Sci.\u00a0313, 175\u2013194 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"26_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.: Polynomial Certificates for Propositional Classes. Information and Computation\u00a0204, 816\u2013834 (2006)","journal-title":"Information and Computation"},{"key":"26_CR6","unstructured":"Balc\u00e1zar, J.L.: Query learning of Horn formulas revisited. In: Computability in Europe Conference, Amsterdam (2005)"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/jcss.2001.1794","volume":"64","author":"J.L. Balc\u00e1zar","year":"2002","unstructured":"Balc\u00e1zar, J.L., Castro, J., Guijarro, D.: A New Abstract Combinatorial Dimension for Exact Learning via Queries. J. Comput. Syst. Sci.\u00a064, 2\u201321 (2002)","journal-title":"J. Comput. Syst. Sci."},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"924","DOI":"10.1016\/j.jcss.2007.03.003","volume":"73","author":"J.L. Balc\u00e1zar","year":"2007","unstructured":"Balc\u00e1zar, J.L., Castro, J., Guijarro, D., K\u00f6bler, J., Lindner, W.: A general dimension for query learning. J. Comput. Syst. Sci.\u00a073, 924\u2013940 (2007)","journal-title":"J. Comput. Syst. Sci."},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00400-5","volume":"288","author":"J.L. Balc\u00e1zar","year":"2002","unstructured":"Balc\u00e1zar, J.L., Castro, J., Guijarro, D., Simon, H.-U.: The consistency dimension and distribution-dependent learning from queries. Theor. Comput. Sci.\u00a0288, 197\u2013215 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1006\/jcss.1996.0032","volume":"52","author":"N.H. Bshouty","year":"1996","unstructured":"Bshouty, N.H., Cleve, R., Gavald\u00e0, R., Kannan, S., Tamon, C.: Oracles and Queries That Are Sufficient for Exact Learning. J. Comput. Syst. Sci.\u00a052, 421\u2013433 (1996)","journal-title":"J. Comput. Syst. Sci."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Frazier, M., Pitt, L.: Learning From Entailment: An Application to Propositional Horn Sentences. In: Int. Conference Machine Learning 1993, pp. 120\u2013127 (1993)","DOI":"10.1016\/B978-1-55860-307-3.50022-8"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1026443024002","volume":"25","author":"M. Frazier","year":"1996","unstructured":"Frazier, M., Pitt, L.: CLASSIC Learning. Machine Learning\u00a025, 151\u2013193 (1996)","journal-title":"Machine Learning"},{"key":"26_CR13","first-page":"5","volume":"95","author":"J.L. Guiges","year":"1986","unstructured":"Guiges, J.L., Duqenne, 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":"26_CR14","unstructured":"Gaintzarain, J., Hermo, M., Navarro, M.: On Learning Conjunctions of Horn\u2009\u2283\u2009 clauses. In: Computability in Europe Conference, Amsterdam (2005)"},{"key":"26_CR15","first-page":"108","volume-title":"Proceedings of the Conference on Computational Learning Theory","author":"T. Heged\u0171s","year":"1995","unstructured":"Heged\u0171s, 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)"},{"key":"26_CR16","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, 840\u2013862 (1996)","journal-title":"Journal of the ACM"},{"key":"26_CR17","unstructured":"Hermo, M., Lav\u00edn, V.: Negative Results on Learning Dependencies with Queries. In: Proceedings on Seventh International Symposium on Artificial Intelligence and Mathematics (2002)"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(95)00028-U","volume":"149","author":"J. Kivinen","year":"1995","unstructured":"Kivinen, J., Mannila, H.: Approximate Inference of Functional Dependencies from Relations. Theoretical Computer Science\u00a0149, 129\u2013149 (1995)","journal-title":"Theoretical Computer Science"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge Compilation and Theory Approximation. Journal of the ACM\u00a043, 193\u2013224 (1996)","journal-title":"Journal of the ACM"},{"key":"26_CR20","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L. Valiant","year":"1984","unstructured":"Valiant, L.: A Theory of the Learnable. Communications of the ACM\u00a027, 1134\u20131142 (1984)","journal-title":"Communications of the ACM"},{"key":"26_CR21","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); In: Wang, H.: A survey of mathematical logic, Peking and Amsterdam. Science Press and North Holland, pp. 224-268 (1963)","journal-title":"IBM Journal for Research and Development"},{"key":"26_CR22","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-540-87987-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:53:31Z","timestamp":1619524411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87987-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540879862","9783540879879"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87987-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}