{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:37:59Z","timestamp":1760146679279},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_20","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:20:53Z","timestamp":1178356853000},"page":"257-272","source":"Crossref","is-referenced-by-count":1,"title":["Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bitsv"],"prefix":"10.1007","author":[{"given":"Endre","family":"Boros","sequence":"first","affiliation":[]},{"given":"Toshihide","family":"Ibaraki","sequence":"additional","affiliation":[]},{"given":"Kazuhisa","family":"Makino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"20_CR1","unstructured":"M. Anthony and N. Biggs. Computational Learning Theory. Cambridge University Press, 1992."},{"key":"20_CR2","unstructured":"J.C. Bioch and T. Ibaraki. Lattice theoretic approaches to generalized monotone boolean functions and partially defined boolean functions. Manuscript, February 2000."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF01531068","volume":"1","author":"E. Boros","year":"1990","unstructured":"E. Boros, Y. Crama, and P.L. Hammer. Polynomial time inference of all valid implications for Horn and related formulae. Annals of Mathematics and Artificial Intelligence, 1:21\u201332, 1990.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0166-218X(94)00145-4","volume":"62","author":"E. Boros","year":"1995","unstructured":"E. Boros, V. Gurvich, P.L. Hammer, T. Ibaraki, and A. Kogan. Decompositions of partially defined Boolean functions. Discrete Applied Mathematics, 62:51\u201375, 1995.","journal-title":"Discrete Applied Mathematics"},{"key":"20_CR5","first-page":"163","volume":"79","author":"E. Boros","year":"1997","unstructured":"E. Boros, P.L. Hammer, T. Ibaraki, and A. Kogan. Logical analysis of numerical data. Mathematical Programming, 79:163\u2013190, August 1997.","journal-title":"Mathematical Programming"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"E. Boros, P.L. Hammer, T. Ibaraki, A. Kogan, E. Mayoraz, and I. Muchnik. An implementation of logical analysis of data. IEEE Transactions on Knowledge and Data Engineering, to appear.","DOI":"10.1109\/69.842268"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"E. Boros, T. Ibaraki, and K. Makino. Monotone extensions of Boolean data sets. In M. Li and A. Maruoka, editors, Algorithmic Learning Theory-ALT\u201997, volume 1316 of Lecture Notes in Artificial Intelligence, pages 161\u2013175, Berlin-New York, 1997. Springer Verlag.","DOI":"10.1007\/3-540-63577-7_42"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1006\/inco.1997.2687","volume":"140","author":"E. Boros","year":"1998","unstructured":"E. Boros, T. Ibaraki, and K. Makino. Error-free and best-fit extensions of partially defined Boolean functions. Information and Computation, 140:254\u2013283, 1998.","journal-title":"Information and Computation"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0004-3702(98)00110-6","volume":"107","author":"E. Boros","year":"1999","unstructured":"E. Boros, T. Ibaraki, and K. Makino. Logical analysis of binary data with missing bits. Artificial Intelligence, 107:219\u2013263, 1999.","journal-title":"Artificial Intelligence"},{"key":"20_CR10","volume-title":"RUTCOR Research Report 9-99","author":"E. Boros","year":"1999","unstructured":"E. Boros, T. Ibaraki, and K. Makino. Fully consistent extensions of partially defined Boolean functions with missing bits. RUTCOR Research Report 9-99, Rutgers University, 640 Bartholomew Road, Piscataway, NJ 08854-8003,USA, 1999 http:\/\/rutcor.rutgers.edu\/~rrr\/1999.html ."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF02283750","volume":"16","author":"Y. Crama","year":"1988","unstructured":"Y. Crama, P.L. Hammer, and T. Ibaraki. Cause-efiect relationships and partially defined Boolean functions. Annals of Operations Research, 16:299\u2013326, 1988.","journal-title":"Annals of Operations Research"},{"key":"20_CR12","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson. Computers and Intractability. Freeman, New York, NY, 1979."},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"2168","DOI":"10.1137\/S0097539796297954","volume":"28","author":"K. Makino","year":"1999","unstructured":"K. Makino, K. Hatanaka, and T. Ibaraki. Horn extensions of a partially defined Boolean function. SIAM Journal on Computing, 28:2168\u20132186, 1999.","journal-title":"SIAM Journal on Computing"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"627","DOI":"10.2307\/2307285","volume":"62","author":"W. Quine","year":"1955","unstructured":"W. Quine. A way to simplify truth functions. American Mathematical Monthly, 62:627\u2013631, 1955.","journal-title":"American Mathematical Monthly"},{"key":"20_CR15","unstructured":"S. Rudeanu. Boolean Functions and Equations. North-Holland, Amsterdam, 1974."}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T14:40:48Z","timestamp":1556376048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}