{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:57:46Z","timestamp":1760061466990,"version":"build-2065373602"},"reference-count":50,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1985,3,1]],"date-time":"1985-03-01T00:00:00Z","timestamp":478483200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1985,3,1]],"date-time":"1985-03-01T00:00:00Z","timestamp":478483200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10365,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1985,3]]},"DOI":"10.1016\/s0747-7171(85)80033-x","type":"journal-article","created":{"date-parts":[[2008,4,9]],"date-time":"2008-04-09T10:00:48Z","timestamp":1207735248000},"page":"115-118","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["A bibliography on parallel inference machines"],"prefix":"10.1016","volume":"1","author":[{"given":"W.","family":"Bibel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"K.Aspetsbeger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(85)80033-X_bib1","article-title":"XP's: An Extended OR-Parallel Prolog System","author":"Aso","year":"1983","journal-title":"Tech. Rep. TR 023, ICOT, I983"},{"year":"1984","author":"Bibel","series-title":"Towards a Connection Machine for Logical Inference","key":"10.1016\/S0747-7171(85)80033-X_bib2"},{"key":"10.1016\/S0747-7171(85)80033-X_bib3","series-title":"A Data-Driven Model for Parallel Interpretation of Logic Programs","first-page":"517","author":"Bie","year":"1984"},{"year":"1984","author":"Borgwardt","series-title":"Parallel Prolog Using Stack Segments on Shared Memory Multiprocessors","key":"10.1016\/S0747-7171(85)80033-X_bib4"},{"key":"10.1016\/S0747-7171(85)80033-X_bib5","series-title":"Components for Restructurable Multi-Microprocessor Systems","first-page":"67","author":"Buchberger","year":"1983"},{"key":"10.1016\/S0747-7171(85)80033-X_bib6","series-title":"The Present State of the L-Networks Project","first-page":"178","author":"Buchberger","year":"1984"},{"year":"1983","author":"Burkimsher","series-title":"PRISM: A DSM Multiprocessor Reduction Machine for the Parallel Implementation of Applicative Languages","key":"10.1016\/S0747-7171(85)80033-X_bib7"},{"key":"10.1016\/S0747-7171(85)80033-X_bib8","series-title":"Execution of Bagof on the OR-parallel Token Machine","first-page":"551","author":"Ciepielewski","year":"1984"},{"key":"10.1016\/S0747-7171(85)80033-X_bib9","series-title":"ALICE: A Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages","first-page":"65","author":"Darlington","year":"1981"},{"year":"1983","author":"Darlington","series-title":"ALICE and the Parallel Evaluation of Logic Programs","key":"10.1016\/S0747-7171(85)80033-X_bib10"},{"year":"1984","author":"Giloi","series-title":"STARLET\u2014An Advanced Object Orientated Computer Architecture","key":"10.1016\/S0747-7171(85)80033-X_bib11"},{"year":"1983","author":"Goto","series-title":"A Highly Parallel Inference Engine: PIE","key":"10.1016\/S0747-7171(85)80033-X_bib12"},{"year":"1984","author":"Gregory","series-title":"Implementing PARLOG on the ALICE Machine","key":"10.1016\/S0747-7171(85)80033-X_bib13"},{"year":"1984","author":"Gregory","series-title":"The PARLOG Compiler and Abstract Machine","key":"10.1016\/S0747-7171(85)80033-X_bib14"},{"year":"1980","author":"Grit","series-title":"Performance of a Multiprocessor for Applicative Programs","key":"10.1016\/S0747-7171(85)80033-X_bib15"},{"key":"10.1016\/S0747-7171(85)80033-X_bib16","first-page":"2","article-title":"A Multiprocessor Model for Parallel Evaluation of Applicative Programs","volume":"4","author":"Grit","year":"1980","journal-title":"Journal of Digital Systems"},{"year":"1983","author":"Haridi","series-title":"An OR-parallel Token Machine. Logic Programming","key":"10.1016\/S0747-7171(85)80033-X_bib17"},{"year":"1983","author":"Hierata","series-title":"An Efficient Processing Method of Structured Data on the Highly Parallel Inference Engine PIE","key":"10.1016\/S0747-7171(85)80033-X_bib18"},{"year":"1983","author":"Hillyer","series-title":"Rapid Execution of AI Production Systems on the NON-VON Supercomputer","key":"10.1016\/S0747-7171(85)80033-X_bib19"},{"year":"1984","author":"Hillyer","journal-title":"Execution of Production Systems on a Massively Parallel Machine","key":"10.1016\/S0747-7171(85)80033-X_bib20"},{"key":"10.1016\/S0747-7171(85)80033-X_bib21","first-page":"8","volume":"1","author":"Ida","year":"1984"},{"year":"1984","author":"Ishida","series-title":"Simultaneous Firing of Production Rules on Tree-structured Machines","key":"10.1016\/S0747-7171(85)80033-X_bib22"},{"key":"10.1016\/S0747-7171(85)80033-X_bib23","article-title":"Parallel Inference Machine Based on the Data Flow Model","author":"Ito","year":"1983","journal-title":"Tech. Rep. TR-033, ICOT"},{"key":"10.1016\/S0747-7171(85)80033-X_bib24","article-title":"Parallel Prolog Machine Based on Data Flow Mechanism","author":"Ito","year":"1983","journal-title":"Proc. of the Logic Programming Conference (ICOT)"},{"key":"10.1016\/S0747-7171(85)80033-X_bib25","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1109\/TC.1983.1676151","article-title":"Cooperating Reduction Machines","volume":"C-32","author":"Kluge","year":"1983","journal-title":"IEEE Transactions on Computers"},{"issue":"5","key":"10.1016\/S0747-7171(85)80033-X_bib26","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF00995174","article-title":"A Network of Microprocessors to Execute Reductions Languages","volume":"8","author":"Mago","year":"1979","journal-title":"International Journal of Computation and Information Sciences"},{"issue":"6","key":"10.1016\/S0747-7171(85)80033-X_bib27","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/BF00995498","article-title":"A Network of Microprocessors to Execute Reductions Languages","volume":"8","author":"Mago","year":"1979","journal-title":"International Journal of Computation and Information Sciences"},{"key":"10.1016\/S0747-7171(85)80033-X_bib28","series-title":"Digest of Papers, COMPCON80","article-title":"A Cellular Computer Architecture for Functional Programming","author":"Mago","year":"1980"},{"key":"10.1016\/S0747-7171(85)80033-X_bib29","article-title":"A Highly Parallel Inference Engine PIE","volume":"EC 83-39","author":"Mairyama","year":"1983","journal-title":"Proc. of Electronic Computer Society of lECE of Japan"},{"year":"1982","author":"Marti","series-title":"The Bath Concurrent LISP Machine","key":"10.1016\/S0747-7171(85)80033-X_bib30"},{"key":"10.1016\/S0747-7171(85)80033-X_bib31","series-title":"Information Processing","first-page":"1983","article-title":"The Architectures in the Fifth Generation Computer","author":"Moto-oka","year":"1983"},{"key":"10.1016\/S0747-7171(85)80033-X_bib32","series-title":"The Architecture of a Parallel Inference Engine-PIE","first-page":"479","author":"Moto-oka","year":"1984"},{"key":"10.1016\/S0747-7171(85)80033-X_bib33","series-title":"Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine","first-page":"18","author":"Murakami","year":"1984"},{"key":"10.1016\/S0747-7171(85)80033-X_bib34","article-title":"An Approach to a Parallel Inference Machine Based on Control-Driven and Data-Driven Mechanisms","author":"Onai","year":"1984","journal-title":"Tech. Rep. TR-042, ICOT"},{"key":"10.1016\/S0747-7171(85)80033-X_bib35","article-title":"Lecture notes on the Bagel: a Systolic Concurrent PROLOG Machine","author":"Shapiro","year":"1983","journal-title":"ICOT Technical Memorandum TM-0031"},{"key":"10.1016\/S0747-7171(85)80033-X_bib36","series-title":"Systolic Programming: A Paradigm of Parallel Processing","first-page":"458","author":"Shapiro","year":"1984"},{"key":"10.1016\/S0747-7171(85)80033-X_bib37","series-title":"NON-VON: A Parallel Machine Architecture for Knowledge Based Information Processing","first-page":"961","author":"Shaw","year":"1981"},{"year":"1982","author":"Shaw","series-title":"The NON-VON Supercomputer","key":"10.1016\/S0747-7171(85)80033-X_bib38"},{"key":"10.1016\/S0747-7171(85)80033-X_bib39","series-title":"Architecture and Applications of DADO: A Large- Scale Parallel Computer for Artificial Intelligence","first-page":"850","author":"Stolfo","year":"1983"},{"year":"1984","author":"Stolfo","journal-title":"The DADO Production System Machine: System-level Details","key":"10.1016\/S0747-7171(85)80033-X_bib40"},{"year":"1984","author":"Stolfo","series-title":"DADO: A Parallel Processor for Expert Systems","key":"10.1016\/S0747-7171(85)80033-X_bib41"},{"year":"1981","author":"Stolfo","series-title":"Specialised Hardware for Production Systems","key":"10.1016\/S0747-7171(85)80033-X_bib42"},{"year":"1982","author":"Stolfo","series-title":"DADO: A Tree-structured Machine Architecture for Production Systems","key":"10.1016\/S0747-7171(85)80033-X_bib43"},{"year":"1983","author":"Stolfo","series-title":"The DADO Parallel Computer","key":"10.1016\/S0747-7171(85)80033-X_bib44"},{"key":"10.1016\/S0747-7171(85)80033-X_bib45","series-title":"Concurrent LISP on a Multi-Micro- Processor System","first-page":"949","author":"Sugimoto","year":"1981"},{"year":"1984","author":"Tamura","series-title":"Implementing Parallel Prolog on a Multiprocessor Machine","key":"10.1016\/S0747-7171(85)80033-X_bib46"},{"year":"1983","author":"Taylor","series-title":"Prolog on the DADO Machine: a Parallel System for High-speed Logic Programming","key":"10.1016\/S0747-7171(85)80033-X_bib47"},{"year":"1984","author":"Tick","series-title":"Towards a Pipelined Prolog-Processor","key":"10.1016\/S0747-7171(85)80033-X_bib48"},{"key":"10.1016\/S0747-7171(85)80033-X_bib49","series-title":"A Recursive Computer Architecture for VLSI","first-page":"229","volume":"vol. 10","author":"Treleaven","year":"1982"},{"year":"1983","author":"Uchida","series-title":"Inference Machine: From Sequential to Parallel","key":"10.1016\/S0747-7171(85)80033-X_bib50"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074771718580033X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074771718580033X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:17:20Z","timestamp":1760059040000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S074771718580033X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,3]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,3]]}},"alternative-id":["S074771718580033X"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(85)80033-x","relation":{},"ISSN":["0747-7171"],"issn-type":[{"type":"print","value":"0747-7171"}],"subject":[],"published":{"date-parts":[[1985,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A bibliography on parallel inference machines","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0747-7171(85)80033-X","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1985 Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}