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.