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

作者: F. M. T. Brazier , J. Treur

DOI: 10.1007/3-540-58487-0_15

关键词:

摘要:

参考文章(23)
J. Treur, Brian Gaines, Mark Linster, Interaction types and chemistry of generic task models GMD. pp. 390- 414 ,(1992)
Harm A. Brumsen, J. Treur, Jack H.M. Pannekeet, A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks pp. 283- 294 ,(1992)
Jan Treur, Ioa Gavrila, A formal model for the dynamics of compositional reasoning systems european conference on artificial intelligence. pp. 307- 311 ,(1994)
M. H. Chignell, Peter A. Hancock, Intelligent Interfaces: Theory, Research and Design ,(1989)
W.J. Kowalczyk, J. Treur, On the use of a formalized generic task model in knowledge acquisition IOS Press. pp. 198- 221 ,(1990)
Stephen J. Payne, COMPLEX PROBLEM SPACES: MODELLING THE KNOWLEDGE NEEDED TO USE INTERACTIVE DEVICES international conference on human computer interaction. pp. 203- 208 ,(1987) , 10.1016/B978-0-444-70304-0.50041-8
Jan Treur, Albert Philipsen, Izak van Langevelde, Formal specification of compositional architectures european conference on artificial intelligence. pp. 272- 276 ,(1992)
Michael J. Tauber, D. Ackermann, Mental Models and Human Computer Interaction I ,(1990)
Barbara Dunin-Keplicz, Jan Treur, Compositional formal specification of multi-agent systems intelligent agents. pp. 102- 117 ,(1995) , 10.1007/3-540-58855-8_6
N. R. Jennings, Towards a cooperation knowledge level for collaborative problem solving european conference on artificial intelligence. pp. 224- 228 ,(1992)