{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T01:31:22Z","timestamp":1698283882386},"reference-count":10,"publisher":"Hindawi Limited","issue":"8","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090806","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T21:36:07Z","timestamp":1183930567000},"page":"739-768","source":"Crossref","is-referenced-by-count":2,"title":["Towards the formal specification of an OPS5 production system architecture"],"prefix":"10.1155","volume":"9","author":[{"given":"David I.","family":"Gold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. T.","family":"Plant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550090806-BIB1","volume-title":"Programming from Specifications","author":"Morgan","year":"1989","unstructured":"Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"10.1002\/int.4550090806-BIB2","first-page":"153","volume-title":"Formal Methods in Human-Computer Interaction","author":"Sufrin","unstructured":"and , \u201cSpecification, analysis and refinement of interactive processes\u201d In, Formal Methods in Human-Computer Interaction, and , Eds., Cambridge University Press, Cambridge, England, pp. 153\u2013200."},{"key":"10.1002\/int.4550090806-BIB3","volume-title":"Artificial Intelligence","author":"Rich","year":"1983","unstructured":"Artificial Intelligence, McGraw-Hill, New York, 1983."},{"key":"10.1002\/int.4550090806-BIB4","volume-title":"Understanding Z., A Specification Language and its Semantics","author":"Spivey","year":"1989","unstructured":"Understanding Z., A Specification Language and its Semantics, Cambridge University Press, Cambridge, England, 1989."},{"key":"10.1002\/int.4550090806-BIB5","volume-title":"The Z Notation","author":"Spivey","year":"1990","unstructured":"The Z Notation, Englewood Cliffs, NJ, Prentice-Hall, 1990."},{"key":"10.1002\/int.4550090806-BIB6","author":"Hayes","year":"1985","unstructured":"Specification Case Studies, Technical Monograph PRG-46, Oxford University Computing Laboratory, Programming Research Group, Oxford, England, 1985."},{"key":"10.1002\/int.4550090806-BIB7","author":"Forgy","year":"1981","unstructured":"OPS5 User's Manual, Technical Report, CMU-CS-81-135, Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA 1981."},{"key":"10.1002\/int.4550090806-BIB8","volume-title":"An OPS5 Primer: an Introduction to Rule-based Expert Systems","author":"Sherman","year":"1990","unstructured":"and , An OPS5 Primer: an Introduction to Rule-based Expert Systems, Prentice-Hall, Englewood Cliffs, NJ, 1990."},{"key":"10.1002\/int.4550090806-BIB9","author":"McDermott","year":"1980","unstructured":"\u201cR1: an expert in the computer systems domain,\u201d In Proceedings AAAI-80, Stanford, CA, 1980."},{"key":"10.1002\/int.4550090806-BIB10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09438-9","volume-title":"Principles of Artificial Intelligence","author":"Nilsson","year":"1982","unstructured":"Principles of Artificial Intelligence, Springer-Verlag, Berlin, 1982."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090806","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:26Z","timestamp":1675956866000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090806"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":10,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090806","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}