{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:54:07Z","timestamp":1725551647837},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638902"},{"type":"electronic","value":"9783540696629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63890-3_13","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T21:12:11Z","timestamp":1270501931000},"page":"112-121","source":"Crossref","is-referenced-by-count":0,"title":["Two-face horn extensions"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Toshihide","family":"Ibaraki","sequence":"additional","affiliation":[]},{"given":"Kazuhisa","family":"Makino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"13_CR1","first-page":"319","volume":"2","author":"D. Angluin","year":"1988","unstructured":"D. Angluin, Queries and concept learning, Machine Learning, 2:319\u2013342, 1988.","journal-title":"Machine Learning"},{"key":"13_CR2","first-page":"147","volume":"9","author":"D. Angluin","year":"1992","unstructured":"D. Angluin, M. Frazier, and L. Pitt, Learning conjunctions of Horn clauses, Machine Learning, 9:147\u2013164, 1992.","journal-title":"Machine Learning"},{"key":"13_CR3","unstructured":"E. Boros, T. lbaraki, and K. Makino, Error-free and best-fit extensions of partially defined Boolean functions, RUTCOR RRR 14-95, Rutgers University, 1995; to appear in Information and Computation."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Springer, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF02283750","volume":"16","author":"Y. Crama","year":"1988","unstructured":"Y. Crama, P. L. Hammer, and T. Ibaraki, Cause-effect relationships and partially defined Boolean functions, Annals of Operations Research, 16:299\u2013326, 1988.","journal-title":"Annals of Operations Research"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"D. W. Dowling","year":"1984","unstructured":"D. W. Dowling and J.H. Gallier, Linear-time algorithms for testing the satisfy-ability of propositional Horn formulae, J. Logic Programming, 3:267\u2013284, 1984.","journal-title":"J. Logic Programming"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0004-3702(92)90009-M","volume":"58","author":"R. Dechter","year":"1992","unstructured":"R. Dechter and J. Pearl, Structure identification in relational data, Artificial Intelligence, 58:237\u2013270, 1992.","journal-title":"Artificial Intelligence"},{"key":"13_CR8","volume-title":"Multi-Face Horn Functions, CD-TR 96\/95","author":"T. Eiter","year":"1996","unstructured":"T. Eiter, T. Ibaraki, and K. Makino, Multi-Face Horn Functions, CD-TR 96\/95, CD Lab for Expert Systems, TU Vienna, Austria, iii + 97 pages, 1996."},{"key":"13_CR9","unstructured":"M. Golumbic, P.L. Hammer, P. Hansen, and T. lbaraki (eds), Annals of Mathematics and Artificial Intelligence (1): Horn Logic, Search, and Satisfiability, 1990."},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0004-3702(93)90062-G","volume":"64","author":"P. L. Hammer","year":"1993","unstructured":"P. L. Hammer and A. Kogan, Optimal compression of propositional Horn knowledge bases: Complexity and approximation, Art. Intelligence, 64:131\u2013145, 1993.","journal-title":"Art. Intelligence"},{"issue":"5","key":"13_CR11","first-page":"751","volume":"7","author":"P. L. Hammer","year":"1995","unstructured":"P. L. Hammer and A. Kogan: Quasi-acyclic propositional Horn knowledge bases: optimal compression. IEEE TKDE, 7(5):751\u2013762, 1995.","journal-title":"IEEE TKDE"},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0004-3702(94)00072-9","volume":"74","author":"H. A. Kautz","year":"1995","unstructured":"H. A. Kautz, M. J. Kearns, and B. Selman, Horn approximations of empirical data, Artificial Intelligence, 74:129\u2013145, 1995.","journal-title":"Artificial Intelligence"},{"key":"13_CR13","unstructured":"K. Makino, K. Hatanaka, and T. Ibaraki, Horn extensions of a partially defined Boolean function, RUTCOR RRR 27-95, Rutgers University, 1995."},{"key":"13_CR14","unstructured":"B. Selman and H. Kautz, Knowledge compilation using Horn approximations, Proc. AAAI '90,904\u2013909, 1990."},{"key":"13_CR15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0004-3702(94)00069-7","volume":"82","author":"B. Selman","year":"1996","unstructured":"B. Selman and H. J. Levesque, Support set selection for abductive and default reasoning, Artificial Intelligence, 82:259\u2013272, 1996.","journal-title":"Artificial Intelligence"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L. G. Valiant","year":"1984","unstructured":"L. G. Valiant, A theory of the learnable, Comm. ACM, 27:1134\u20131142, 1984.","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63890-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T16:38:21Z","timestamp":1549211901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63890-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638902","9783540696629"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63890-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}