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