User Centered Knowledge-Based System Design: a Formal Modelling Approach

[1]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[2]  Jan Treur,et al.  Temporal Theories of Reasoning , 1994, J. Appl. Non Class. Logics.

[3]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[4]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[5]  Frances M. T. Brazier,et al.  A compositional, knowledge-based architecture for intelligent query user interfaces , 1993, CHI '93.

[6]  Jeffrey M. Bradshaw,et al.  Knowledge acquisition as a constructive modeling activity , 1993, Int. J. Intell. Syst..

[7]  Jan Treur.  Heuristic reasoning and relative incompleteness , 1993, Int. J. Approx. Reason..

[8]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[9]  Nicholas R. Jennings,et al.  Towards a Cooperation Knowledge Level For Collaborative Problem Solving , 1992, ECAI.

[10]  Jan Treur,et al.  Interaction types and chemistry of generic task models , 1992 .

[11]  Jan Treur,et al.  A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks , 1992 .

[12]  Frances M. T. Brazier,et al.  Design Decisions for a user interface. In M.J. Tauber, D. Ackermann (ed). Mental models and human-computer interaction 2 , 1991 .

[13]  Michael J. Tauber,et al.  ETAG: Extended task action grammar. A language for the description of the user's task language , 1990, INTERACT.

[14]  Michael J. Tauber,et al.  Mental Models and Human Computer Interaction I , 1990 .

[15]  Jan Treur,et al.  On the use of a formalized generic task model in knowledge acquisition , 1990 .

[16]  Frances M. T. Brazier,et al.  Design decisions for a user interface , 1989, Informatics and Psychology Workshop.

[17]  Alistair G. Sutcliffe.  Task Analysis, Systems Analysis and Design: Symbiosis or Synthesis? , 1989, Interact. Comput..

[18]  Mark Chignell,et al.  Intelligent Interfaces: Theory, Research and Design , 1989 .

[19]  Stephen J. Payne,et al.  COMPLEX PROBLEM SPACES: MODELLING THE KNOWLEDGE NEEDED TO USE INTERACTIVE DEVICES , 1987 .

[20]  P. Johnson-Laird.  Mental models , 1989 .

[21]  Donald A. Norman,et al.  Some observations on mental models , 1987 .

[22]  Thomas P. Moran,et al.  Getting into a system: External-internal task mapping analysis , 1983, CHI '83.

[23]  Horst Oberquelle,et al.  A View of Human-Machine Communication and Co-Operation , 1983, Int. J. Man Mach. Stud..