journals/ijmms/Schmidt86:::Albert L. Schmidt:::Effects of Experience and Comprehension on Reading Time and Memory for Computer Programs.
journals/ijmms/PatrickF88:::J. Patrick::L. Fitzgibbon:::Structural Displays as Learning Aids.
journals/ijmms/Vlcek81:::V. Vlcek:::An Application of the GUHA Method to Chemical Engineering.
journals/ijmms/Finnie86:::G. R. Finnie:::Is Top-Down Natural?: Some Experimental Results from Non-Procedural Languages.
journals/ijmms/Fox77:::John Fox:::Medical Computing and the User.
journals/ijmms/RuncimanT86:::Colin Runciman::Harold W. Thimbleby:::Equal Opportunity Interactive Systems.
journals/ijmms/RosisPPCC03:::Fiorella de Rosis::Catherine Pelachaud::Isabella Poggi::Valeria Carofiglio::Berardina De Carolis:::From Greta's mind to her face: modelling the dynamics of affective states in a conversational embodied agent.
journals/ijmms/Lee89:::Newton S. Lee:::Graphical Knowledge Programming with KNAPS.
journals/ijmms/HoneB01:::Kate S. Hone::Chris Baber:::Designing habitable dialogues for speech-based interaction with computers.
journals/ijmms/WardM03:::Robert D. Ward::Philip H. Marsden:::Physiological responses to different WEB page designs.
journals/ijmms/Kang98:::Sing Bing Kang:::Hands-free navigation in VR environments by tracking the head.
journals/ijmms/Leplat93:::Jacques Leplat:::``Person-Centred Ergonomics: A Brantonian View of Human Factors, '' edited by D. J. Oborne, R. Branton, F. Leal, P. Shipley, and T. Stewart (Book Review).
journals/ijmms/IsaEMN85:::Barbara S. Isa::R. James Evey::Bernard W. McVey::Alan S. Neal:::An Empirical Comparison of Two Metalanguages.
journals/ijmms/Riesbeck84:::Christopher Riesbeck:::Knowledge Reorganization and Reasoning Style.
journals/ijmms/Gaines94a:::Brian R. Gaines:::A situated classification solution of a resource allocation task represented in a visual language.
journals/ijmms/SwiggerB89:::Kathleen M. Swigger::Robert P. Brazile:::Experimental Comparison of Design/Documentation Formats for Expert Systems.
journals/ijmms/WhiteP85:::Mary Alice White::Janine Pollack:::Within and Across Modality Comprehension of Electronic Media in Children.
journals/ijmms/Premkumar89:::G. Premkumar:::A Cognitive Study of the Decision-Making Process in a Business Context: Implications for Design of Expert Systems.
journals/ijmms/Welty85:::Charles Welty:::Correcting User Errors in SQL.
journals/ijmms/HwangT90:::G. J. Hwang::S. S. Tseng:::EMCUD: A Knowledge Acquisition Method which Captures Embedded Meanings Under Uncertainty.
journals/ijmms/Conant83:::Roger C. Conant:::Approximating System Relations from Partial Information.
journals/ijmms/FranceAG01:::Emma F. France::Anne H. Anderson::Michael Gardner:::The impact of status and audio conferencing technology on business meetings.
journals/ijmms/Giordano02:::Daniela Giordano:::Evolution of interactive graphical representations into a design language: a distributed cognition accoun.
journals/ijmms/JacobP92:::Varghese S. Jacob::Hasan Pirkul:::Organizational Decision Support Systems.
journals/ijmms/AnandanEN80:::P. Anandan::David W. Embley::George Nagy:::An Application of File-Comparison Algorithms to the Study of Program Editors.
journals/ijmms/BlandfordBH95:::Ann Blandford::Philip J. Barnard::Michael D. Harrison:::Using Interaction Framework to guide the design of interactive systems.
journals/ijmms/KraftB83:::Donald H. Kraft::Duncan A. Buell:::Fuzzy Sets and Generalized Boolean Retrieval Systems.
journals/ijmms/OBrien93a:::Stella M. O'Brien:::Special Features of Plosives in Connected-Speech Signals.
journals/ijmms/Rice90:::Ronald E. Rice:::Computer-Mediated Communication System Network Data: Theoretical Concerns and Empirical Examples.
journals/ijmms/Rich99:::Elaine Rich:::Users are individuals: individualizing user models.
journals/ijmms/Iselin88:::Errol R. Iselin:::Conditional Statements, Looping Constructs, and Program Comprehension: An Experimental Study.
journals/ijmms/Salt77:::Norman F. Salt:::CAI with a Restricted Vocabulary.
journals/ijmms/Ekeberg88:::örjan Ekeberg:::Robust Dictionary Lookup Using Associative Networks.
journals/ijmms/Boose85:::John H. Boose:::A Knowledge Acquisition Program for Expert Systems Based on Personal Construct Psychology.
journals/ijmms/Kelleher93:::G. Kelleher:::Planning for the Support of Computer Users.
journals/ijmms/Vessey85:::Iris Vessey:::Expertise in Debugging Computer Programs: A Process Analysis.
journals/ijmms/Miller74:::Lance A. Miller:::Programming by Non-Programmers.
journals/ijmms/TungCWJ01:::Sho-Huan Tung::Ching-Tao Chang::Wing-Kwong Wong::Jihn-Chang J. Jehng:::Visual representations for recursion.
journals/ijmms/Montazemi91:::Ali R. Montazemi:::The Impact of Experience on the Design of User Interface.
journals/ijmms/Shurtleff92:::Mark S. Shurtleff:::Menu Organization through Block Clustering.
journals/ijmms/Nickerson99:::Raymond S. Nickerson:::Why interactive computer systems are sometimes not used by people who might benefit from them.
journals/ijmms/Koenemann-Belliveau92:::Jurgen Koenemann-Belliveau:::Book Review: "Psychology of Programming, " edited by J.-M. Hoc, T. R. G. Green, R. Samurcay, and D. J. Gilmore.
journals/ijmms/Yager83a:::Ronald R. Yager:::Querying Knowledge Base Systems with Linguistic Information via Knowledge Trees.
journals/ijmms/Yager85a:::Ronald R. Yager:::Explanatory Models in Expert Systems.
journals/ijmms/JacobsonF88:::Chris Jacobson::Michael J. Freiling:::ASTEK: A Multi-Paradigm Knowledge Acquisition Tool for Complex Structured Knowledge.
journals/ijmms/TaylorFH99:::M. M. Taylor::P. S. E. Farrell::J. G. Hollands:::Perceptual control and layered protocols in interface design: II. The general protocol grammar.
journals/ijmms/FunkeNP93:::Douglas J. Funke::Jeannette G. Neal::Rajendra D. Paul:::An Approach to Intelligent Automated Window Management.
journals/ijmms/CzogalaP81:::Ernest Czogala::Witold Pedrycz:::Some Problems Concerning the Construction of Algorithms of Decision-Making in Fuzzy Systems.
journals/ijmms/BradshawB90:::Jeffrey Bradshaw::John H. Boose:::Decision Analysis Techniques for Knowledge Acquisition: Combining Information and Preferences Using Aquinas and Axotl.
journals/ijmms/DysonH01:::Mary C. Dyson::Mark Haselgrove:::The influence of reading speed and line length on the effectiveness of reading from screen.
journals/ijmms/Burks75:::Arthur W. Burks:::Logic, Biology and Automata - Some Historical Reflections.
journals/ijmms/YouR94:::Geeng-Neng You::Roy Rada:::A systematic approach to outline manipulation.
journals/ijmms/Wilson83:::Stewart W. Wilson:::On the Retino-Cortical Mapping.
journals/ijmms/Davis89:::J. Steve Davis:::Usability of SQL and Menus for Database Query.
journals/ijmms/Maguire99:::M. C. Maguire:::A review of user-interface design guidelines for public information kiosk systems.
journals/ijmms/ChevalierI03:::Aline Chevalier::Melody Y. Ivory:::Web site designs: Influences of designer's expertise and design constraints.
journals/ijmms/Pawlak84a:::Zdzislaw Pawlak:::Rough Classification.
journals/ijmms/WisniewskiWSK87:::Edward J. Wisniewski::Howard A. Winston::Reid G. Smith::Michael F. Kleyn:::A Conceptual Clustering Program for Rule Generation.
journals/ijmms/Puppe98:::Frank Puppe:::Knowledge reuse among diagnostic problem-solving methods in the Shell-Kit D3.
journals/ijmms/Havranek81a:::Tomás Havránek:::The GUHA Method in the Context of Data Analysis.
journals/ijmms/Thimbleby00:::Harold W. Thimbleby:::Calculators are needlessly bad.
journals/ijmms/Furutani77:::Naomichi Furutani:::A New Approach to Traffic Behaviour: III. Steering Behaviour and the Butterfly Catastrophe.
journals/ijmms/Terrell85:::C. D. Terrell:::QUASAR: An Input System for the Physically Handicapped.
journals/ijmms/Yager89:::Ronald R. Yager:::On the Representation of Commonsense Knowledge by Possibilistic Reasoning.
journals/ijmms/GreensteinL85:::Joel S. Greenstein::Siu-Tong Lam:::An Experimental Study of Dialogue-Based Communication for Dynamic Human-Computer Task Allocation.
journals/ijmms/Loiseau94:::Stéphane Loiseau:::A method for checking and restoring the consistency of knowledge bases.
journals/ijmms/RibeiroM03:::Rita A. Ribeiro::Ana M. Moreira:::Fuzzy query interface for a business database.
journals/ijmms/Bridges95:::Susan Bridges:::A model for justification production by expert planning systems.
journals/ijmms/ChenCKM02:::Chaomei Chen::Timothy Cribbin::Jasna Kuljis::Robert D. Macredie:::Footprints of information foragers: behaviour semantics of visual exploration.
journals/ijmms/ErikssonPM94:::Henrik Eriksson::Angel R. Puerta::Mark A. Musen:::Generation of knowledge-acquisition tools from domain ontologies.
journals/ijmms/LacoheeA01a:::Hazel Lacohée::Ben Anderson:::Interacting with the telephone.
journals/ijmms/PlantG97:::Robert T. Plant::Rose F. Gamble:::Using meta-knowledge within a multilevel framework for KBS development.
journals/ijmms/Hudlicka03a:::Eva Hudlicka:::Response: Is affective computing an oxymoron?
journals/ijmms/RessY98:::David A. Ress::Robert E. Young:::A distributed fuzzy constraint satisfaction system with context-based reasoning.
journals/ijmms/Littman87:::David Littman:::Modelling Human Expertise in Knowledge Engineering: Some Preliminary Observations.
journals/ijmms/Kiger84:::John I. Kiger:::The Depth/Breadth Trade-Off in the Design of Menu-Driven User Interfaces.
journals/ijmms/Gur-AliW95:::Özden Gür-Ali::William A. Wallace:::Classifying delinquent customers for credit collections: an application of probabilistic inductive learning.
journals/ijmms/SinghMP97:::Indramani L. Singh::Robert Molloy::Raja Parasuraman:::Automation-induced monitoring inefficiency: role of display location.
journals/ijmms/AllwoodE87:::Carl Martin Allwood::Mikael Eliasson:::Analogy and Other Sources of Difficulty in Novices' Very First Text-Editing.
journals/ijmms/El-ShinnawyM97:::Maha El-Shinnawy::M. Lynne Markus:::The poverty of media richness theory: explaining people's choice of electronic mail vs. voice mail.
journals/ijmms/WrightL94:::Patricia Wright::Ann Lickorish:::Menus and memory load: navigation strategies in interactive search tasks.
journals/ijmms/Chalmers74:::N. R. Chalmers:::"Feedback Mechanisms in Animal Behaviour, " by D. J. McFarland (Book Review).
journals/ijmms/KleinKWTM97:::Gary Klein::George L. Kaempf::Steve Wolf::Marvin Thorsden::Thomas Miller:::Applying decision requirements to user-centered design.
journals/ijmms/KlirU77:::George J. Klir::Hugo J. J. Uyttenhove:::On the Problem of Computer-Aided Structure Identification: Some Experimental Observations and Resulting Guidelines.
journals/ijmms/PierceSP92:::Byron J. Pierce::Norwood Sisson::Stanley R. Parkinson:::Menu Search and Selection Processes: A Quantitative Performance Model.
journals/ijmms/YoungK74:::P. Young::Josef Kittler:::"Foundations of the Theory of Learning Systems, " by Ya. Z. Tsypkin (Book Review).
journals/ijmms/Richardson92:::J. Richardson:::Book Review: ``Cognitive Aspects of Computer-Supported Tasks, '' by Y. Waern.
journals/ijmms/WagenaarG87:::Willem A. Wagenaar::Jop Groeneweg:::Accidents at Sea: Multiple Causes and Impossible Consequences.
journals/ijmms/BarnardHML81:::Philip J. Barnard::N. V. Hammond::J. Morton::John Brian Long:::Consistency and Compatibility in Human-Computer Dialogue.
journals/ijmms/AmantR01:::Robert St. Amant::Mark O. Riedl:::A perception/action substrate for cognitive modeling in HCI.
journals/ijmms/GrahamKB00:::Martin Graham::Jessie B. Kennedy::David Benyon:::Towards a methodology for developing visualizations.
journals/ijmms/Hoffman85:::William C. Hoffman:::Some Reasons Why Algebraic Topology is Important in Neuropsychology: Perceptual and Cognitive Systems as Fibrations.
journals/ijmms/Nunamaker97:::Jay F. Nunamaker:::Future research in group support systems: needs, some questions and possible directions.
journals/ijmms/Sasse91:::A. Sasse:::Book Review: ``Cognitive Ergonomics and Human-Computer Interaction, '' edited by J. Long and A. Whitefield.
journals/ijmms/ZakCS91:::Bruce Zak::John Carroll::Kathleen M. Swigger:::An Experiment in Modeling Human Visual Learning.
journals/ijmms/Downs88:::Clive G. Downs:::Representing the Structure of Jobs in Job Analysis.
journals/ijmms/Savoy89:::Jacques Savoy:::The Electronic Book Ebook3.
journals/ijmms/Leach80:::Chris Leach:::Direct Analysis of a Repertory Grid.
journals/ijmms/LeeCD03:::Catherine Hui Min Lee::Yuk Wing Cheng::Arnold Depickere:::Comparing smart card adoption in Singapore and Australian universities.
journals/ijmms/LeeFP94:::Adrienne Y. Lee::Peter W. Foltz::Peter G. Polson:::Memory for task-action mappings: mnemonics, regularity and consistency.
journals/ijmms/MahmoodBGJ00:::Mo Adam Mahmood::Janice M. Burn::Leopoldo A. Gemoets::Carmen Jacquez:::Variables affecting information technology end-user satisfaction: a meta-analysis of the empirical literature.
journals/ijmms/PalmiterEB91:::Susan Palmiter::Jay Elkerton::Patricia Baggett:::Animated Demonstrations vs Written Instructions for Learning Procedural Tasks: A Preliminary Investigation.
journals/ijmms/Bunderson74:::C. Victor Bunderson:::The Design and Production of Learner-Controlled Courseware for the TICCIT System: A Progress Report.
journals/ijmms/Garg-JanardanS87:::Chaya Garg-Janardan::Gavriel Salvendy:::A Conceptual Framework for Knowledge Elicitation.
journals/ijmms/BlandfordD97:::Ann Blandford::David J. Duke:::Integrating user and computer system concerns in the design of interactive systems.
journals/ijmms/MottaOS94:::Enrico Motta::Kieron O'Hara::Nigel Shadbolt:::Grounding GDMs: a structured case study.
journals/ijmms/PiolatRT97:::Annie Piolat::Jean-Yves Roussey::Olivier Thunin:::Effects of screen presentation on text reading and revising.
journals/ijmms/Macgill84:::S. M. Macgill:::Cluster Analysis and Q-Analysis.
journals/ijmms/BatesonAM87:::Allan G. Bateson::Ralph A. Alexander::Martin D. Murphy:::Cognitive Processing Differences Between Novice and Expert Computer Programmers.
journals/ijmms/Wright92:::Patricia Wright:::Book Review: ``Hypertext in Context,'' by C. McKnight, A. Dillon, and J. Richardson.
journals/ijmms/BrazierJTW00:::Frances M. T. Brazier::Catholijn M. Jonker::Jan Treur::Niek J. E. Wijngaards:::On the use of shared task models in knowledge acquistion, strategic user interaction and clarification agents.
journals/ijmms/Langley00:::Pat Langley:::The computational support of scientific discovery.
journals/ijmms/PaxtonT84:::Anne Lee Paxton::Edward J. Turner:::The Application of Human Factors to the Needs of the Novice Computer User.
journals/ijmms/HendersonMSDN98:::Ron Henderson::Doug Mahar::Anthony Saliba::Frank Deane::Renee Napier:::Electronic monitoring systems: an examination of physiological activity and task performance within a simulated keystroke security and electronic performance monitoring sytem.
journals/ijmms/CatarciMR02:::Tiziana Catarci::Giacinto Matarazzo::Gianluigi Raiss:::Driving usability into the public administration: the Italian experience.
journals/ijmms/McCrackenA84:::Donald L. McCracken::Robert M. Akscyn:::Experience with the ZOG Human-Computer Interface System.
journals/ijmms/OxendineBSJ03:::Alina Oxendine::Eugene Borgida::John L. Sullivan::Melinda S. Jackson:::The importance of trust and community in developing and maintaining a community electronic network.
journals/ijmms/BatraA01:::Dinesh Batra::Solomon R. Antony:::Consulting support during conceptual database design in the presence of redundancy in requirements specifications: an empirical study.
journals/ijmms/BourniqueT85:::Richard Bournique::Siegfried Treu:::Specification and Generation of Variable, Personalized Graphical Interfaces.
journals/ijmms/Sanders85:::Richard L. Sanders:::Computer-Administered Individualized Psychological Testing: A Feasibility Study.
journals/ijmms/Brachman77:::Ronald J. Brachman:::What's in a Concept: Structural Foundations for Semantic Networks.
journals/ijmms/NassMFRD95:::Clifford Nass::Youngme Moon::B. J. Fogg::Byron Reeves::D. Christopher Dryer:::Can computer personalities be human personalities?
journals/ijmms/KambouriKVF94:::Maria Kambouri::Mathieu Koppen::Michael Villano::Jean-Claude Falmagne:::Knowledge assessment: tapping human expertise by the QUERY routine.
journals/ijmms/Stumme03:::Gerd Stumme:::Off to new shores: conceptual knowledge discovery and processing.
journals/ijmms/ChandraB95:::S. Chandra::David I. Blockley:::Cognitive and computer models of physical systems.
journals/ijmms/RoutenB91:::Tom Routen::Trevor J. M. Bench-Capon:::Hierarchical Formalizations.
journals/ijmms/CarrollM85:::John M. Carroll::Robert L. Mack:::Metaphor, Computing Systems, and Active Learning.
journals/ijmms/Smith98:::Ronnie W. Smith:::An evaluation of strategies for selectively verifying utterance meanings in spoken natural language dialog.
journals/ijmms/RichardsC98:::Debbie Richards::Paul Compton:::Taking up the situated cognition challenge with ripple down rules.
journals/ijmms/AmendolaBCM87:::A. M. Amendola::U. Bersini::P. C. Cacciabue::Giuseppe Mancini:::Modelling Operators in Accident Conditions: Advances and Perspectives on a Cognitive Model.
journals/ijmms/Hawkins83:::David Hawkins:::An Analysis of Expert Thinking.
journals/ijmms/StanneyMRBG03:::Kay M. Stanney::Mansooreh Mollaghasemi::Leah Reeves::Robert Breaux::David A. Graeber:::Usability engineering of virtual environments (VEs): identifying multiple criteria that drive effective VE system design.
journals/ijmms/BylanderC87:::Tom Bylander::B. Chandrasekaran:::Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition.
journals/ijmms/Souza93:::Clarisse Sieckenius de Souza:::The Semiotic Engineering of User Interface Languages.
journals/ijmms/JanzenV98:::Michael E. Janzen::Kim J. Vicente:::Attention allocation within the abstraction hierarchy.
journals/ijmms/Maybury92:::Mark T. Maybury:::Communicative Acts for Explanation Generation.
journals/ijmms/WelshT92:::Jim Welsh::Mark Toleman:::Conceptual Issues in Language-Based Editor Design.
journals/ijmms/HawkesDR90:::Lois Wright Hawkes::Sharon J. Derry::Elke A. Rundensteiner:::Individualized Tutoring Using an Intelligent Fuzzy Temporal Relational Database.
journals/ijmms/MacaulayBC00:::Catriona Macaulay::David Benyon::Alison Crerar:::Ethnography, theory and systems design: from intuition to insight.
journals/ijmms/NardiM91:::Bonnie A. Nardi::James R. Miller:::Twinkling Lights and Nested Loops: Distributed Problem Solving and Spreadsheet Development.
journals/ijmms/GruberVR97:::Thomas R. Gruber::Sunil Vemuri::James Rice:::Model-based virtual document generation.
journals/ijmms/Sheridan00:::Thomas B. Sheridan:::Function allocation: algorithm, alchemy or apostasy?
journals/ijmms/Gains93:::Brian Gains:::Editorial.
journals/ijmms/KozdrowickiC74:::Edward W. Kozdrowicki::Dennis W. Cooper:::COKO III: The Cooper-Kozdrowicki Chess Program.
journals/ijmms/Gargantini83:::Irene Gargantini:::Translation, Rotation and Superposition of Linear Quadtrees.
journals/ijmms/WittenB90:::Ian H. Witten::Timothy C. Bell:::Source Models for Natural Language Text.
journals/ijmms/Bateman95:::John A. Bateman:::On the relationship between ontology construction and natural language: a socio-semiotic view.
journals/ijmms/Crawford89:::Stuart L. Crawford:::Extensions to the CART Algorithm.
journals/ijmms/RandelPR96:::Josephine M. Randel::H. Lauren Pugh::Stephen K. Reed:::Differences in expert and novice situation awareness in naturalistic decision making.
journals/ijmms/WilliansH01:::James S. Willans::Michael D. Harrison:::A toolset supported approach for designing and testing virtual environment interaction techniques.
journals/ijmms/Guillemette89:::Ronald A. Guillemette:::Development and Validation of a Reader-Based Documentation Measure.
journals/ijmms/MooreSP75:::D. J. H. Moore::R. A. Seidl::D. J. Parker:::A Configurational Theory of Visual Perception.
journals/ijmms/MonkW00:::Andrew F. Monk::Leon Watts:::Peripheral participation in video-mediated communication.
journals/ijmms/Clement92:::Ross Peter Clement:::Learning Expert Systems by Being Corrected.
journals/ijmms/Davies93:::Simon P. Davies:::Models and Theories of Programming Strategy.
journals/ijmms/BandlerK85:::Wyllis Bandler::Ladislav J. Kohout:::Probabilistic versus Fuzzy Production Rules in Expert Systems.
journals/ijmms/GraySK93:::Wayne D. Gray::Haresh Sabnani::Susan S. Kirschenbaum:::``Human Error, '' by James Reason (Book Review).
journals/ijmms/Boehm-DavisSB87:::Deborah A. Boehm-Davis::Sylvia B. Sheppard::John W. Bailey:::Program Design Languages: How Much Detail Should They Include?
journals/ijmms/HuangG03:::Jiung-Yao Huang::Chung-Yun Gau:::Modelling and designing a low-cost high-fidelity mobile crane simulator.
journals/ijmms/ValenteBB99:::André Valente::Joost Breuker::Bob Brouwer:::Legal modeling and automated reasoning with ON-LINE.
journals/ijmms/Borgman86:::Christine L. Borgman:::The User's Mental Model of an Information Retrieval System: An Experiment on a Prototype Online Catalog.
journals/ijmms/BodkerG91:::Susanne Bødker::Kaj Grønbæk:::Cooperative Prototyping: Users and Designers in Mutual Activity.
journals/ijmms/WittenTCG91:::Ian H. Witten::Harold W. Thimbleby::George Coulouris::Saul Greenberg:::Liveware: A New Approach to Sharing Data in Social Networks.
journals/ijmms/Nowakowska83:::Maria Nowakowska:::Dynamics of Perception: Some New Models.
journals/ijmms/BolcKKS85:::Leonard Bolc::Adam Kowalski::Malgorzata Kozlowska::Tomek Strzalkowski:::A Natural Language Information Retrieval System with Extensions Towards Fuzzy Reasoning.
journals/ijmms/JanoskySH86:::Beverly Janosky::Philip J. Smith::Charles R. Hildreth:::Online Library Catalog Systems: An Analysis of User Errors.
journals/ijmms/LeventhalTR94:::Laura M. Leventhal::Barbee Teasley::Diane S. Rohlman:::Analyses of factors related to positive test bias in software testing.
journals/ijmms/Addis77:::Tom R. Addis:::Machine Understanding of Natural Language.
journals/ijmms/RatcliffS85:::Bryan Ratcliff::Jawed I. A. Siddiqi:::An Empirical Investigation into Problem Decomposition Strategies Used in Program Design.
journals/ijmms/BrayshawE91:::Mike Brayshaw::Marc Eisenstadt:::A Practical Graphical Tracer for Prolog.
journals/ijmms/MurrayP90:::Kenneth S. Murray::Bruce W. Porter:::Developing a Tool for Knowledge Integration: Initial Results.
journals/ijmms/GellersenS02:::Hans-Werner Gellersen::Albrecht Schmidt:::Look who's visiting: supporting visitor awareness in the web.
journals/ijmms/Gould80:::P. Gould:::Q-Analysis, or a Language of Structure: An Introduction for Social Scientists, Geographers and Planners.
journals/ijmms/TyfaH00:::David A. Tyfa::Mark Howes:::Speech recognition for command entry in multimodal interaction.
journals/ijmms/ChangK89:::L. W. Chang::Rangasami L. Kashyap:::Study of Combination of Belief Intervals in Lattice-Structured Networks.
journals/ijmms/Noyes83:::Jan Noyes:::The QWERTY Keyboard: A Review.
journals/ijmms/Scharf81:::E. M. Scharf:::Book Review: ``Communicating with Microprocessors, '' by Ian H. Witten.
journals/jancl/Fitting99:::Melvin Fitting:::Barcan Both Ways.
journals/jancl/Obtulowic00:::Adam Obtulowic:::Triangular Logic of Partial Toposes.
journals/jancl/Hoek97:::Wiebe van der Hoek:::Some Considerations on the Logic PFD~.
journals/jancl/Pliuskevicius98:::Regimantas Pliuskevicius:::Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.
journals/jancl/AlferesP95:::José Júlio Alferes::Luís Moniz Pereira:::Belief, Provability, and Logic Programs.
journals/jancl/Balbiani98:::Philippe Balbiani:::The modal multilogic of geometry.
journals/jancl/Cialdea93:::Marta Cialdea:::Herbrand style proof procedures for modal logic.
journals/jancl/TorriniSB02:::Paolo Torrini::John G. Stell::Brandon Bennett:::Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.
journals/jancl/GalliS99:::Adriana Galli::Marta Sagastume:::Some operations in Kripke models with an involution.
journals/jancl/AguileraGO95:::Gabriel Aguilera::Inman P. de Guzmán::Manuel Ojeda:::Increasing the efficiency of automated theorem proving.
journals/jancl/Perlis97:::Donald Perlis:::Sources of, and Exploiting, Inconsistency: Preliminary Report.
journals/jancl/AbadV99:::Manuel Abad::J. Patricio Díaz Varela:::Free double Ockham algebras.
journals/jancl/BadaloniZ96:::Silvana Badaloni::Alberto Zanardo:::Plausible Reasoning: A First-Order Approach.
journals/jancl/Preller96:::Anne Preller:::The Universe of Discourse of Modal Logic.
journals/jasis/Grose96:::Teresa Olwick Grose:::Reading the Bones: Information Content, Value, and Ownership Issues Raised by the Native American Graves Protection and Repatriation Act.
journals/jasis/Skovira98:::Robert J. Skovira:::Visual Explanations: Images and Quantities, Evidence and Narrative, by Edward R. Tufte.
journals/jasis/Su94:::Louise T. Su:::The Relevance of Recall and Precision in User Evaluation.
journals/jasis/Case96:::Donald Owen Case:::The Trouble with Computers: Usefulness, Usability, and Productivity, by Thomas K. Landauer.
journals/jasis/Himma03:::Kenneth Einar Himma:::Book Review: Beyond our control? Confronting the limits of our legal system in the age of cyberspace.
journals/jasis/Chen97:::Chaomei Chen:::Writing with Collaborative Hypertext: Analysis and Modeling.
journals/jasis/SillinceS93:::J. A. A. Sillince::M. Sillince:::Market Pressure and Government Intervention in the Administration and Development of Molecular Databases.
journals/jasis/Cole93:::Charles Cole:::Shannon Revisited: Information in Terms of Uncertainty.
journals/jasis/ChenCM00:::Chaomei Chen::Mary Czerwinski::Robert D. Macredie:::Individual differences in virtual environments - Introduction and overview.
