Journal: International Journal of Man-Machine Studies

Volume 51, Issue 6

1037 -- 1042Nienke den Haan, Giovanni Sartor. Editorial: Model-based Legal Knowledge Engineering
1043 -- 1077Jaap Hage, Bart Verheij. The law as a dynamic interconnected system of states of affairs: a legal top ontology
1079 -- 1125André Valente, Joost Breuker, Bob Brouwer. Legal modeling and automated reasoning with ON-LINE
1127 -- 1154Robert W. van Kralingen, Pepijn R. S. Visser, Trevor J. M. Bench-Capon, H. Jaap van den Herik. A principled approach to developing legal knowledge systems
1155 -- 1171Marie-Francine Moens, Caroline Uyttendaele, Jos Dumortier. Information extraction from legal texts: the potential of discourse analysis
1173 -- 1188John S. Edwards, Robert I. Akroyd. Modelling rhetorical legal logic --a double syllogism

Volume 51, Issue 5

851 -- 864Hock Chuan Chan. The relationship between user query accuracy and lines of code
865 -- 893Jennifer J. Ockerman, Christine M. Mitchell. Case-based design browser to support software reuse: theoretical structure and empirical evaluation
895 -- 918Hock Chuan Chan, Bernard C. Y. Tan, Kwok Kee Wei. Three important determinants of user performance for database retrieval
919 -- 945Robert Spence. A framework for navigation
947 -- 989Paul McKevitt, Derek Partridge, Yorick Wilks. Why machines should analyse intention in natural language dialogue
991 -- 1006Linda J. Skitka, Kathleen L. Mosier, Mark D. Burdick. Does automation bias decision-making?
1007 -- 1036Anneli Edman, Andreas Hamfelt. A system architecture for knowledge-based hypermedia

Volume 51, Issue 4

715 -- 727Tim Menzies, Frank van Harmelen. Editorial: Evaluating knowledge engineering techniques
729 -- 755Nigel Shadbolt, Kieron O Hara, Louise Crow. The experimental evaluation of knowledge acquisition techniques and methods: history, problems and new directions
757 -- 781Juan Pedro Caraça-Valente, José L. Morant, Luis González, Juan Pazos. Knowledge-based systems validation: when to stop running test cases
783 -- 799Tim Menzies. Critical success metrics: evaluation at the business level
801 -- 823Masahiro Hori. Empirical evaluation of a domain-oriented component library based on an embedded case study design
825 -- 847Eleni Stroulia, Ashok K. Goel. Evaluating PSMs in evolutionary design: the A UTOGNOSTIC experiments

Volume 51, Issue 3

511 -- 516Stefan Decker, Frank Maurer. Editorial: Organizational memory and knowledge management
517 -- 547C. E. Siemieniuch, M. A. Sinclair. Organizational aspects of knowledge lifecycle management in manufacturing
549 -- 566Ann Macintosh, Ian Filby, John Kingston. Knowledge management techniques: teaching and dissemination concepts
567 -- 598Rose Dieng, Olivier Corby, Alain Giboin, Myriam Ribière. Methods and tools for corporate knowledge management
599 -- 614David G. Schwartz. When email meets organizational memories: addressing threats to communication in a learning organization
615 -- 641Nick Milton, Nigel Shadbolt, Hugh Cottam, Mark Hammersley. Towards a knowledge technology for knowledge management
643 -- 661Dieter Landes, Kurt Schneider, Frank Houdek. Organizational learning and experience documentation in industrial software projects
663 -- 685Scott P. Robertson, Kathy Reese. A virtual library for building community and sharing knowledge
687 -- 712V. Richard Benjamins, Dieter Fensel, Stefan Decker, Asunción Gómez-Pérez. (KA):::2:::: building ontologies for the Internet: a mid-term report

Volume 51, Issue 2

119 -- 124. Editorial: 30th Anniversary Issue
125 -- 133Max E. Sime, Thomas R. G. Green, D. J. Guest. Psychological Evaluation of Two Conditional Constructions Used in Computer Languages
135 -- 147E. H. Mamdani, S. Assilian. An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller
149 -- 168Humberto R. Maturana. The Organization of the Living: A Theory of the Living Organization
169 -- 196Lance A. Miller, John C. Thomas. Behavioral issues in the use of interactive systems
197 -- 211Ruven E. Brooks. Towards a theory of the cognitive processes in computer programming
213 -- 238Lisanne Bainbridge. Verbal reports as evidence of the process operator s knowledge
239 -- 263Ryszard S. Michalski, R. L. Chilausky. Knowledge acquisition by encoding expert rules versus computer induction from examples: a case study involving soybean pathology
265 -- 277Benedict du Boulay, Tim O Shea, John Monk. The black box inside the glass box: presenting computing concepts to novices
279 -- 306G. Robertson, Donald L. McCracken, Alan F. Newell. The ZOG approach to man-machine communication
307 -- 321Raymond S. Nickerson. Why interactive computer systems are sometimes not used by people who might benefit from them
323 -- 338Elaine Rich. Users are individuals: individualizing user models
339 -- 356Erik Hollnagel, David D. Woods. Cognitive Systems Engineering: New wine in new bottles
357 -- 368B. Chandrasekaran, Sanjay Mittal. Deep versus compiled knowledge approaches to diagnostic problem-solving
369 -- 383Zdzislaw Pawlak. Rough classification
385 -- 403John M. Carroll, Robert L. Mack. Metaphor, computing systems, and active learning
405 -- 434David E. Kieras, Peter G. Polson. An approach to the formal analysis of user complexity
435 -- 452Christine L. Borgman. The user s mental model of an information retrieval system: an experiment on a prototype online catalog
453 -- 478John H. Boose, Jeffrey M. Bradshaw. Expertise transfer and complex problems: using AQUINAS as a knowledge-acquisition workbench for knowledge-based systems
479 -- 495Mark A. Musen, Lawrence M. Fagan, David M. Combs, Edward H. Shortliffe. Use of a domain model to drive an interactive knowledge-editing tool
497 -- 510J. Ross Quinlan. Simplifying decision trees

Volume 51, Issue 1

1 -- 1Brian R. Gaines. Editorial: Electronic submission of papers to IJHCS
3 -- 5Susan Wiedenbeck, Jean Scholtz. Introduction to the Special Issue Best of Empirical Studies of Programmers 7
7 -- 30Marian Petre, Alan F. Blackwell. Mental imagery in program design and visual programming
31 -- 70A. Marie Vans, Anneliese Amschler Andrews, Gabriel Somlo. Program understanding behavior during corrective maintenance of large-scale software
71 -- 87Susan Wiedenbeck, Vennila Ramalingam. Novice comprehension of small programs written in the procedural and object-oriented styles
89 -- 115Marian G. Williams, J. Nicholas Buehler. Comparison of visual and textual languages via task modeling