This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Brazier, F.M.T. and van der Veer, G.C., 1991. Design decisions for a user interface. In Ackerman, D. & Tauber, M. (eds), Mental Models and Human Computer Interaction. North Holland: Amsterdam.
Brazier, F.M.T. and Ruttkay, Zs., 1993. A Compositional, Knowledge-based Architecture for Intelligent Query User Interfaces, Adjunct proceedings of INTERCHI'93 ACM Press, Amsterdam, 1993. 145–146.
Brumsen, H.A., Pannekeet, J.H.M. and Treur, J., 1992. A compositional knowledge-based architecture modelling process aspects of design tasks. In: Proc. of the 12th Int. Conf. on AI, Expert systems and Natural Language, Avignon'92, Vol. 1: pp. 283–294.
Chignell, M.H., Hancock, P.A. and Loewenthal, A. 1989. An introduction to intelligent interfaces. Intelligent interfaces: Theory, Research and Design. North Holland: Amsterdam, 1–27.
Gavrila, I.S. and Treur, J., 1994. A formal model for the dynamics of compositional reasoning systems, in A.G. Conn (ed.), Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94, John Wiley & Sons, Chichester.
Dunin Keplicz, B. and Treur, J., 1994. Compositional formal specification of multi-agent architectures. In: M. Wooldridge & N. Jennings (eds.), Proc. ECAI'94 Workshop on Agent Theories, Architectures and Languages.
Engelfriet, J. and Treur, J., 1994. Temporal theories of reasoning, Proc. Fourth European Workshop on Logics in AI, JELIA'94, Springer Verlag.
Ford, K.M., Bradshaw, J.M., Adams-Webber, J.R. and Agnew, N.M., 1993. Knowledge Acquisition as a Constructive Modeling Activity, IJIS, Vol 8, 9–32, Wiley, N.Y.
Geelen, P.A. and Kowalczyk, W., 1992. A knowledge-based system for the routing of international blank payment orders. In: Proc. of the 12th Int. Conf. on AI, Expert Systems and Natural Language, Avignon'92, Vol. 2, pp. 669–677.
Huhns, M. (ed.), 1987. Distributed Artifical Intelligence, Morgan Kaufman.
Jennings, N.R., 1992. Towards a cooperation knowledge level for collaborative problem solving, in B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, Chichester, pp. 224–228.
Kowalczyk, W. and Treur, J., 1990. On the use of a formalized generic task model in knowledge acquisition, In: B.J. Wielinga, J. Boose, B.R. Gaines, A.Th. Schreiber, M.W. van Someren (eds.), Current Trends in Knowledge Acquisition (Proceedings EKAW-90), IOS Press, Amsterdam, pp. 198–221.
Kowalczyk, W. and Treur, J., 1990. Formal specification of task-specific architectures, Report IR-232, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam.
Langevelde, I.A. van, Philipsen, A.W. and Treur, J., 1992. Formal specification of compositional architectures, in B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, Chichester, 1992, pp. 272–276.
Moran, T.P., 1983. Getting into a system. External-Internal task mapping analysis. CHI'83 Proceedings. North Holland: Amsterdam, 51–56.
Norman, D.A., 1982. Some observations on mental models. In: Gentner, D., Stevens, A.L. (eds), Mental Models, Erlbaum Ass, Hillsdale, N.J.
Oberquelle, H., Kupka, I. and Maass, S., 1983. A view of human-machine communication and co-operation, Int. Journal of Man-Machine Studies, 1983, pp. 309–333.
Pannekeet, J.H.M., Philipsen, A.W. and Treur, J., 1992. Designing compositional assumption revision, Report IR-279, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991. Shorter version in: H. de Swaan Arons et al., Proc. Dutch AI-Conference, NAIC-92, 1992, pp. 285–296.
Payne, S.J., 1987. Complex problem spaces: modelling the knowledge needed to use interactive devices. In: H-J Bullinger, B. Schakel (eds), Human-Computer Interaction — Interact 87. North Holland: Amsterdam, 203–208.
Sutcliffe, A., 1989. Task analysis, systems analysis and design: symbiosis or synthesis? Interacting with Computers.
Tauber, M.J., 1990. ETAG: Extended task action grammar — a language for the description of the user's task language. In: D. Diaper, D. Gilmore, G. Cockton & B. Schakel (eds), Human-Computer Interaction — INTERACT 90 Elsevier: Amsterdam. 1,1, 6–12.
Treur, J., 1991. Interaction types and chemistry of generic task models, in: M. Linster, B. Gaines, (eds.), Proc. EKAW91. GMD Studien 211, 1992, pp. 390–414.
Treur, J., 1993. Heuristic reasoning and relative incompleteness, Int. Journal of Approximate Reasoning 8 (1993), pp. 51–87.
Treur, J., 1994. Temporal semantics of meta-level architectures for dynamic control, Proc. META'94.
Treur, J. and Wetter, Th., 1993. Formal Specification of Complex Reasoning Systems, Ellis Horwood, 1993.
Wilson, S., Johnson, P., Kelly, C., Cunningham, J. and Markopoulos, P. 1993. Beyond Hacking: a Model Based Approach to User Interface Design. In Proceedings HCI'93. Cambridge University Press.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brazier, F.M.T., Treur, J. (1994). User centered knowledge-based system design: a formal modelling approach. In: Steels, L., Schreiber, G., Van de Velde, W. (eds) A Future for Knowledge Acquisition. EKAW 1994. Lecture Notes in Computer Science, vol 867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58487-0_15
Download citation
DOI: https://doi.org/10.1007/3-540-58487-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58487-2
Online ISBN: 978-3-540-49006-7
eBook Packages: Springer Book Archive