Abstract is missing.
- Machines That Learn and Machines That TeachDonald Michie, Michael Bain. 1-25
- A Case Study in Knowledge Representation and Reasoning with Higher-Order CombinatorsJørgen Fischer Nilsson. 37-48
- Pruning the Knowledge Base Before Finding a Matching EventHarald Kjellin. 49-58
- Towards a System for Temporal ReasoningJalal Maleki. 59-68
- A Resolution Framework for Finitely-Valued First-Order LogicsPeter W. O Hearn, Zbigniew Stachniak. 69-81
- State Space Generation with InductionAntti Valmari. 99-115
- A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential EntailmentPatrick Doherty. 117-130
- Structures in an Assertional BoxDaniela D Aloisi, Cristiano Castelfranchi, A. Tuozzi. 131-142
- Using Path-Algebras and Conceptual Graphs to Encode Knowledge-BasesPeter W. Eklund. 143-149
- Re-Use of Problem Solving Experience for the Weekly Planning of School MealsCarl Gustaf Jansson, A. Rudström. 151-162
- Learning in a Knowledge Acquisition ToolkitGunnar Blix, Ingeborg Sølvberg. 163-176
- Learning by Experimentation in a Robot WorldFeng Cao, Eddie Grant. 177-184
- Use of Dynamical Network in Machine MaintenanceAri M. Vepsäläinen. 199-219
- Intelligent Wing Design Support SystemAtsuhiro Takasu, Y. Itoh, S. Futatsugi, Setsuo Ohsuga. 221-235
- Practical KBSE =3D Knowledge + Reuse + MechanizationGuillermo Arango. 245-253
- PROSPEX: A Knowledge-Based Case ToolK. Hakkarainen, Tuomas Ihme, M. Metcalfe. 255-266
- Applications of AI in Education: An OverviewPentti Hietala. 299-306
- Learning by TeachingDonald Michie, A. Paterson, Jean Hayes Michie. 307-331
- Integrating Tutoring in Knowledge-Based SystemsTomas Sokolnicki. 333-343
- Debugging Pascal Programs Using a Flowgraph Chart ParserRudi Lutz. 345-361
- Computers in Education: Prolog as a Cognitive ToolJaak Henno. 363-378
- Methodology of Qualitative ModelingMirko Dohnal. 379-395
- Deep and Shallow Knowledge Integration: A Case Study of an AI Diagnosis of a Chemical ReactorRaija Koivisto, Mirko Dohnal, A. Likitalo. 397-408
- Design of Safe and Reliable Process Systems by Knowledge Based Safety AnalysisP. Heino, Jouko Suokas, I. Karvonen. 415-429
- SALMEX: An Intelligent Knowledge Based System for the Diagnosis of Salmonid Fish DiseasesChristian Steinebach, C. Pereira. 431-442
- Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein PurificationHenrik Eriksson, Kristian Sandahl. 443-452
- Knowledge Modelling and Representation to Support an Interpretation Task: Experiences from Thyroid Function DiagnosticsPirkko Nykänen, Kerttu Irjala, Matti Välimäki, Kari P. Saarinen, Jorma Viikari. 467-472
- Knowledge-Based Spectrum EstimationBogdan Filipic, Ira Konvalinka. 509-520
- Complexity of Sets of Logical FunctionsJaak Henno. 529-536
- On the Use of Object-Oriented Paradigm in a Distributed Problem SolverJuha Hynynen, Ora Lassila. 537-549
- An Object-Oriented Approach to the Automation of Form-Based ProceduresJ. O. Mikkelsen, Bernt A. Bremdal. 551-566
- A System to Aid the Specification of Knowledge-Based SystemsGuilherme Bittencourt. 567-580
- Knowledge-Based PaginationHelena Ahonen, Petri Viertiö. 607-611
- Integration of Expert Systems in CaseworkErling Maartmann-Moe, S. Fiskum, H. F. Berg. 633-641
- Buidling an Embedded Knowledge-Based Application Using AbstractionsM. Bouteldja, Markku Tamminen. 643-656
- Navigation Dimensions in Knowledge-Based Software ReuseVeikko Seppänen. 669-685
- A Knowledge-Based Intermediary System for Finnish DatabasesEero Sormunen. 687-696
- Formal Reasoning about Plan-Controlled VehiclesManny Rayner, Åsa Hugosson, Martin Aronsson, Annika Wærn. 739-751
- An Approach to Combine Knowledge Validation & Evaluation with Development in Medical AIL. Valluy, Pirkko Nykänen, Jukka Rantanen, J. Salmela, Paul Grönroos, Jukka Lumio. 753-764
- Reliable Data-Fusion for the Knowledge Based Intensive Care Alarming SystemsAki Mäkivirta, Tommi Sukuvaara, Erkki Koski, Aarno Kari. 765-782
- Automatic Translation of a Highly Constrained LanguageLeo Kulikov, Harri Jäppinen. 793-800
- Rhetorical Variance in Natural Language DescriptionsMark T. Maybury. 819-823
- The Structure and Process of Linearization: Prolegomena for a General Theory of Communication (III) - Knowledge Representation and Inference: A Non-Linear Approach to Natural Language ProcessingWilliam H. Edmondson. 825-834
- Parsing Finnish Sentences by Performing Functionally Defined Sequential SubtasksEero Lassila. 835-839
- Knowledge Based Risk Management System for Process IndustryJouko Suokas, P. Heino, Roar A. Fjellheim, R. Wennersten. 841-850
- Propositional Logic Programming and Type ThoeriesEnn Tyugu. 863-871
- GCLA: Generalized Horn Clauses as a Programming LanguageMartin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, P. Olin. 873-887
- Quasi-Equations for Logic ProgrammingTamás Gergely, Zoltan Szabo. 889-899
- Temporal Logics and Structured PlansÉric Rutten, Lionel Marcé. 901-912
- Belief without OmniscienceRolf Nossum. 912-917
- Iterative-Deepening PrologAndreas Zell, Thomas Bräunl. 919-929
- Asking about Negative KnowledgeUlf Sundin. 931-942
- Reducing Inheritance Theories to Default Logic and Logic ProgramsÉric Grégoire. 943-958