Abstract is missing.
- Automated Theorem Proving in Non-Classical LogicsLincoln A. Wallen. 1-12
- Lifting of the Ditchmarker Refinement for Connection Method to First Order LogicDag Diesen. 13-21
- Modelling Configuration Expert SystemsPeter W. Eklund. 23-31
- IANI: Intelligent Access to Nordic Information SystemsI. B. Hansen, K. B. Hansen. 43-52
- Talking to a Computer Is Not like Talking to Your Best FriendArne Jönsson, Nils Dahlbäck. 53-68
- NAVPLAN: Tactical Routeplanning for Seagoing Vessels Based on Artificial IntelligenceS. I. Sagatun, Bernt A. Bremdal. 113-124
- Knowledge-Based Systems: A New Stage in Banking and FinanceGunnar Hartvigsen. 125-135
- Knowledge-Based Systems for Commercial Line Insurance: An Exciting Application of AI-Techniques in the Service SectorS. Akelsen, Gunnar Hartvigsen, Per Wiggo Richardsen. 137-148
- Using a Logic Grammar to Learn a LexiconManny Rayner, Åsa Hugosson, Göran Hagert. 149-160
- A Control-Strategy-Independent Parser for PATRMats Wirén. 161-172
- Distribution and Coordination of Tasks Among Intelligent AgentsLes Gasser. 189-204
- A Representation of Coordinated ActionsChrister Bäckström. 205-220
- Parallel Distributed Procesing and the Logical Categories of LearningOle Fogh Kirkeby. 221-236
- Design Elements for a Better AI-LanguageRolf Nossum. 237-239
- Interpretation of Test Results in Clinical Chemistry: A Protosystem for Thyroid Function DiagnosticsKari P. Saarinen, Pirkko Nykänen, Kerttu Irjala, Jorma Viikari, Matti Välimäki. 241-251
- MICROBE: A Prototype Expert System for Treatment Planning in Bacterial InfectionsPirkko Nykänen, Pekka Kaatiala, Jukka Rantanen, Jukka Lumio, Paul Grönroos. 253-262
- Automatic Generation of Natural Language Descriptions of Technical SystemsA. Andersen, A. D. Karbaek. 263-273
- Intelligent Knowledge Based Systems for Diagnosis of MachineryChristian Steinebach. 275-289
- On Some Problems in Applying Artificial Intelligence in Large Industrial SystemsM. Bouteldja, P. Lepistö. 291-298
- Task-Modelling: A Structured Methodology for Knowledge ElicitationWerner Aistrup, P. Meersohn. 299-305
- Evaluation of Two Knowledge Acquisition MethodsG. Haugen. 307-313
- Alternative Roles for Knowledge EngineersA. Byttner. 315-321
- Handling Uncertainty in a System for Text-Symbol Context AnalysisBjørnar Tessem, L. J. Ersland. 323-332
- Some Problems Concercing the Representation of Legal NormsHenning Herrestad. 333-342
- Mass Administration Law as a Basis for Expert SystemsH. F. Berg, M. Theisen. 343-357
- Machine Learning Techniques for Knowledge-Based SystemsDavid C. Wilkins. 359-360
- Deductive Planning RevisitedRolf Nossum. 373-381