


default search action
2nd SCAI 1989: Tampere, Finland
- Hannu Jaakkola, Seppo Linnainmaa:

Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings of the 2nd SCAI, Tampere, Finland, June 12-15, 1989. Frontiers in Artificial Intelligence and Applications 4, IOS Press 1989, 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














