{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:06:12Z","timestamp":1649203572546},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf01941125","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T10:23:42Z","timestamp":1122805422000},"page":"412-426","source":"Crossref","is-referenced-by-count":0,"title":["On formalisms"],"prefix":"10.1007","volume":"28","author":[{"given":"Brian","family":"Mayoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01941125_CR1","first-page":"94","volume":"SE 4","author":"R. Balzer","year":"1978","unstructured":"R. Balzer, N. Goldman and W. Wile,Informatliy in program specifications, IEEE Trans. SE 4 (1978), 94\u2013103.","journal-title":"IEEE Trans"},{"key":"BF01941125_CR2","unstructured":"J. Barwise and J. Perry,Situations and Attitudes, MIT Press, 1983."},{"key":"BF01941125_CR3","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1111\/j.1468-0394.1986.tb00204.x","volume":"3","author":"D. C. Berry","year":"1986","unstructured":"D. C. Berry and D. E. Broadbent,Expert Systems and the man-machine interface, Expert Systems, 3 (1986), 228\u2013231, 4 (1978), 18\u201327.","journal-title":"Expert Systems"},{"key":"BF01941125_CR4","unstructured":"M. Boden,Artificial intelligence and the \u201cNatural Man\u201d, inArtificial Intelligence: Towards practical application, ed. T. Bernolds, G. Alberts, N. Holland, 1985."},{"key":"BF01941125_CR5","volume-title":"Atomteori og Naturbeskrivelse","author":"N. Bohr","year":"1929","unstructured":"N. Bohr,Atomteori og Naturbeskrivelse, Bianco Lunos Bogtrykkeri, Copenhagen, 1929."},{"key":"BF01941125_CR6","unstructured":"J. H. Boose,Expertise Transfer for Expert System Design, Elsevier, 1986."},{"key":"BF01941125_CR7","doi-asserted-by":"crossref","unstructured":"L. Bolc ed.,Computational Models of Learning, Springer, 1987.","DOI":"10.1007\/978-3-642-82742-6"},{"key":"BF01941125_CR8","unstructured":"F. M. Brown ed.,The Frame Problem in Artificial Intelligence, Kaufmann, 1987."},{"key":"BF01941125_CR9","doi-asserted-by":"crossref","unstructured":"J. Conklin,Hypertext: an introduction and survey, EEE Computer (1987), 17\u201340.","DOI":"10.1109\/MC.1987.1663693"},{"key":"BF01941125_CR10","unstructured":"A. G. Dean,EPIAD, Byte October (1985), 225\u2013233."},{"key":"BF01941125_CR11","unstructured":"H. Dreyfus and S. Dreyfus,Mind over Machine, Blackwell, 1986.expertise in management and education."},{"key":"BF01941125_CR12","unstructured":"S. Findler ed.,Associative Networks, Academic Press, 1979."},{"key":"BF01941125_CR13","unstructured":"C. Floyd,Outline of a paradigm change in software engineering, pp. 191\u2013210, in:Computers and Democracy, ed. G. Bjerknes, P. Ehn, M. Kyng, Avebury, 1987."},{"key":"BF01941125_CR14","unstructured":"C. F. Flores and T. Winograd,Understanding Computers and Cognition: a new Foundation for Design."},{"key":"BF01941125_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. F. Girard","year":"1987","unstructured":"J. F. Girard,Linear logic, Theor. Comp. Sci. 50 (1987), 1\u2013102.","journal-title":"Theor. Comp. Sci."},{"key":"BF01941125_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/MC.1987.1663416","volume":"20","author":"J. A. Goguen","year":"1987","unstructured":"J. A. Goguen and M. Moriconi,Formalization in Programming environments, IEEE Computer 20 (1987), 55\u201364.","journal-title":"IEEE Computer"},{"key":"BF01941125_CR17","unstructured":"J. A. Goguen,One, none, a hundred thousand specification languages, Proc. IFIP 86, N. Holland."},{"key":"BF01941125_CR18","unstructured":"J. R. Hobbs and R. C. Moored, eds.,Formal Theories of the Common Sense World, Ablex Pub. Norwood N.J., 1985."},{"key":"BF01941125_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/24686.24690","volume":"22","author":"T. Hryce","year":"1987","unstructured":"T. Hryce,A knowledge-based program-specific program generator, SIGPLAN Notices 22 (1987), 53\u201361.","journal-title":"SIGPLAN Notices"},{"key":"BF01941125_CR20","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D. E. Knuth","year":"1984","unstructured":"D. E. Knuth,Literature programming, Computer J. 27 (1984), 97\u2013111.","journal-title":"Computer J."},{"key":"BF01941125_CR21","unstructured":"S. A. Kripke,Wittgenstein on Rules and Private Language, Blackwell, 1982."},{"key":"BF01941125_CR22","doi-asserted-by":"crossref","unstructured":"G. Lakoff,Women, Fire and Dangerous things: what categories reveal about the mind, Chicago Univ. Pr., 1987.","DOI":"10.7208\/chicago\/9780226471013.001.0001"},{"key":"BF01941125_CR23","unstructured":"Papers by Chandra, Misra, Moses, Dolev, Halpern, Fagin, in Proc. 4ACM Principles of Distributed Computing, 1985."},{"key":"BF01941125_CR24","doi-asserted-by":"crossref","unstructured":"B Mayoh,Free Blackboards and anarchic communities of experts, DAIMI PB207, 1986.","DOI":"10.7146\/dpb.v15i207.7558"},{"key":"BF01941125_CR25","doi-asserted-by":"crossref","unstructured":"A. G. B. ter Meulen,Homogeneous and Individuated Quantifiers in Natural Language, Groningen, 1984.","DOI":"10.1515\/9783110867909"},{"key":"BF01941125_CR26","doi-asserted-by":"crossref","unstructured":"M. Minsky,The Society of Mind, Simon and Schuster, 1987.","DOI":"10.21236\/ADA200313"},{"key":"BF01941125_CR27","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF01934408","volume":"22","author":"P. Naur","year":"1982","unstructured":"P. Naur,Formalization in program development, BIT 22 (1982), 437\u2013453.","journal-title":"BIT"},{"key":"BF01941125_CR28","doi-asserted-by":"crossref","unstructured":"P. Naur,Intuition in Software Development, pp. 60\u201379, in:Formal methods and Software Development, Springer LNCS 186 (1985).","DOI":"10.1007\/3-540-15199-0_5"},{"key":"BF01941125_CR29","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF01933743","volume":"26","author":"P. Naur","year":"1986","unstructured":"P. Naur,Thinking and Turing's test, BIT 26 (1986), 175\u2013187.","journal-title":"BIT"},{"key":"BF01941125_CR30","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0165-6074(85)90032-8","volume":"15","author":"P. Naur","year":"1985","unstructured":"P. Naur,Programming as Theory Building, Microprocessing and Microprogramming 15 (1985), 253\u2013261.","journal-title":"Microprocessing and Microprogramming"},{"key":"BF01941125_CR31","unstructured":"P. Naur,Programmeringssprog er ikke sprog. Hvorfor programmeringssprog er en vildledende betegnelse, M\u00e5l og m\u00e6le (1987), nov."},{"key":"BF01941125_CR32","unstructured":"N. Pr\u00e6torius,Subjekt og Objekt: en afhandling om psykologiens grundlagsproblemer, Thaning and Appel, 1981, Copenhagen."},{"key":"BF01941125_CR33","unstructured":"Z. W. Pylyshyn and W. Demopoulos eds.,Meaning and Cognitive Structure: issues in the computational theory of mind, Ablex Pub. 1986, Norwood."},{"key":"BF01941125_CR34","unstructured":"W. Rapaport,Philosophy, Artificial Intelligence and the Chinese Room argument, Abacus, summer (1986), 6\u201317."},{"key":"BF01941125_CR35","unstructured":"D. Scott,Capturing Concepts with Data Structures, IFIP TC2 working conference, Aldeia das Acoeias, 1986, Portugal."},{"key":"BF01941125_CR36","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF00160894","volume":"13","author":"J. Searle","year":"1978","unstructured":"J. Searle,Literal meaning, Erkentnis 13 (1978), 207\u2013224.","journal-title":"Erkentnis"},{"key":"BF01941125_CR37","unstructured":"J. F. Sowa,Conceptual Structures: Information processing in man and machine, Addison Wesley, 1984."},{"key":"BF01941125_CR38","first-page":"43","volume":"20","author":"W. F. Richy","year":"1987","unstructured":"W. F. Richy,What can software engineers learn from artifical intelligence?, IEEE Computer 20 (1987), 43\u201354.","journal-title":"IEEE Computer"},{"key":"BF01941125_CR39","unstructured":"G. Wiederhold, Presentation at the same meeting as [35]."}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941125.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941125\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:27:14Z","timestamp":1586352434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01941125"],"URL":"https:\/\/doi.org\/10.1007\/bf01941125","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}