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