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