2. SCAI 1989: Tampere, Finland

Hannu Jaakkola, Seppo Linnainmaa (Eds.): Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings of the 2nd SCAI, Tampere, Finland, June 12-15, 1989.

Frontiers in Artificial Intelligence and Applications

, Volume 4,

IOS Press

1989, Amsterdam, The Netherlands, ISBN 90-5199-017-0

• 
  Donald Michie, Michael Bain:
  Machines That Learn and Machines That Teach. SCAI 1989: 1-25
• 
  Seppo Linnainmaa, Eero Hyvönen:
  Robust Consistency Maintenance Through Tolerance Propagation. SCAI 1989: 27-36
• 
  Jørgen Fischer Nilsson:
  A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators. SCAI 1989: 37-48
• 
  Harald Kjellin:
  Pruning the Knowledge Base Before Finding a Matching Event. SCAI 1989: 49-58
• 
  Jalal Maleki:
  Towards a System for Temporal Reasoning. SCAI 1989: 59-68
• 
  Peter W. O'Hearn, Zbigniew Stachniak:
  A Resolution Framework for Finitely-Valued First-Order Logics. SCAI 1989: 69-81
• 
  John Wolstencroft:
  Restructuring, Reminding and Repair: What's Missing from Models of Analogy? SCAI 1989: 83-98
• 
  Antti Valmari:
  State Space Generation with Induction. SCAI 1989: 99-115
• 
  Patrick Doherty:
  A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment. SCAI 1989: 117-130
• 
  Daniela D'Aloisi, Cristiano Castelfranchi, A. Tuozzi:
  Structures in an Assertional Box. SCAI 1989: 131-142
• 
  Peter W. Eklund:
  Using Path-Algebras and Conceptual Graphs to Encode Knowledge-Bases. SCAI 1989: 143-149
• 
  Carl Gustaf Jansson, A. Rudström:
  Re-Use of Problem Solving Experience for the Weekly Planning of School Meals. SCAI 1989: 151-162
• 
  Gunnar Blix, Ingeborg Sølvberg:
  Learning in a Knowledge Acquisition Toolkit. SCAI 1989: 163-176
• 
  Feng Cao, Eddie Grant:
  Learning by Experimentation in a Robot World. SCAI 1989: 177-184
• 
  Leo K. Vyhandu:
  A Method for Automatic Generation of Statements from Examples. SCAI 1989: 185-191
• 
  Niels Knudsen:
  Expert System to Find Hardware Faults on a PABX. SCAI 1989: 193-198
• 
  Ari M. Vepsäläinen:
  Use of Dynamical Network in Machine Maintenance. SCAI 1989: 199-219
• 
  Atsuhiro Takasu, Y. Itoh, Seiji Futatsugi, Setsuo Ohsuga:
  Intelligent Wing Design Support System. SCAI 1989: 221-235
• 
  Timo Leinonen, A. Saksa:
  Expert System for Key Combination Design of Door Locks. SCAI 1989: 237-244
• 
  Guillermo Arango:
  Practical KBSE =3D Knowledge + Reuse + Mechanization. SCAI 1989: 245-253
• 
  Kari Hakkarainen, Tuomas Ihme, Mike Metcalfe:
  PROSPEX: A Knowledge-Based Case Tool. SCAI 1989: 255-266
• 
  Jukka Rantanen:
  Hypermedia in Knowledge Acquisition and Specification of User Interface for KBS: An Approach and a Case Study. SCAI 1989: 267-291
• 
  P. Nykänen:
  Guidelines for the Evaluation of Computer-Based Support to Clinical Decision Making. SCAI 1989: 291-298
• 
  Pentti Hietala:
  Applications of AI in Education: An Overview. SCAI 1989: 299-306
• 
  Donald Michie, A. Paterson, Jean Hayes Michie:
  Learning by Teaching. SCAI 1989: 307-331
• 
  Tomas Sokolnicki:
  Integrating Tutoring in Knowledge-Based Systems. SCAI 1989: 333-343
• 
  Rudi Lutz:
  Debugging Pascal Programs Using a Flowgraph Chart Parser. SCAI 1989: 345-361
• 
  Jaak Henno:
  Computers in Education: Prolog as a Cognitive Tool. SCAI 1989: 363-378
• 
  Mirko Dohnal:
  Methodology of Qualitative Modeling. SCAI 1989: 379-395
• 
  Raija Koivisto, Mirko Dohnal, A. Likitalo:
  Deep and Shallow Knowledge Integration: A Case Study of an AI Diagnosis of a Chemical Reactor. SCAI 1989: 397-408
• 
  K. E. Petersen:
  Reliability Based Maintenance Systems: A Knowledge Based Approach. SCAI 1989: 409-414
• 
  P. Heino, Jouko Suokas, I. Karvonen:
  Design of Safe and Reliable Process Systems by Knowledge Based Safety Analysis. SCAI 1989: 415-429
• 
  Christian Steinebach, C. Pereira:
  SALMEX: An Intelligent Knowledge Based System for the Diagnosis of Salmonid Fish Diseases. SCAI 1989: 431-442
• 
  Henrik Eriksson, Kristian Sandahl:
  Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein Purification. SCAI 1989: 443-452
• 
  Alan L. Rector:
  Helping with a Humanly Impossible Task: Integrating Knowledge Based Systems into Clinical Care. SCAI 1989: 453-465
• 
  Pirkko Nykänen, Kerttu Irjala, Matti Välimäki, Kari P. Saarinen, Jorma Viikari:
  Knowledge Modelling and Representation to Support an Interpretation Task: Experiences from Thyroid Function Diagnostics. SCAI 1989: 467-472
• 
  Tommi Sukuvaara, Aki Mäkivirta, Erkki Koski, Aarno Kari:
  Knowledge Based Intensive Care Alarming System. SCAI 1989: 473-481
• 
  Matti Karjalainen:
  Object-Oriented Signal Processing: Principles and Experiments. SCAI 1989: 483-496
• 
  Olli Saarela, H. Markkanen, H. Mustonen, S. Rantala:
  Detection of Process Disturbances Using Model-Based Reasoning. SCAI 1989: 497-508
• 
  Bogdan Filipic, Ira Konvalinka:
  Knowledge-Based Spectrum Estimation. SCAI 1989: 509-520
• 
  Pertti Lounamaa:
  Applying Symbolic Computing Techniques to Solve Knowledge Inference Problems: Examples and Experiences. SCAI 1989: 521-528
• 
  Jaak Henno:
  Complexity of Sets of Logical Functions. SCAI 1989: 529-536
• 
  Juha Hynynen, Ora Lassila:
  On the Use of Object-Oriented Paradigm in a Distributed Problem Solver. SCAI 1989: 537-549
• 
  J. O. Mikkelsen, Bernt A. Bremdal:
  An Object-Oriented Approach to the Automation of Form-Based Procedures. SCAI 1989: 551-566
• 
  Guilherme Bittencourt:
  A System to Aid the Specification of Knowledge-Based Systems. SCAI 1989: 567-580
• 
  Esko Juuso:
  Expert Systems and the Fuzzy Simulation of Electrical Flow. SCAI 1989: 581-595
• 
  Aarno Lehtola, Seppo Linnainmaa:
  Intelligent Travel Advisor and External Databases: An Approach to Interfacing Knowledge Based Systems to Databases. SCAI 1989: 597-605
• 
  Helena Ahonen, Petri Viertiö:
  Knowledge-Based Pagination. SCAI 1989: 607-611
• 
  Hari S. Ahluwalia:
  The Pension Choice: An Expert System Project. SCAI 1989: 613-623
• 
  Raija Hynynen, J. Salokivi:
  AATU: Expert System in Advice Giving and Decision Making in Municipal Organizations. SCAI 1989: 625-631
• 
  Erling Maartmann-Moe, S. Fiskum, H. F. Berg:
  Integration of Expert Systems in Casework. SCAI 1989: 633-641
• 
  M. Bouteldja, Markku Tamminen:
  Buidling an Embedded Knowledge-Based Application Using Abstractions. SCAI 1989: 643-656
• 
  L. Kaarela, M. Kurki, M. Olivo:
  Building Embedded Real Time Expert Systems. SCAI 1989: 657-667
• 
  Veikko Seppänen:
  Navigation Dimensions in Knowledge-Based Software Reuse. SCAI 1989: 669-685
• 
  Eero Sormunen:
  A Knowledge-Based Intermediary System for Finnish Databases. SCAI 1989: 687-696
• 
  Aulis Järviniemi, Heikki Jokinen, S. Pohja:
  User Interface in Signal Analysis Expert System. SCAI 1989: 697-709
• 
  Timo Ketonen, Jukka K. Nurminen:
  Combining Symbolic Computing with Conventional Design and Analysis Techniques. SCAI 1989: 711-722
• 
  Tapani Savolainen:
  Expanding Man-Machine Communication by Computer Aided Creativity. SCAI 1989: 723-737
• 
  Manny Rayner, Åsa Hugosson, Martin Aronsson, Annika Wærn:
  Formal Reasoning about Plan-Controlled Vehicles. SCAI 1989: 739-751
• 
  L. Valluy, Pirkko Nykänen, Jukka Rantanen, J. Salmela, Paul Grönroos, Jukka Lumio:
  An Approach to Combine Knowledge Validation & Evaluation with Development in Medical AI. SCAI 1989: 753-764
• 
  Aki Mäkivirta, Tommi Sukuvaara, Erkki Koski, Aarno Kari:
  Reliable Data-Fusion for the Knowledge Based Intensive Care Alarming Systems. SCAI 1989: 765-782
• 
  Asbjørn Andersen, Klaus Heje Munch:
  DOCSY: A System for Automatic Document Writing. SCAI 1989: 783-792
• 
  Leo Kulikov, Harri Jäppinen:
  Automatic Translation of a Highly Constrained Language. SCAI 1989: 793-800
• 
  Jacques Courtin, Danièle Dujardin, Irène Kowarski, Damien Genthial, Vera Lúcia Strube de Lima:
  Interactive Multi-Level Systems for Correction of Ill-Formed French Texts. SCAI 1989: 801-809
• 
  Olli Bloberg:
  Machine Translation from a Natural Sublanguage to Another. SCAI 1989: 811-817
• 
  Mark T. Maybury:
  Rhetorical Variance in Natural Language Descriptions. SCAI 1989: 819-823
• 
  William H. Edmondson:
  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 Processing. SCAI 1989: 825-834
• 
  Eero Lassila:
  Parsing Finnish Sentences by Performing Functionally Defined Sequential Subtasks. SCAI 1989: 835-839
• 
  Jouko Suokas, P. Heino, Roar A. Fjellheim, R. Wennersten:
  Knowledge Based Risk Management System for Process Industry. SCAI 1989: 841-850
• 
  Roar A. Fjellheim, Joseph Fiksel:
  Knowledge-Based Support for Event Tree Construction. SCAI 1989: 851-861
• 
  Enn Tyugu:
  Propositional Logic Programming and Type Thoeries. SCAI 1989: 863-871
• 
  Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin:
  GCLA: Generalized Horn Clauses as a Programming Language. SCAI 1989: 873-887
• 
  Tamás Gergely, Zoltán Szabó:
  Quasi-Equations for Logic Programming. SCAI 1989: 889-899
• 
  Éric Rutten, Lionel Marcé:
  Temporal Logics and Structured Plans. SCAI 1989: 901-912
• 
  Rolf Nossum:
  Belief without Omniscience. SCAI 1989: 912-917
• 
  Andreas Zell, Thomas Bräunl:
  Iterative-Deepening Prolog. SCAI 1989: 919-929
• 
  Ulf Sundin:
  Asking about Negative Knowledge. SCAI 1989: 931-942
• 
  Éric Grégoire:
  Reducing Inheritance Theories to Default Logic and Logic Programs. SCAI 1989: 943-958

Acknowledgement: The information on this page was contributed by Hendrik Decker