![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
International Journal of Human Computer Studies, Volume 44
Volume 44, Number 1, January 1996
- Sissel Guttormsen Schär
:
The influence of the user interface on solving well- and ill-defined problems. 1-18 - Fernando Gomez:
Acquiring intersentential explanatory connections in expository texts. 19-44 - J. H. Eggen, Reinder Haakma, Joyce H. D. M. Westerink:
Layered Protocols: hands-on experience. 45-72 - Paolo Nesi
, Alberto Del Bimbo
:
A vision-based 3-D mouse. 73-92 - Geoffrey S. Hubona, James E. Blanton:
Evaluating system design features. 93-118
Volume 44, Number 2, February 1996
- Robert Plant, Alun D. Preece:
Editorial: special issue on verification and validation. 123-125 - Stephen Murrell, Robert Plant:
On the validation and verification of production systems: a graph reduction approach. 127-144 - Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan:
Validating dynamic properties of rule-based systems. 145-169 - Daniel E. O'Leary
:
The relationship between errors and size in knowledge-based systems. 171-185 - Frank van Harmelen
, Manfred Aben:
Structure-preserving specification languages for knowledge-based systems. 187-212 - Rose F. Gamble, D. M. Baughman:
A methodology to incorporateformal methods in hybrid KBS verification. 213-244 - Susan Craw
:
Refinement complements verification and validation. 245-256 - Byeong Ho Kang, Windy Gambetta, Paul Compton
:
Verification and validation with ripple-down rules. 257-269
Volume 44, Number 3-4, March 1996
- A. Th. Schreiber, William P. Birmingham:
Editorial: the Sisyphus-VT initiative. 275-280 - Gregg R. Yost:
Implementing the Sisyphus-93 task using Soar/TAQL. 281-301 - Thomas E. Rothenfluh, John H. Gennari, Henrik Eriksson, Angel R. Puerta, Samson W. Tu, Mark A. Musen:
Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2. 303-332 - Enrico Motta, Arthur Stutt, Zdenek Zdráhal, Kieron O'Hara
, Nigel Shadbolt:
Solving VT in VITAL: a study in model construction and knowledge reuse. 333-371 - A. Th. Schreiber, Peter Terpstra:
Sisyphus-VT: A CommonKADS solution. 373-402 - Jay T. Runkel, William P. Birmingham, Alan Balkany:
Solving VT by reuse. 403-433 - Karsten Poeck, Dieter Fensel, Dieter Landes, Jürgen Angele:
Combining KARL and CRLM for designing vertical transportation systems. 435-467 - Frances M. T. Brazier, Pieter H. G. van Langen, Jan Treur
, Niek J. E. Wijngaards, Mark Willems:
Modelling an elevator design task in DESIRE: the VT example. 469-520 - Gregg R. Yost, Thomas R. Rothenfluh:
Configuring elevator systems. 521-568 - Thomas R. Gruber, Gregory R. Olsen, Jay T. Runkel:
The configuration design ontologies and the VT elevator domain theory. 569-598
Volume 44, Number 5, May 1996
- Manuel Zacklad, Dominique Fontaine:
Systematic building of conceptual classification systems with C-KAT. 603-627 - Jean Charlet, Chantal Reynaud, Jean-Paul Krivine:
Causal model-based knowledge acquisition tools: discussion of experiments. 629-652 - William S. Pawlak, Kim J. Vicente:
Inducing effective operator control through ecological interface design. 653-688 - Michel Benaroch:
Roles of design knowledge in knowledge-based systems. 689-721
Volume 44, Number 6, June 1996
- Elizabeth Pollitzer, Ernest A. Edmonds:
Editorial: the evolving partnership between cognitive science and HCI. 731-741 - John Rieman, Richard M. Young, Andrew Howes
:
A dual-space model of iteratively deepening exploratory learning. 743-775 - M. W. Lansdale, Stephen A. R. Scrivener, Andrée Woodcock:
Developing practice with theory in HCI: applying models of spatial cognition for the design of pictorial databases. 777-799 - Thomas R. G. Green, D. R. Benyon:
The skull beneath the skin: entity-relationship models of information artifacts. 801-828 - John P. Wann, Mark Mon-Williams
:
What does virtual reality NEED?: human factors issues in the design of three-dimensional computer environments. 829-847 - Leon Watts
, Andrew F. Monk, Owen Daly-Jones:
Inter-personal awareness and synchronization: assessing the value of communication technologies. 849-873 - John Long:
Specifying relations between research and the design of human-computer interactions. 875-920
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.