{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:09Z","timestamp":1746115869383,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642420535"},{"type":"electronic","value":"9783642420542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-42054-2_14","type":"book-chapter","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T10:25:29Z","timestamp":1383042329000},"page":"106-112","source":"Crossref","is-referenced-by-count":0,"title":["Flexible Reasoning of Boolean Constraints in Recurrent Neural Networks with Dual Representation"],"prefix":"10.1007","author":[{"given":"Wonil","family":"Chang","sequence":"first","affiliation":[]},{"given":"Hyun Ah","family":"Song","sequence":"additional","affiliation":[]},{"given":"Soo-Young","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1080\/13546780701319122","volume":"13","author":"S. Beller","year":"2007","unstructured":"Beller, S., Kuhnm\u00fcnch, G.: What causal conditional reasoning tells us about people\u2019s understanding of causality. Thinking & Reasoning\u00a013(4), 426\u2013460 (2007)","journal-title":"Thinking & Reasoning"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Blake, A.: Canonical expressions in Boolean algebra. University of Chicago (1938)","DOI":"10.2307\/2267595"},{"key":"14_CR3","unstructured":"Brown, F.M.: Boolean reasoning: the logic of Boolean equations. Courier Dover Publications (2003)"},{"key":"14_CR4","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Ragni, M.: A computational logic approach to the suppression task. In: Proceedings of the 34th Annual Conference of the Cognitive Science Society, pp. 1500\u20131505 (2012)"},{"issue":"5","key":"14_CR5","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TCE.1953.6371932","volume":"72","author":"M. Karnaugh","year":"1953","unstructured":"Karnaugh, M.: The map method for synthesis of combinational logic circuits. Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics\u00a072(5), 593\u2013599 (1953)","journal-title":"Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics"},{"key":"14_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11750734_1","volume-title":"Computational Logic in Multi-Agent Systems","author":"R.A. Kowalski","year":"2006","unstructured":"Kowalski, R.A.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 1\u201322. Springer, Heidelberg (2006)"},{"issue":"8","key":"14_CR7","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1536616.1536637","volume":"52","author":"S. Malik","year":"2009","unstructured":"Malik, S., Zhang, L.: Boolean satisfiability from theoretical hardness to practical success. Communications of the ACM\u00a052(8), 76\u201382 (2009)","journal-title":"Communications of the ACM"},{"issue":"1","key":"14_CR8","first-page":"17","volume":"2","author":"J. Mandziuk","year":"1993","unstructured":"Mandziuk, J., Macukow, B.: A neural network performing boolean logic operations. Optical Memory and Neural Networks\u00a02(1), 17\u201335 (1993)","journal-title":"Optical Memory and Neural Networks"},{"issue":"5","key":"14_CR9","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1002\/j.1538-7305.1956.tb03835.x","volume":"35","author":"E.J. Mccluskey","year":"1956","unstructured":"Mccluskey, E.J.: Minimization of Boolean functions. The Bell System Technical Journal\u00a035(5), 1417\u20131444 (1956)","journal-title":"The Bell System Technical Journal"},{"issue":"8","key":"14_CR10","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1109\/TC.1986.1676828","volume":"100","author":"C. McMullen","year":"1986","unstructured":"McMullen, C., Shearer, J.: Prime implicants, minimum covers, and the complexity of logic simplification. IEEE Transactions on Computers\u00a0100(8), 761\u2013762 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Spears, W.M.: A nn algorithm for boolean satisfiability problems. In: IEEE International Conference on Neural Networks, vol.\u00a02, pp. 1121\u20131126. IEEE (1996)","DOI":"10.1109\/ICNN.1996.549055"},{"issue":"6","key":"14_CR12","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1207\/s15516709cog0000_36","volume":"29","author":"K. Stenning","year":"2005","unstructured":"Stenning, K., Lambalgen, M.: Semantic interpretation as computation in nonmonotonic logic: The real meaning of the suppression task. Cognitive Science\u00a029(6), 919\u2013960 (2005)","journal-title":"Cognitive Science"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Stenning, K., Van Lambalgen, M.: Human reasoning and cognitive science. The MIT Press (2008)","DOI":"10.7551\/mitpress\/7964.001.0001"},{"issue":"3","key":"14_CR14","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/2.485894","volume":"29","author":"C.L. Tan","year":"1996","unstructured":"Tan, C.L., Quah, T.S., Teh, H.H.: An artificial neural network that models human decision making. Computer\u00a029(3), 64\u201370 (1996)","journal-title":"Computer"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Teh, H.H.: Neural Logic Networks: A New Class of Neural Networks. World Scientific (1995)","DOI":"10.1142\/2433"},{"issue":"6","key":"14_CR16","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1109\/72.728355","volume":"9","author":"G. Wang","year":"1998","unstructured":"Wang, G., Shi, H.: Tmlnn: triple-valued or multiple-valued logic neural network. IEEE Transactions on Neural Networks\u00a09(6), 1099\u20131117 (1998)","journal-title":"IEEE Transactions on Neural Networks"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Wegener, I.: The complexity of boolean functions (1987)","DOI":"10.1007\/3-540-18170-9_185"}],"container-title":["Lecture Notes in Computer Science","Neural Information Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-42054-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T18:40:15Z","timestamp":1746038415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-42054-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642420535","9783642420542"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-42054-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}