UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)

UvA-DARE (Digital Academic Repository)

Computer Support by Knowledge Enhancement, Constraints and Methodology

de Greef, H.P.

Publication date1999

Link to publication

Citation for published version (APA):de Greef, H. P. (1999). Computer Support by Knowledge Enhancement, Constraints andMethodology. UvA.

General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s)and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an opencontent license (like Creative Commons).

Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, pleaselet the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the materialinaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letterto: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. Youwill be contacted as soon as possible.

Download date:18 Apr 2021

Bibliography

[Adamfc Ebert, 1982]

[Adelman et ai, 1993]

[Adèr, 1995]

[Alexander, 1987]

[Anderson, 1990]

[Andrews et ai, 1981]

[Anjewierden et ai, 1992]

[Bailey, 1981]

[Bannon k Schmidt, 1989]

E. E. Adam and R. J. Ebert. Production and Oper­ations Management. Prentice Hall, London, 1982.

L. Adelman, M.S. Cohen, T.A. Bresnick, J .O. Chinnis Jr., and K.B. Laskey. Real-time expert system interfaces, cogni­tive processes, and task performance: an empirical assessment. Human Factors, 35:243-261, 1993.

H. J. Adèr. Methodological Knowledge: Notation and Implementation in Expert Systems. PhD the­sis, University of Amsterdam, 1995. ISBN 90-9009022-3.

H. Alexander. Formalising techniques for dialogue design. In D. Diaper and R. Winder, editors, Peo­ple and Computers III: Proceedings of the Third Conference of the British Computer Society. Cam­bridge University Press, 1987.

J. R. Anderson. Cognitive psychology and its impli­cations. Freeman, New York, 1990. Third Edition.

F. M. Andrews, L. Klem, T. N. Davidson, P. M. O'Malley, and W. L. Rogers. Selecting Statistical techniques for Analysing Social Science Data, Sec­ond Edition. University of Michigan, Institute for Social Research, Ann Arbor, 1981.

A. Anjewierden, J. Wielemaker, and C. Toussaint. Shelley - computer aided knowledge engineering. Knowledge Acquisition, 4(1), 1992. Special is­sue: "The KADS approach to knowledge engineer­ing" .

R. A. Bailey. A unified approach to design of exper­iments. I. R. Statistical Soc, 144:214-223, 1981.

L.J. Bannon and K. Schmidt. CSCW: Four char­acters in search of a context. In Proceedings of the First European Conference on Computer Supported Cooperative Work, London, September 1989.

192

[Barnard et ai, 1989]

[Baron k Hershey, 1988]

[Baron et ai, 1988]

[Barthélémy et al., 1987]

[Bennet & Engelmore, 1979]

[Bennet, 1985]

[Bhandaru et ai, 1990]

[Boehm, 1988]

[Bond & Gasser, 1988]

[Bos, 1938]

[Bouvier k George, 1983]

P. Barnard, J. Ellis, and A. MacLean. Re­lating ideal knowledge and non-ideal verbalised knowledge to performance. In A. Sutcliffe and L. Macaulay, editors, People and Computers V, proc of the fifth conference of the BCS HCI-Specialist Group, pages 461-473, Cambridge, 5-8 september 1989. Cambridge University Press.

J. Baron and J.C. Hershey. Heuristics and biases in diagnostic reasoning. I. priors, error, costs, and test accuracy. Organizational Behavior and Hu­man Decision. Processes, 41:259-279, 1988.

J. Baron, J. Beattie, and J.C. Hershey. Heuris­tics and biases in diagnostic reasoning. II. congru­ence, information and certainty. Organizational Behavior and Human Decision Processes, 42:88-110, 1988.

S. Barthélémy, G. Edin, E. Toutain, and S. Becker. Requirements Analysis in KBS Development. ES­PRIT Project PI0*98 Deliverable D3 (task A2), Cap Sogeti Innovation, 1987.

J. Bennet and R. S. Engelmore. SACON: a knowl­edge based consultant for structural analysis. In Proceedings of the 6th IJCAI, pages 47-49, Tokyo, 1979.

J. S. Bennet. ROGET : A knowledge-based system for acquiring the conceptual structure of a diagnos­tic expert system. Journal of Automated Reason­ing, 1:49-74, 1985.

N. Bhandaru, W. B. Croft, and D. E. Mahling. A Task-Centered Theory of Cooperative Work. Tech­nical Report 90-25, COINS, University of Mas­sachusetts, Amherst MA 01003, March 1990. Sub­mitted to Conference on CSCW.

B.W. Boehm. A spiral model of software de­velopment and enhancement. IEEE Computer, 21(5):61-72, 1988.

A. H. Bond and L. Gasser. Readings in Distributed Artificial Intelligence. Morgan Kaufman, San Ma­teo, CA, 1988.

M. C. Bos. Experimental Study of Productive Col­laboration. Acta Psychologies 3(3):315-426, 1937.

A. Bouvier and M. George. Dictionnaire des Mathématiques. Presses Universitaires de France, 1983.

193

[Brachman k Schmölze, 1985]

[Brachman, 1979]

[Breuker k de Velde, 1994]

[Breuker k Wielinga, 1989]

[Breuker, 1991]

[Breuker et al., 1987a]

[Breuker et al, 1987b]

[Brown k Chandrasekaran, 1989]

[Buchanan k Shortliffe, 1984]

[Burmeister et al, 1993]

[Campbell k D'Inverno, 1990]

R. J. Brachman and J. G. Schmölze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9:171-216, 1985.

R. J. Brachman. On the epistemological status of semantic networks. In N. V. Findler, editor, Asso­ciative Networks, New York, 1979. Academic Press.

J.A. Breuker and W. Van de Velde, editors. CommonKADS Library for Expertise Modeling: reusable problem solving components. IOS-Press/Ohmsha, Amsterdam/Tokyo. 1994.

J. A. Breuker and B. J. Wielinga. Model Driven Knowledge Acquisition. In P. Guida and G. Tasso, editors, Topics in the Design of Expert Systems, pages 265-296, Amsterdam, The Netherlands, 1989. North-Holland.

J.A. Breuker. Learning construction problem solv­ing. In R.C. Schank, editor, Proceedings of the In­ternational Conference on the Learning Sciences. AACE, Charlotesville, VA, 1991.

J. Breuker, R. Winkels, and J. Sandberg. A shell for intelligent help systems. In Proceedings of the 10th I.JCAI, pages 167-173, Milano, 1987.

J. A. Breuker, B. J. Wielinga, M. van Someren, R. de Hoog, A. Th. Schreiber, P. de Greef, B. Bre-deweg, J. Wielemaker, J. P. Billault, M. Davoodi, and S. A. Hayward. Model Driven Knowledge Ac­quisition: Interpretation Models. ESPRIT Project 1098, Deliverable Dl , University of Amsterdam and STL Ltd, 1987.

D. Brown and B. Chandrasekaran. Design Problem Solving: Knowledge Structures and Control Strate­gies. Pit tman, London, 1989. B. G. Buchanan and E. H. Shortliffe. Rulebased Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project. Addison Wesley, Reading, Massachusetts, 1984. B. Burmeister, A. Haddadi, and K. Sunder-meyer. Generic configurable cooperation protocols for multi-agent systrems. In .1. P. Mueller, editor, Pre-Proceedings of the 5th European Worksop on "Modelling Autonomous Agents in a Multi-Agent World", pages - , Neuchatel, 1993.

J. A. Campbell and M. P. D'Inverno. Knowledge interchange protocols. In Y. Demazeau and J. P. Müller, editors, Decentralized A. I. Elsevier Science Publishers (North-Holland), 1990.

194

[Card et al, 1983]

[Carroll & Rosson, 1987]

[Carroll, 1989]

[Chandrasekaran, 1990]

[Chapanis, 1988]

[Chen, 1976]

[Chowdhury, 1987]

[Clancey & Letsinger, 1984]

[Clancey, 1983]

[Clancey, 1985]

[Clegg et ai, 1989]

[Coats & Vlaeminke, 1987]

S.K. Card, T.P. Moran, and A. Newell. The Psychology of Human-Computer Interaction. Erl­baum, Hillsdale, NJ, 1983.

J.M. Carroll and M.B. Rosson. Paradox of the active user. In J.M. Carroll, editor, Interfacing thought: cognitive aspects of human-computer in­teraction, pages 80-111. MIT, Cambridge Mas., 1987.

J.M. Carroll. Feeding the interface eaters. In A. Sutcliffe and L. Macaulay, editors, People and Computers V, proc of the fifth conference of the BCS HCI-Specialist Croup, pages 36-48, Cam­bridge, 5-8 september 1989. Cambridge University Press.

B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine. 11:59-71, 1990.

A. Chapanis. Interactive human communication. In I. Greif, editor, Computer Supported Coopera­tive Work: A book of readings. Morgan Kaufmann, 1988.

P. Chen. The entity-relationship model - toward an unified view of data. ACM Transactions on Database Systems, 1:9-36, 1976.

Shamsul I. Chowdhury. Statistical expert systems - a special application area for knowledge-based computer methodology. Technical Report Thesis No 104, dep. of Computer and Information Science, Linkoping University, 1987.

W.J. Clancey and R. Letsinger. NEOMYCIN: Re­configuring a rulebased expert system for applica­tion to teaching. In W.J. Clancey and E.H. Short-liffe, editors, Readings in Medical Artificial Intelli­gence: The First Decade, pages 361-381. Addison-Wesley, Reading, MA, 1984.

W. J. Clancey. The epistemology of a rule based system -a framework for explanation. Artificial In­telligence, 20:215-251, 1983.

W. J. Clancey. Heuristic classification. Artificial Intelligence, 27:289-350, 1985.

C. Clegg, S. Ravden, M. Corbett, and G. Johnson. Allocation functions in computer integrated manu­facturing: a review and a new method. Behaviour and Information Technology, 8:175-190, 1989.

R.B. Coats and I. Vlaeminke. Man-computer inter­faces: an introduction to software design and im-

195

[Codd, 1979]

[Cohen k Levesque, 1990]

[Cohen k Perrault, 1979]

[Connah k Wavish, 1990]

[Coombs et ai, 1970]

[Curtis et ai, 1992]

[Darius et ai, 1993]

[Davis k Smith, 1983]

[deFeber k deGreef, 1992]

[deGreef & Breuker, 1985]

[deGreef k Breuker, 1989]

plementatwn. Blackwell Scientific PubL, Oxford, London, etc., 1987.

E.F. Codd. Extending the database relational model to capture more meaning. Transactions on Database Systems, 4(4):397-434, 1979.

P.R. Cohen and H.J. Levesque. Intention is choice with comittment. Artificial Intelligence, 42:213-262, 1990.

P.R. Cohen and CR. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3(3):177-212, 1979.

D. M. Connah and P.R. Wavish. An experiment in cooperation. In Y. Deamzeau and J-P Mueller, editors, Proceedings of the 1st European Work­shop on Modeling Autonomous Agents in a Multi-Agent World. Elsevier Science Publishers (North-Holland), Amsterdam, 1990.

C.H. Coombs, R.M. Dawes, and A. Tversky. Math­ematical Psychology. Prentice Hall, 1970.

B. Curtis, M.I. Kellner, and J. Over. Process mod­eling. Communications of the ACM, 1992.

P. Darius, M. Boucneau, P. deGreef, E. deFeber, and K. Froeschl. Modelling meta data. Statistical Journal of the United Nations ECE, 10(2):171-179, 1993. also in: Statistical Meta Information Sys­tems, Proceedings of the Workshop, Luxembourg, 2-4 February 1993. Eurostat.

Randall Davis and Reid G. Smith. Negotiation as a metaphor for distributed problem solving. Arti­ficial Intelligence, 20:63-109, 1983.

Ed. de Feber and Paul de Greef. Toward a for­malised meta-data concept. In Y. Dodge and J. Whittaker, editors, Proceedings of Compstat 1992, pages 351-356, Heidelberg, 1992. Physica Verlag.

Paul de Greef and Joost Breuker. A case study in structured knowledge acquisition. In Proceed­ings of the 9th IJCAI, pages 390-392, Los Angeles, 1985.

Paul de Greef and Joost Breuker. A methodology for analysing modalities of system/user coopera­tion for KBS. In J. Boose, B. Gaines, and J.G. Ganascia, editors, Proceedings European Knowl­edge Acquisiton Workshop, EKAW'89, pages 462-473, Paris, France, 1989. Association Française

196

[deGreef k Breuker, 1992]

[deGreef k Neerincx, 1995]

[deGreef et ai, 1988]

[deGreef et ai, 1993]

[DePaoli feTisato, 1991]

[Desurvire et ai, 1992]

[Dix et ai, 1993]

[Dougherty k Giardina, 1988]

[Drury et ai, 1987]

[Elkerton k Palmiter, 1991]

pont la Cybernétique Economique et Technique. ISBN 2-90367763-8.

H.P. de Greef and J.A. Breuker. Analysing system-user cooperation in KADS. Knowledge Acquisition, 4:89-108, 1992.

H. P. de Greef and M. A. Neerincx. Cognitive support: designing aiding to supplement human knowledge. Int. J. of II urn an-Computer Studies, 42:531-571, 1995.

P. de Greef, J. Breuker, G. Schreiber, and J. Wiele-maker. StatCons: Knowledge acquisition in a com­plex domain. In Proceedings EC AI'88, Munich, 1988.

Paul de Greef, Keith Clark, and Frank McCabe. Towards a specification language for cooperation methods. In Proceedings of the 16th German AI-Conference (GWAI'92), Springer Lecture Notes on AI, vol 611, pages 313-320, Berlin, Germany, 1993. Springer-Verlag.

F DePaoli and F. Tisato. A model for real-time co-operation. In L. Bannon, M. Robinson, and K. Schmidt, editors, Proceedings of the Second Eu­ropean Conference on Computer-Supported Coop­erative Work, pages 203-218, Amsterdam, The Netherlands, 1991. Kluwer Academic Publishers.

H.W. Desurvire, J.M. Kondziela, and M.E. At-wood. What is gained and lost when using eval­uation methods other than empirical testing. In A. Monk, D. Diaper, and M.D. Harrison, edi­tors, People and Computers VII: Proceedings of the HCI'92 Conference. Cambridge University Press, 1992.

A. Dix, J. Finlay, G. Abowd, and R. Beale. Human-computer interaction. Prentice Hall, New York, etc, 1993.

E. R. Dougherty and C. R. Giardina. Mathematical Methods for Artificial Intelligence and Autonomous Systems. Prentice-Hall International, Englewood Cliffs, NJ, 1988.

C G . Drury, B. Paramore, H .P van Cott, S.M. Grey, and E.N. Corlett. Task analysis. In G. Sal-vendy, editor, Handbook of Human Factors, chap­ter 3.4, pages 370-400. Wiley, 1987.

J. Elkerton and S.L. Palmiter. Designing help us­ing a GOMS model: an information retrieval eval­uation. Human Factors, 33:185-204, 1991.

197

[Elkerton, 1988]

[Ellis k Nutt, 1988]

[Ericsson k Simon, 1984]

[Ferguson, 1992]

[Fienberg, 1977]

[Fikes, 1982]

[Fischer, 1990]

[Fischer et ai, 1993]

[Fisher, 1991]

[Froeschl, 1997]

[Gale, 1986a]

[Gale, 1986b]

[Gasser, 1986]

J. Elkerton. Online aiding for human-computer interfaces. In M. TIelander, editor, Handbook of Human-Computer Interaction, pages 345-364. El­sevier, North-Holland, 1988.

C. A. Ellis and G. J. Nutt . Office information sys­tems and computer science. In I. Greif, editor, Co­operative Computer Supported Cooperative Work: A book of readings. Morgan Kaufmann, 1988. K. A. Ericsson and H. A. Simon. Protocol Analysis: Verbal Reports as Data. MIT Press, Cambridge, Mass., 1984.

I. A. Ferguson. Toward an architecture for adap­tive, rational, mobile agents. In E. Werner and Y. Demazeau, editors, Decentralized A.I. 3 : pro­ceedings of the third European Workshop on Mod­elling Autonomous Agents in a Multi-agent World, Kaiserslautern, Germany, August 5-7, 199J, Ams­terdam, 1992. North-Holland.

S. E. Fienberg. The Analysis of Cross-Classified Categorical Data. MIT Press, Boston, 1977.

R. E. Fikes. A commitment-based framework for describing informal cooperative work. Cognitive Science, 6:331-347, 1982.

G. Fischer. Communication requirements for coop­erative problem solving systems. Information Sys­tems, 15(l):21-36, 1990.

G. Fischer, K. Nakakoji, .1. Ostwald. G. Stahl, and T. Sumner. Embedding computer-based critics in the contexts of design. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proceedings of INTERCHIPS, pages 157-164, New York, 1993. ACM.

J. Fisher. Defining the novice user. Behaviour and Information Technology, 10:437-441, 1991. K.A. Froeschl. Metadata Management in Statis­tical Information Processing. Springer, Wien;New York, 1997.

W. A. Gale, editor. Ariicial Intelligence and Statis­tics. Addison-Wesley, Reading, Mass., 1986.

W. A. Gale. REX review. In W. A. Gale, editor, Artificial Intelligence and Statistics, pages 173-227, Reading, Massachusetts, 1986. Addison Wes­ley.

L. Gasser. The integration of computing and rou­tine work. ACM Transactions on Office Informa­tion systems, 4:205-225, 1986.

198

[Gasser, 1991]

[Genesereth k Nilsson, 1987]

[Gifi, 1990]

[Gomes k Velho, 1997]

[Gould, 1989]

[Gray et ai, 1992]

[Gray et ai, 1993]

[Greef et ai, 1993]

[Green, 1986]

[Greif, 1988]

[Grosz & Sidner, 1990]

[Gruber, 1992]

[Gugerty et ai, 1991]

L. Gasser. Social conceptions of knowledge and action: DAI foundations and open system seman­tics. Artificial Intelligence, 47:107-138, 1991. spe­cial volume: Foundations of AI.

M. R. Genesereth and N . J . Nilsson. Logical Foun­dations of Artificial Intelligence. Morgan Kauf­mann, Los Altos, California, 1987.

A. Gifi. Nonlinear multivariate analysis. John Wi­ley and Sons, Chicester, 1990.

J. Gomes and L. Velho. Image Processing for Com­puter Graphics. Springer, New York, 1997. J. Gould. How to design usable systems. In M. He-lander, editor, Handbook of Human Computer In­teraction. North-Holland, Amsterdam, 1989. W.D. Gray, B.E. John, and M.E. Atwood. The precis of project Ernestine or an overview of a vali­dation of GOMS. In P. Bauersfeld, J. Bennett, and G. Lynch, editors, CHV92 Conference Proceedings, pages 307-312, New York, 1992. ACM.

W.D. Gray, B.E. John, and M.E. Atwood. Project Ernestine: Validating a GOMS analysis for predict­ing and explaining real-world task performance. Human Computer Interaction, 8:237-309, 1993. H.P. De Greef, M.A. Neerincx, and C.M.M. Hurts. Integrating human-computer interaction with soft­ware engineering. In G.C. van der Veer, T.N. White, and A.G. Arnold, editors, Interacting with Computers: preparing for the nineties, pages 129-139. SIC, 1993.

M. Green. A survey of three dialogue models. ACM Transactions on Graphics, 5:244-277, 1986. I. Greif, editor. Computer Supported Cooperative Work: A Book of Readings. Morgan Kaufmann, San Mateo, California, 1988.

B. J. Grosz and C. Sidner. Plans for discourse. In P. Cohen, J. Morgan, and M. Pollack, editors, Intentions in Communication. Bradford Books at MIT Press, 1990.

T. Gruber. Ontolingua: A mechanism to support portable ontologies, version 3.0. Technical report, Knowledge Systems Laboratory, Stanford Univer­sity, California, 1992.

L. Gugerty, S. Halgren, J. Gosbee, and M. Rudisill. Using GOMS models and hypertext to create rep­resentations of medical procedures for online dis­play. In Proceedings of the Human Factors Society

199

[Hand, 1987]

[Hand, 1992]

[Haux, 1986]

[Hayes-Roth et ai, 1983]

[Hays, 1974]

[Hayward et ai, 1987]

[Hewitt, 1991]

[Hickman et ai, 1989]

[Hoare, 1978]

[Hoare, 1985]

[Hollnagel, 1989]

[Holt et ai, 1983]

[Hutchins et ai, 1986]

35th annual meeting, pages 713-717. Human Fac­tors Society, Santa Monica, CA, 1991.

D. J. Hand. A statistical knowledge enhancement system. The Journal of the Royal Statistical Soci­ety (series A), 150(4):334-345, 1987.

D.J. Hand. A.I. in statistics. In K. Weichsel-berger and W. Kloesgen, editors, New Techniques and Technologies for Statistics. Eurostat, February 1992.

R. Haux, editor. Expert Systems in Statistics. Fisher, Stuttgart , 1986.

F. Hayes-Roth, D. A. Waterman, and D. B. Lenat. Building Expert Systems. Addison-Wesley, New York, 1983.

W. L. Hays. Statistics for the Social Sciences. Holt, Rinehart and Winston, London, 1974.

S. A. Hayward, B. J. Wielinga, and J. A. Breuker. Structured analysis of knowledge. Inter­national Journal of Man-Machine Studies, 26:487-498, 1987.

C. Hewitt. Open Information System semantics for Distributed Artificial Intelligence. Artificial Intel­ligence, 47:79-106, 1991. special volume: Founda­tions of AI.

F.R. Hickman, J.L. Killin, L. Land, T. Mulhall, D. Porter, and R.M. Taylor. Analysis for Knowl­edge Based Systems: a practical guide to the KADS methodology. Ellis Horwood, Chicester, 1989.

C. A. R. Hoare. Communicating sequential pro­cesses. Communications of the ACM, 21(8):666-677, 1978.

C.A.R. Hoare. Communicating Sequential Pro­cesses. Prentice-Hall, Englewood Cliffs, N.J., 1985.

E. Hollnagel. Evaluation of expert systems. In P. Guida and G. Tasso, editors, Topics in the De­sign of Expert Systems: Methodologies and Tools, pages 377-417, Amsterdam, 1989. North Holland.

A.W. Holt, H.R. Ramsey, and J.D. Grimes. Co­ordination system technology at the basis for a programming environment. Electrical Communi­cation, 57:307-314, 1983.

E.L. Hutchins, J .D. Hollan, and D.A. Norman. Di­rect manipulation interfaces. In D.A. Norman and S.W. Draper, editors, User centered system design:

200

[Janssen et ai, 1993]

[John k Vera, 1992]

[Johnson, 1992]

[Johnson et al, 1993]

[Just k Carpenter, 1992]

[Karat, 1988]

[Karat et al, 1992]

[Kieras k Meyer, 1994]

[Kieras k Poison, 1985]

new perspectives on human-computer interaction. Lawrence Erlbaum, 1986.

C. Janssen, A. Weisbecker, and J. Ziegler. Gen­erating user interfaces from data models and dia­logue net specifications. In S. Ashlund, K. Mullet, A. Henderson, E. Ilollnagel, and T. White, edi­tors, Proceedings of INTERCHIPS, pages 418-423. ACM, New York, 1993.

B.E. John and A.H. Vera. A GOMS analysis of a graphic, machine-paced, highly interactive task. In P. Bauersfeld, J. Bennett, and G. Lynch, edi­tors, CHI'92 Conference Proceedings, pages 397-404. Addison Wesley, 1992.

P. Johnson. Human-computer interaction: Psy­chology, task analysis and software engineering. McGraw-Hill, London, etc., 1992.

P. Johnson, S. Wilson, P. Markopoulos, and J. Py-cock. ADEPT - advanced design environment for prototyping with task models. In S. Ash­lund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proceedings of INTERCHI'93, pages 56-56, New York, 1993. ACM.

M. A. Just and P. A. Carpenter. A capacity theory of comprehension: individual differences in work­ing memory. Psych. Rev., 99(1):122-149, 1992.

J. Karat. Software evaluation methodologies. In M. Helander, editor, Handbook of Human-Computer Interaction, pages 891-903. Elsevier, North-Holland, 1988.

C M . Karat, R. Campbell, and T. Fiegel. Compar­ison of empirical testing and walkthrough meth­ods in user interface evaluation. In P. Bauersfeld, J. Bennett, and G. Lynch, editors, CHV92 Confer­ence Proceedings, pages 397-404. Addison Wesley, 1992.

D.E. Kieras and D.E. Meyer. The EPIC architec­ture for modelling human information-processing and performance: a brief introduction. Technical Report TR-94/ONR-EPIC-1, University of Michi­gan, 1994.

D. Kieras and P. G. Poison. An approach to the formal analysis of user complexity. Interna­tional Journal of Man-Machine Studies, 22:365-394, 1985.

201

[Kim k Foley, 1993]

[Kirlik, 1993]

[Kraut et ai, 1988]

[Langefors, 1977]

[Larichev k Moshkovich, 1988]

[Levin k Moore, 1977]

[Lux et ai, 1993]

[Madni, 1988]

[Maki k Thompson, 1973]

[M alone & Crowston, 1990]

[Malone, 1988]

[Marcus k McDermott, 1989]

[McCullagh k Neider, 1983]

W.C. Kim and J.D. Foley. Providing high-level control and expert assistance in the user interface presentation design. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, edi­tors, Proceedings of INTERCHIPS, pages 430-437. ACM, New York, 1993.

A. Kirlik. Modeling strategic behavior in human-automation interaction: why an aid can (and should) go unused. Human Factors, 35:221-242, 1993.

R. Kraut, J. Galegher, and C. Edigo. Relationships and tasks in scientific research collaborations. Hu­man Computer Interaction, 3(1), 1988.

B. Langefors. Information systems theory. Inf. Syst., 2:207-219, 1977.

O.I. Larichev and H.M. Moshkovich. Limits to decision-making ability in direct multi attr ibute al­ternative evaluation. Organizational Behavior and Human Decision Processes, 42:217-233, 1988.

J.A. Levin and J. A. Moore. Dialogue-games: metacommunication structures for natural lan­guage interaction. Cognitive Science, 1:395-420, 1977.

A. Lux, P. de Greef, F. Bomarius, and D. Steiner. A model for supporting human-computer cooper­ation. In Proceedings of the ICICIS, Rotterdam, 1993. IEEE Computer Society Press.

A.M. Madni. The role of human factors in expert system design and acceptance. Human Factors, 30:395-414, 1988.

D. P. Maki and M. Thompson. Mathematical mod­els and applications. Prentice Hall, Englewood Cliffs, New Jersey, 1973.

T.M. Malone and K. Crowston. What is coordi­nation theory and how can it help design cooper­ative work systems? In CSCW'90: Proceedings of the Conference on Computer-Supported Cooper­ative Work, New York, 1990. ACM.

T. M. Malone. What is coordination theory. Tech­nical report, MIT, Cambridge, Ma, 1988.

S. Marcus and J. McDermott. SALT: A knowl­edge acquisition language for propose-and-revise systems. Artificial Intelligence, 39( l ) : l -38, 1989.

P. McCullagh and J. A. Neider. Generalized linear models. Chapman and Hall Ltd., London, 1983.

202

[McKeown, 1985]

[Miller, 1956]

[Miller, 1983]

[Miller, 1984]

[Mintzberg, 1983]

[Molenaar, 1988]

[Moran, 1981]

[Moran, 1983]

[Motta et al.. 1994]

[Neerincx & deGreef, 1993a]

K. McKeown. Discourse strategies for generating natural language text. Artificial Intelligence, 27 :1-41, 1985.

G.A. Miller. The magical number seven, plus or minus two: some limits on our capacity for pro­cessing information. Psychological Review, 63:81-97, 1956.

P. L. Miller. Critiquing anestetic management: The ATTENDING computer system. Anesthesi­ology, 58(4):362-369, 1983.

P. L. Miller. A Critiquing Approach to Expert Computer Advice: ATTENDING. Pittman, Lon­don, 1984.

H. Mintzberg. Structure in Fives: Designing Ef­ficient Organisations. Prentice-Hall, Englewood Cliffs, NJ, 1983.

I. W. Molenaar. Statistical consultants and sta­tistical expert systems. In D. Edwards and N. E. Raun, editors, Proceedings COMPSTAT 88, pages 187-192, Heidelberg, 1988. Physica Verlag.

T.P. Moran. The command language grammar: a representation for the user interface of interactive computer systems. International lournal of Man-Machine Studies, 15:3-50, 1981.

T.P. Moran. Getting into a system: external-internal task mapping analysis. In A. Janda, ed­itor, Proceedings CHI'83, pages 45-49, New York, 1983. ACM.

E. Motta, K. OHara, N. R. Shadbolt, and Z. Zdra-hal. A vital solution to the sisyphus ii elevator design problem. In A. Th. Schreiber and W. P. Birmingham, editors, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Sys­tems Workshop. Volume 3: Sisyphus II - VT El­evator Design Problem, pages 44.1-44.29, Alberta, Canada, January 30 - February 4 1994. SRDG Publications, University of Calgary.

M. A. Neerincx and H. P. de Greef. When the help system does not help: an evaluation of two SPSS-interfaces used by novices. In F. J. Maarse, A. E. Akkerman, A. N. Brand, L. J. M. Mulder, and M. J. Van der Stelt, editors, Computers m Psy­chology: Tools for experimental and applied psy­chology, volume 4, chapter 9, pages 94-104. Swets and Zeitlinger, Amsterdam, Lisse, 1993.

203

[Neerincx k deGreef, 1993b]

[Neerincx k deGreef, 1998]

[Nelder k Wedderburn, 1972]

[Nelder, 1974]

[Newell, 1982]

[Nielsen k Phillips, 1993]

[Norman, 1986a]

[Norman, 1986b]

[Numaoka, 1990]

[OKeefe, 1981]

[Philips et al, 1988]

M.A. Neerincx and H.P. de Greef. How to aid non­experts. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proceedings of INTERCHI'93, pages 165-171, New York, 1993. ACM.

M. A. Neerincx and H. P. de Greef. Cognitive support: designing aiding to supplement human knowledge. HCl, 42:531-571, 1998. J. A. Neider and R. W. M. Wedderburn. General­ized linear models. J. R. Statistical Soc, 135:370 384, 1972.

J. A. Neider. Genstat, a statistical system. In G. Bruckman et al., editor, Proceedings COMP-STAT'74, pages 499-506, Wien, 1974. Physica ver­lag.

A. Newell. The knowledge level. Artificial Intelli­gence, 1982:87-127, 1982.

J. Nielsen and V.L. Phillips. Estimating the rel­ative usability of two interfaces: heuristic, for­mal, and empirical methods compared. In S. Ash­lund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proceedings of INTERCHI'93, pages 67-73, New York, 1993. ACM. D.A. Norman. Cognitive engineering. In D.A. Norman and S.W. Draper, editors, User-Centered System. Design: New Perspectives on Human-Computer Interaction, pages 31-65. Lawrence Erl-baum Associates., Hillsdale, NJ, 1986. D.A. Norman. Cognitive engineering. In D.A. Norman and S.W. Draper, editors, User-Centered System Design: New Perspectives on Human-Computer Interaction, pages 31-65. Lawrence Erl-baum, Hillsdale, N.J., 1986.

Chisato Numaoka. A conceptual framework for modeling conversation in open distributed systems. PhD thesis, Dep. of Electrical Engineering, Keyo University, 3-14-1 Hiyoshi, Kohuku-ku, Yokahama 223, Japan, 1990.

R. A. OKeefe. Automated statistical analysis. DAI working paper 104, Department of Artificial Intel­ligence, University of Edinburgh, 1981.

M.D. Philips, H.S. Bashinski, H.L. Ammerman, and C M . Fligg Jr . A task analytic approach to dialogue design. In M. Helander, editor, Handbook of Human-Computer Interaction. Elsevier, North-Holland, 1988.

204

[Pietras k Sandvik, 1990]

[Pitt et ai, 1995]

[Portier k Lai, 1983]

[Post, 1996]

[Poulton, 1961]

[Price, 1985]

[Rasmussen, 1982]

[Rasmussen, 1983]

[Rasmussen, 1986]

[Reason, 1990]

[Rosen, 1991]

[Rosenschein et al, 1986]

[Rouse, 1988]

C. Pietras and O. Sandvik. A review of project management tasks and tools. Technical Report CSL-90-1, University of Massachusetts at Amherst, Collaborative Systems Laboratory, 1990.

J. Pitt , M. Anderton, and J. Cunningham. Nor­malized interactions between autonomous agents: a case study in inter-organizational project man­agement. In CoopGroup, editor, COOP'95: Pro­ceedings of the International Workshop on the De­sign of Cooperative Systems, pages 76-95. INRIA, 1995.

K. M. Portier and P-Y. Lai. A statistical expert system for analysis determination. In Proceedings of the Statistical Computing Section, pages 309-311. American Statistical Association, 1983.

M. M. Post. Knowledge Technology in Pre-Hospital Emergency Management. PhD thesis, University of Amsterdam, 1996. ISBN 90-5470-045-9.

J. A. Brown k E. C. Poulton. Measuring the spare "mental capacity" of car drivers by a subsidiary task. Ergonomics, 4:35-40, 1961.

H.E. Price. The allocation of functions in systems. Human Factors, 27:33-45, 1985.

J. Rasmussen. Human errors: a taxonomy for de­scribing human malfunctioning in industrial instal­lations. Journal of Occupational Accidents, 4:443-467, 1982.

J. Rasmussen. Skills, rules and knowledge; signals, signs and symbols and other distinctions in human performance models. IEEE Transactions on Sys­tems, Man and Cybernetics, 13:311-333, 1983.

J. Rasmussen. Information Processing and Human-Machine Interaction. Systems Science and Engineering. North-Holland, 1986. J. Reason. Human error. Cambridge University Press, Cambridge, 1990.

R. Rosen. Life itself: a comprehensive enquiry into the nature, origin and fabrication of life. Columbia University Press, 1991.

J. S. Rosenschein, M. Ginsburg, and M .R. Gene-sereth. Cooperation without communication. In Proceedings of the AAAI1986, Los Altos CA, 1986. Morgan Kaufman.

W.B. Rouse. Adaptive aiding for human-computer control. Human Factors, 30:431-443, 1988.

205

[Rumbaugh et ai, 1991]

[Sandberg et al., 1988]

[Sassen, 1993]

[Schreiber et ai, 1993]

[Schreiber et ai, 1994]

[Searle, 1969]

[Shepherd, 1989]

[Shepherd, 1993]

[Shneiderman, 1987]

[Shortliffe, 1989]

[Siegel, 1956]

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design. Prentice Hall, Englewood Cliffs, New Jer­sey, 1991.

J. A. C. Sandberg, J. A. Breuker, and R. Winkels. Research on help-systems: Empirical study and model construction. In Y. Kodratoff, editor, Pro­ceedings of the European Conference on Artificial Intelligence, ECAI-88, pages 106 - 111, London, 1988. Pitman.

A. Sassen. Design issues of human operator sup­port systems. PhD thesis, Delft University of Tech­nology, 1993.

A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker, editors. KADS: A Principled Approach to Knowledge-Based System Development, volume 11 of Knowledge-Based Systems Book Series. Aca­demic Press, London, 1993. ISBN 0-12-629040-7.

A. Th. Schreiber, P. Terpstra, P. Magni, and M. van Velzen. Analysing and implementing VT using COMMON-KADS. In A. Th. Schreiber and W. P. Birmingham, editors, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop. Volume. 3: Sisyphus II - VT Elevator Design Problem, pages 44.1-44.29, Al­berta, Canada, January 30 - February 4 1994. SRDG Publications, University of Calgary.

J. R. Searle. Speech acts. Cambridge University Press, Boston, MA, 1969.

A. Shepherd. Analysis and training in information technology tasks. In D. Diaper, editor, Task Analy­sis for Human-Computer Interaction, pages 15-55, Chichester, 1989. Ellis Horwood.

A. Shepherd. An approach to information require­ments specification for process control tasks. Er­gonomics, 36:1425—1438, 1993. Special issue cog­nitive processes in complex tasks.

B. Shneiderman. Designing the user interface: strategies for effective human-computer interac­tion. Addison-Wesley, Reading, Massachusetts, etc., 1987.

E. H. Shortliffe. Testing reality, the introduction of decision-support technologies for physicians. Meth­ods of Information in Medicine, 28:1-5, 1989. S. Siegel. Non-parametric methods for the behav­ioral sciences. McGraw-Hill, New York, 1956.

206

[Silverman, 1991]

[Silverman, 1992]

[Smith k Davis, 1981]

[Smith, 1980]

[Smithers, 1992]

[Sperandio, 1971]

[Sperandio, 1978]

[Steels, 1990]

[Steiner et ai, 1990]

[Steiner et ai, 1993]

[Stevens & Collins, 1977]

[Stuart, 1987]

B. G. Silverman. Expert critics: operationalizing the judgement/decisionmaking literature as a the­ory of "bugs" and repair strategies. Knowledge Ac­quisition, 3:175-214, 1991.

B.G. Silverman. Human-computer collaboration. Human Computer Interaction, 7:165-196, 1992.

R.G. Smith and R. Davis. Frameworks for cooper­ation in distributed problem solving. IEEE Trans­actions on Systems, Man and Cybernetics, 11:61— 70, 1981.

R.G. Smith. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, 29:1104-1113, 1980.

T. Smithers. Design as exploration: Puzzle-making and puzzle-solving. In J. S. Gero, editor, Workshop on exploration-based models of design and search-based models of design., Pittsburgh, 1992. Second International Conference on AI in Design, CMU.

J.C. Sperandio. Variation of operator's strategies and regulating effects on workload. Ergonomics, 14:571-577, 1971.

J.C. Sperandio. The regulation of working meth­ods as a function of work-load among air traffic controllers. Ergonomics, 21:195-202, 1978.

L. Steels. Components of expertise. AI Magazine, (Summer):28-49, 1990.

D. Steiner, D. E. Mahling, and H. Haugeneder. Hu­man computer cooperative work. In Proceedings of the 10th International Workshop on Distributed Artificial Intelligence. AAAI, 1990. MCC Techni­cal Report ACT-AI-355-9.

D Steiner, A. Burt, and C. Lerin. The concep­tual framework of MAI2L. In J. P. Mueller, editor, Pre-Proceedings of the 5th European Worksop on "Modelling Autonomous Agents in a Multi-Agent World", pages -, Neuchatel, 1993.

A. Stevens and A. Collins. The goal structure of a Socratic tutor. In Proceedings of the ACM. ACM, 1977. (also as:BBN-Report No. 3518, BBN, Cam­bridge, MA).

C. J. Stuart. An implementation of a multi-agent plan synchronizer. In M. G. Georgeff and A. M. Lansky, editors, Reasoning about Actions and Plans: Proceedings of the 1986 Workshop,

207

[Suchman, 1987]

[Sutcliffe, 1988]

[Sutcliffe, 1991]

[Sweller, 1988]

[Terpstra et ai, 1993]

[Ter veen, 1995]

[Triggs, 1988]

[van denBerg, 1992]

[van denBerg et ai, 1992]

[Vanderdonckt & Bodart, 1993]

pages 161-188, Los Altos, CA, 1987. Morgan Kauf­man.

L. A. Suchman. Plans and Situated Actions: The Problem, of Human-Machine. Communication. Cambridge University Press, Cambridge, 1987.

A. G. Sutcliffe. Human-Computer Interface De­sign. Macmillan, London, 1988.

A.G. Sutcliffe. Integrating methods of human-computer interface design with structured sys­tems development. International Journal of Man-Machine. Studies, 34:631-655, 1991.

J. Sweller. Cognitive load during problem solving: effects on learning. Cognitive Science, 12:257-285, 1988.

P. Terpstra, G. van Heijst, B. Wielinga, and N.G Shadtbolt. Knowledge acquisition support through generalised directive models. In Jean-Marc David, Jean-Paul Krivine, and Reid Simmons, editors, Second Generation Expert Systems, pages 428-455. Springer-Verlag, Berlin Heidelberg, Germany, 1993.

L. G. Terveen. Overview of human—computer col­laboration. Knowledge-Based Systems, 8(2-3):67-81, 1995.

T.J. Triggs. The ergonomics of decision-making in large scale systems: information displays and expert knowledge elicitation. Ergonomics, 31:711-719, 1988.

G. M. van den Berg. Choosing an analysis method: An. empirical study of statisticians' ideas in view of the design of computerized support. PhD thesis, Leiden University, Leiden, The Netherlands, 1992.

G. M. van den Berg, E. de Feber, and P. de Greef. Analysing statistical data process­ing. In K. Weichselberger and W. Kloesgen, ed­itors, New Techniques and Technologies for Statis­tics, pages 91-100, Bonn, Germany, February 1992. GMD/Eurosta t .

J.M. Vanderdonckt and F. Bodart. Encapsulating knowledge for intelligent automatic interaction ob­jects selection. In S. Ashlund, K. Mullet, A. Hen­derson, E. Hollnagel, and T. White, editors, Pro­ceedings of INTERCHI'93, pages 430-437. ACM, New York, 1993.

208

[Vickers, 1989]

[Visser & Slooff, 1991]

[Wallace et ai, 1987]

[Welbank, 1983]

[Werner, 1989]

[Wickens, 1992]

[Wielinga k Breuker, 1984]

[Wielinga, & Breuker, 1986]

[Wielinga et al, 1992]

[Wielinga et ai, 1995a]

[Wielinga et ai, 1995b]

S. Vickers. Topology via Logic. Cambridge Univer­sity Press, Cambridge, 1989.

R. A. Visser and N. Slooff. Knowledge acquisition for a supportive interface for correspondence anal­ysis. J. of Applied Statistics, 18:99-106, 1991.

R.H. Wallace, J. E. Stockenberg, and R. N. Charette. A Unified Methodology for Developing Systems. McGraw Hill, New York, 1987.

M. Welbank. A review of knowledge acquisition techniques for expert systems. Technical report, Martelsham consultancy services, 1983.

E. Werner. Cooperating agents: A unified theory of communication and social structure. In L. Casser and M.N. Iluhns, editors, Dis­tributed Artificial Intelligence Volume II, pages 3-36. Pittman/Morgan Kaufman, 1989.

CD. Wickens. Engineering psychology and human performance. HarperCollins Publishers Inc., 2 edi­tion, 1992.

B. J. Wielinga and J. A. Breuker. Interpreta­tion of verbal data for knowledge acquisition. In T. OShea, editor, Advances in Artificial Intelli­gence, pages 41-50, Amsterdam, The Netherlands, 1984. EC AI, Elsevier Science.

B. J. Wielinga and J. A. Breuker. Models of ex­pertise. In Proceedings ECAI-86, pages 306-318, 1986.

B. J. Wielinga, A. Th. Schreiber, and J. A. Breuker. KADS: A modelling approach to knowl­edge engineering. Knowledge Acquisition, 4(1):5-53, 1992.

B. Wielinga, R. de Hoog, J. Wielemaker, R. Gus-tavsson, and P van den Besselaar. Designing mech­anisms of cooperation. In L. Navarro, editor, Demonstrator Prototypes of Computational Mech­anisms of Interaction. 1995. Deliverable D3.4 ES­PRIT project 6225 (COMIC).

B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber. A formal analysis of parametric design problem solving. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Work­shop, Alberta, Canada, 1995. SRDG Publications, University of Calgary.

209

[Wieringa k Meyer, 1993]

[Wilkinson k Rogers, 1973]

[Winkels k Breuker, 1991]

[Winograd k Flores, 1986]

[Winograd, 1988]

[Wolstenholme k Nelder, 1986]

[Woods k Roth, 1988]

[Yourdon, 1989]

R. J. Wieringa and J.-J.Ch. Meyer. Actors, ac­tions, and initiative in normative system specifica­tion. Annals of Mathematics and Artificial Intelli­gence, 7:289-346, 1993.

G. N. Wilkinson and C E . Rogers. Symbolic de­scription of factorial models for analysis of vari­ance. Applied Statistics, 22:392-399, 1973.

R.G.F. Winkels and J.A. Breuker. Discourse plan­ning in Intelligent Help Systems. In C. Frasson and G. Gauthier, editors, Intelligent Tutoring Systems; at the crossroads of AI and Education. Ablex, Nor­wood NJ, 1991.

T. Winograd and F. Flores. Understanding Com­puters and Cognition. Addison Wesley, Reading, MA, 1986.

T. Winograd. A language/action perspective on the design of cooperative work. In I. Greif, editor, Computer Supported Cooperative Work: A book of readings. Morgan Kaufmann, 1988.

D. E. Wolstenholme and J. A. Neider. A front end for GLIM. In R. Haux, editor, Expert Systems in Statistics, pages 155-177, Stuttgart , 1986. Fisher.

D.D. Woods and E.M. Roth. Cognitive engineer­ing: Human problem solving with tools. Human Factors, 30:415-430, 1988.

E. Yourdon. Modern Structured Analysis. Prentice Hall, Englewood Cliffs, N.J., 1989.

210