[1] |
R. Balzer, N. Goldman and W. Wile,Informatliy in program specifications, IEEE Trans. SE 4 (1978), 94–103. |
[2] |
J. Barwise and J. Perry,Situations and Attitudes, MIT Press, 1983. · Zbl 0946.03007 |
[3] |
D. C. Berry and D. E. Broadbent,Expert Systems and the man-machine interface, Expert Systems, 3 (1986), 228–231, 4 (1978), 18–27. · doi:10.1111/j.1468-0394.1986.tb00204.x |
[4] |
M. Boden,Artificial intelligence and the ”Natural Man”, inArtificial Intelligence: Towards practical application, ed. T. Bernolds, G. Alberts, N. Holland, 1985. |
[5] |
N. Bohr,Atomteori og Naturbeskrivelse, Bianco Lunos Bogtrykkeri, Copenhagen, 1929. |
[6] |
J. H. Boose,Expertise Transfer for Expert System Design, Elsevier, 1986. · Zbl 0593.68064 |
[7] |
L. Bolc ed.,Computational Models of Learning, Springer, 1987. · Zbl 0629.68083 |
[8] |
F. M. Brown ed.,The Frame Problem in Artificial Intelligence, Kaufmann, 1987. |
[9] |
J. Conklin,Hypertext: an introduction and survey, EEE Computer (1987), 17–40. |
[10] |
A. G. Dean,EPIAD, Byte October (1985), 225–233. |
[11] |
H. Dreyfus and S. Dreyfus,Mind over Machine, Blackwell, 1986.expertise in management and education. · Zbl 0193.19401 |
[12] |
S. Findler ed.,Associative Networks, Academic Press, 1979. · Zbl 0473.68088 |
[13] |
C. Floyd,Outline of a paradigm change in software engineering, pp. 191–210, in:Computers and Democracy, ed. G. Bjerknes, P. Ehn, M. Kyng, Avebury, 1987. |
[14] |
C. F. Flores and T. Winograd,Understanding Computers and Cognition: a new Foundation for Design. · Zbl 0770.68011 |
[15] |
J. F. Girard,Linear logic, Theor. Comp. Sci. 50 (1987), 1–102. · Zbl 0625.03037 · doi:10.1016/0304-3975(87)90045-4 |
[16] |
J. A. Goguen and M. Moriconi,Formalization in Programming environments, IEEE Computer 20 (1987), 55–64. |
[17] |
J. A. Goguen,One, none, a hundred thousand specification languages, Proc. IFIP 86, N. Holland. · Zbl 0606.68010 |
[18] |
J. R. Hobbs and R. C. Moored, eds.,Formal Theories of the Common Sense World, Ablex Pub. Norwood N.J., 1985. |
[19] |
T. Hryce,A knowledge-based program-specific program generator, SIGPLAN Notices 22 (1987), 53–61. · doi:10.1145/24686.24690 |
[20] |
D. E. Knuth,Literature programming, Computer J. 27 (1984), 97–111. · Zbl 0533.68005 · doi:10.1093/comjnl/27.2.97 |
[21] |
S. A. Kripke,Wittgenstein on Rules and Private Language, Blackwell, 1982. |
[22] |
G. Lakoff,Women, Fire and Dangerous things: what categories reveal about the mind, Chicago Univ. Pr., 1987. |
[23] |
Papers by Chandra, Misra, Moses, Dolev, Halpern, Fagin, in Proc. 4ACM Principles of Distributed Computing, 1985. |
[24] |
B Mayoh,Free Blackboards and anarchic communities of experts, DAIMI PB207, 1986. |
[25] |
A. G. B. ter Meulen,Homogeneous and Individuated Quantifiers in Natural Language, Groningen, 1984. |
[26] |
M. Minsky,The Society of Mind, Simon and Schuster, 1987. |
[27] |
P. Naur,Formalization in program development, BIT 22 (1982), 437–453. · Zbl 0494.68013 · doi:10.1007/BF01934408 |
[28] |
P. Naur,Intuition in Software Development, pp. 60–79, in:Formal methods and Software Development, Springer LNCS 186 (1985). |
[29] |
P. Naur,Thinking and Turing’s test, BIT 26 (1986), 175–187. · Zbl 0625.68069 · doi:10.1007/BF01933743 |
[30] |
P. Naur,Programming as Theory Building, Microprocessing and Microprogramming 15 (1985), 253–261. · doi:10.1016/0165-6074(85)90032-8 |
[31] |
P. Naur,Programmeringssprog er ikke sprog. Hvorfor programmeringssprog er en vildledende betegnelse, Mål og mæle (1987), nov. |
[32] |
N. Prætorius,Subjekt og Objekt: en afhandling om psykologiens grundlagsproblemer, Thaning and Appel, 1981, Copenhagen. |
[33] |
Z. W. Pylyshyn and W. Demopoulos eds.,Meaning and Cognitive Structure: issues in the computational theory of mind, Ablex Pub. 1986, Norwood. |
[34] |
W. Rapaport,Philosophy, Artificial Intelligence and the Chinese Room argument, Abacus, summer (1986), 6–17. |
[35] |
D. Scott,Capturing Concepts with Data Structures, IFIP TC2 working conference, Aldeia das Acoeias, 1986, Portugal. |
[36] |
J. Searle,Literal meaning, Erkentnis 13 (1978), 207–224. · doi:10.1007/BF00160894 |
[37] |
J. F. Sowa,Conceptual Structures: Information processing in man and machine, Addison Wesley, 1984. · Zbl 0536.68077 |
[38] |
W. F. Richy,What can software engineers learn from artifical intelligence?, IEEE Computer 20 (1987), 43–54. |
[39] |
G. Wiederhold, Presentation at the same meeting as [35]. |