{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:18Z","timestamp":1725663738132},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513247"},{"type":"electronic","value":"9783540461975"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51324-8_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:55:47Z","timestamp":1330203347000},"page":"331-344","source":"Crossref","is-referenced-by-count":0,"title":["A parallel processing architecture for real-time production systems with truth maintenance"],"prefix":"10.1007","author":[{"given":"Satoshi","family":"Fujita","sequence":"first","affiliation":[]},{"given":"Reiji","family":"Aibara","sequence":"additional","affiliation":[]},{"given":"Masafumi","family":"Yamashita","sequence":"additional","affiliation":[]},{"given":"Tadashi","family":"Ae","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"C.L. Forgy, \"Rete: A Fast Algorithm for the Many Pattern\/Many Object Pattern Match Problem,\" Artificial Intelligence, 19, pp.17\u201337 (1982).","journal-title":"Artificial Intelligence"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"A. Gupta, et al., \"Parallel Algorithms and Architectures for Rule-Based Systems,\" Proc. 13th ISCA, pp.10\u201319 (June 1986).","DOI":"10.1145\/17356.17360"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle, \"A truth maintenance system,\" Artificial Intelligence, 12, pp.231\u2013272 (1979).","journal-title":"Artificial Intelligence"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer, \"An Assumption-based TMS,\" Artificial Intelligence, 28, pp.127\u2013162 (1986).","journal-title":"Artificial Intelligence"},{"key":"21_CR5","unstructured":"R. Aibara, \"An Architectural Study on Massive Multiprocessor Systems,\" Doctoral Dissertation, Hiroshima University (1986)."},{"issue":"7","key":"21_CR6","first-page":"718","volume":"27","author":"K. Kurokawa","year":"1986","unstructured":"K. Kurokawa and H. Aiso, \"Three-Dimensional IC,\" IPS Japan, 27, 7, pp.718\u2013729 (July 1986), in Japanese.","journal-title":"IPS Japan"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"M. Hasegawa and Y. Shigei, \"AT 2 =O(Nlog 4 N), T=O(logN) Fast Fourier Transform in A Light Connected 3-Dimensional VLSI,\" Proc. 13th ISCA, pp.252\u2013260 (June 1986).","DOI":"10.1145\/17356.17386"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"S. Fujita, et al., \"A Template Matching Algorithm Using Optically-Connected 3-D VLSI Architecture,\" Proc. 14th ISCA, pp.64\u201370 (June 1987).","DOI":"10.1145\/30350.30358"},{"issue":"5","key":"21_CR9","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/EDL.1986.26389","volume":"EDL-7","author":"Y. Inoue","year":"1986","unstructured":"Y. Inoue, et al., \"A Three-Dimensional Static RAM,\" IEEE Electron Device Lett., EDL-7, 5, pp.327\u2013329 (May 1986).","journal-title":"IEEE Electron Device Lett."},{"key":"21_CR10","unstructured":"T. Maemoto, H. Takata and M. Hirose, \"Optically-Connected Three-Dimensional Common Memory,\" IEICE Japan, Report SIG SDM 87\u2013168 (1988), in Japanese."},{"key":"21_CR11","unstructured":"T. Ishida and S.J. Stolfo, \"Toward the parallel Execution of Rules in Production System Programs,\" Proc.ICPP, pp.568\u2013575 (Aug.1985)."},{"issue":"1","key":"21_CR12","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MC.1987.1663360","volume":"20","author":"S.J. Stolfo","year":"1987","unstructured":"S.J. Stolfo, \"Initial Performance on the DADO2 Prototype,\" IEEE Computer, 20, 1, pp.75\u201383 (Jan. 1987).","journal-title":"IEEE Computer"},{"key":"21_CR13","unstructured":"S.J. Stolfo, \"Five Parallel Algorithm for Production System Execution on the DADO Machine,\u201d Proc.of AAAI, pp.300\u2013307 (1984)."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"A. Gupta, et al., \"Results of Parallel Implementation of OPS5 on the Encore Multiprocessor,\" CMU-CS-87-146 (Aug. 1987).","DOI":"10.21236\/ADA207320"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"J. Miyazaki, et al., \"A Shared Memory Architecture for MANJI Production System Machine,\" Database Machines and Knowledge Base Machines (Ed. by M. Kitsuregawa and H. Tanaka), pp.517\u2013531, Kluwer Academic Publishers (1988).","DOI":"10.1007\/978-1-4613-1679-4_37"},{"issue":"2","key":"21_CR16","first-page":"349","volume":"26","author":"R. Aibara","year":"1985","unstructured":"R. Aibara and T. Ae, \"An Implementation of Sort\/Search Engine on a Multiprocessor,\" Trans. IPS Japan, 26, 2, pp.349\u2013355 (Mar. 1985), in Japanese.","journal-title":"Trans. IPS Japan"}],"container-title":["Lecture Notes in Computer Science","Database Machines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51324-8_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:08Z","timestamp":1605648068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51324-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513247","9783540461975"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-51324-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}