Journal: International Journal of Man-Machine Studies

Volume 43, Issue 5-6

623 -- 624Nicola Guarino, Roberto Poli. Editorial: The role of formal ontology in the information technology
625 -- 640Nicola Guarino. Formal ontology, conceptual analysis and knowledge representation
641 -- 667Barry Smith. Formal ontology, common sense and cognitive science
669 -- 685John F. Sowa. Top-level ontological categories
687 -- 696Roberto Poli. Bimodality of formal ontology and mereology
697 -- 721Nino B. Cocchiarella. Knowledge representation in conceptual realism
723 -- 740Carola Eschenbach, Wolfgang Heydrich. Classical mereology and restricted domains
741 -- 763Jean Petitot. Sheaf mereology and Husserl s morphological ontology
765 -- 784Godehard Link. Algebraic semantics for natural language: some philosophy, some application
785 -- 807Johannes Dölling. ntological domains, semantic sorts and systematic ambiguity
809 -- 818Kathleen Dahlgren. A linguistic ontology
819 -- 830Jerry R. Hobbs. Sketch of an ontology underlying the way we talk about the world
831 -- 846Anthony G. Cohn, David A. Randell, Zhan Cui. Taxonomies of logically defined qualitative spatial relations
847 -- 863Paolo Terenziani. Towards a causal ontology coping with the temporal constraints between causes and effects
865 -- 889Peter Gerstl, Simone Pribbenow. Midwinters, end games, and body parts: a classification of part-whole relations
891 -- 906Flavio Bonfatti, Luca Pazzi. Ontological foundations for state and identity within the object-oriented paradigm
907 -- 928Thomas R. Gruber. Toward principles for the design of ontologies used for knowledge sharing?
929 -- 944John A. Bateman. On the relationship between ontology construction and natural language: a socio-semiotic view
945 -- 965Thomas Pirlein, Rudi Studer. An environment for reusing ontologies within a knowledge engineering approach

Volume 43, Issue 4

503 -- 521Udo Konradt. Strategies of failure diagnosis in computer-controlled manufacturing systems: empirical analysis and implications for the design of adaptive decision support system
523 -- 538Kathleen M. Swigger, Robert P. Brazile. Evaluating group effectiveness through a computer-supported cooperative training environment
539 -- 559S. Chandra, David I. Blockley. Cognitive and computer models of physical systems
561 -- 577Berardina De Carolis, Fiorella de Rosis, S. Errore. A user-adapted iconic language for the medical domain
579 -- 592Doug Mahar, Renee Napier, Michael Wagner, William Laverty, Ron Henderson, Michael Hiron. Optimizing digraph-latency based biometric typist verification systems: inter and intra typist differences in digraph latency distributions
593 -- 619Susan Bridges. A model for justification production by expert planning systems

Volume 43, Issue 3

279 -- 0David Madigan. Editorial: knowledge-based hypermedia
281 -- 299Bernd Amann, Michel Scholl, Antoine Rizk. Schema-based authoring and querying of large hypertexts
301 -- 321Kurt Nørmark, Kasper Østerbye. Rich hypertext: a foundation for improved interaction techniques
323 -- 361Brian R. Gaines, Mildred L. G. Shaw. Concept maps as hypermedia components
363 -- 382Jocelyne Nanard, Marc Nanard. Adding macroscopic semantics to anchors in knowledge-based hypertext
383 -- 417Henry Lieberman. A demonstrational interface for recording technical procedures by annotation of videotaped examples
419 -- 439Weigang Wang, Roy Rada. Experiences with semantic net based hypermedia
441 -- 464Mountaz Zizi, Michel Beaudouin-Lafon. Hypermedia exploration with interactive dynamic maps
465 -- 481David Madigan, C. Richard Chapman, Jonathan Gavrin, Ole Villumsen, John Boose. Repertory hypergrids for large-scale hypermedia linking
483 -- 497Gerard Salton, James Allan. Selective text utilization and text traversal

Volume 43, Issue 2

153 -- 175Stephen A. Brewster, Peter C. Wright, Alistair D. N. Edwards. Parallel earcons: reducing the length of audio messages
177 -- 212Ole J. Mengshoel. A reformulation technique and tool for knowledge interchange during knowledge acquisition
213 -- 222Renee Napier, William Laverty, Doug Mahar, Ron Henderson, Michael Hiron, Michael Wagner. Keyboard user verification: toward an accurate, efficient, and ecologically valid algorithm
223 -- 239Clifford Nass, Youngme Moon, B. J. Fogg, Byron Reeves, D. Christopher Dryer. Can computer personalities be human personalities?
241 -- 259Nigel Ford. Levels and types of mediation in instructional systems: an individual differences approach
261 -- 274Luciano Floridi. Internet: which future for organized knowledge, Frankenstein or Pygmalion?

Volume 43, Issue 1

1 -- 13Mark B. Edwards, Dana K. Fuller, O. U. Vortac, Carol A. Manning. The role of flight progress strips in en route air traffic control: a time-series analysis
15 -- 41Scott B. Grissom, Gary Perlman. StEP(3D): a standardized evaluation plan for three-dimensional interaction techniques
43 -- 63Derek H. Sleeman, M. Rissakis, Susan Craw, Nicolas Graner, S. Sharma. Consultant-2: pre- and post-processing of Machine Learning applications
65 -- 99Muneo Kitajima, Peter G. Polson. A comprehension-based model of correct performance and errors in skilled, display-based, human-computer interaction
101 -- 130Ann Blandford, Philip J. Barnard, Michael D. Harrison. Using Interaction Framework to guide the design of interactive systems
131 -- 151Linden J. Ball, Thomas C. Ormerod. Structured and opportunistic processing in design: a critical discussion