Conferences in DBLP
Donald Michie , Michael Bain Machines That Learn and Machines That Teach. [Citation Graph (0, 0)][DBLP ] Conf ] Seppo Linnainmaa , Eero Hyvönen Robust Consistency Maintenance Through Tolerance Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Fischer Nilsson A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Kjellin Pruning the Knowledge Base Before Finding a Matching Event. [Citation Graph (0, 0)][DBLP ] Conf ] Jalal Maleki Towards a System for Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. O'Hearn , Zbigniew Stachniak A Resolution Framework for Finitely-Valued First-Order Logics. [Citation Graph (0, 0)][DBLP ] Conf ] John Wolstencroft Restructuring, Reminding and Repair: What's Missing from Models of Analogy? [Citation Graph (0, 0)][DBLP ] Conf ] Antti Valmari State Space Generation with Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela D'Aloisi , Cristiano Castelfranchi , A. Tuozzi Structures in an Assertional Box. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. Eklund Using Path-Algebras and Conceptual Graphs to Encode Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Gunnar Blix , Ingeborg Sølvberg Learning in a Knowledge Acquisition Toolkit. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Cao , Eddie Grant Learning by Experimentation in a Robot World. [Citation Graph (0, 0)][DBLP ] Conf ] Leo K. Vyhandu A Method for Automatic Generation of Statements from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Niels Knudsen Expert System to Find Hardware Faults on a PABX. [Citation Graph (0, 0)][DBLP ] Conf ] Ari M. Vepsäläinen Use of Dynamical Network in Machine Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuhiro Takasu , Y. Itoh , S. Futatsugi , Setsuo Ohsuga Intelligent Wing Design Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Leinonen , A. Saksa Expert System for Key Combination Design of Door Locks. [Citation Graph (0, 0)][DBLP ] Conf ] Guillermo Arango Practical KBSE =3D Knowledge + Reuse + Mechanization. [Citation Graph (0, 0)][DBLP ] Conf ] K. Hakkarainen , Tuomas Ihme , M. Metcalfe PROSPEX: A Knowledge-Based Case Tool. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] P. Nykänen Guidelines for the Evaluation of Computer-Based Support to Clinical Decision Making. [Citation Graph (0, 0)][DBLP ] Conf ] Pentti Hietala Applications of AI in Education: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Michie , A. Paterson , Jean Hayes Michie Learning by Teaching. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Sokolnicki Integrating Tutoring in Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rudi Lutz Debugging Pascal Programs Using a Flowgraph Chart Parser. [Citation Graph (0, 0)][DBLP ] Conf ] Jaak Henno Computers in Education: Prolog as a Cognitive Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Mirko Dohnal Methodology of Qualitative Modeling. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] K. E. Petersen Reliability Based Maintenance Systems: A Knowledge Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] P. Heino , Jouko Suokas , I. Karvonen Design of Safe and Reliable Process Systems by Knowledge Based Safety Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Steinebach , C. Pereira SALMEX: An Intelligent Knowledge Based System for the Diagnosis of Salmonid Fish Diseases. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Eriksson , Kristian Sandahl Knowledge-Based Planning of Experiments in a Biochemical Domain: Membrane Protein Purification. [Citation Graph (0, 0)][DBLP ] Conf ] Alan L. Rector Helping with a Humanly Impossible Task: Integrating Knowledge Based Systems into Clinical Care. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Tommi Sukuvaara , Aki Mäkivirta , Erkki Koski , Aarno Kari Knowledge Based Intensive Care Alarming System. [Citation Graph (0, 0)][DBLP ] Conf ] Matti Karjalainen Object-Oriented Signal Processing: Principles and Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Olli Saarela , H. Markkanen , H. Mustonen , S. Rantala Detection of Process Disturbances Using Model-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Filipic , Ira Konvalinka Knowledge-Based Spectrum Estimation. [Citation Graph (0, 0)][DBLP ] Conf ] Pertti Lounamaa Applying Symbolic Computing Techniques to Solve Knowledge Inference Problems: Examples and Experiences. [Citation Graph (0, 0)][DBLP ] Conf ] Jaak Henno Complexity of Sets of Logical Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Juha Hynynen , Ora Lassila On the Use of Object-Oriented Paradigm in a Distributed Problem Solver. [Citation Graph (0, 0)][DBLP ] Conf ] J. O. Mikkelsen , Bernt A. Bremdal An Object-Oriented Approach to the Automation of Form-Based Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Guilherme Bittencourt A System to Aid the Specification of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Esko Juuso Expert Systems and the Fuzzy Simulation of Electrical Flow. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Helena Ahonen , Petri Viertiö Knowledge-Based Pagination. [Citation Graph (0, 0)][DBLP ] Conf ] Hari S. Ahluwalia The Pension Choice: An Expert System Project. [Citation Graph (0, 0)][DBLP ] Conf ] Raija Hynynen , J. Salokivi AATU: Expert System in Advice Giving and Decision Making in Municipal Organizations. [Citation Graph (0, 0)][DBLP ] Conf ] Erling Maartmann-Moe , S. Fiskum , H. F. Berg Integration of Expert Systems in Casework. [Citation Graph (0, 0)][DBLP ] Conf ] M. Bouteldja , Markku Tamminen Buidling an Embedded Knowledge-Based Application Using Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] L. Kaarela , M. Kurki , M. Olivo Building Embedded Real Time Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Veikko Seppänen Navigation Dimensions in Knowledge-Based Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Eero Sormunen A Knowledge-Based Intermediary System for Finnish Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Aulis Järviniemi , Heikki Jokinen , S. Pohja User Interface in Signal Analysis Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] T. Ketonen , J. K. Nurminen Combining Symbolic Computing with Conventional Design and Analysis Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Tapani Savolainen Expanding Man-Machine Communication by Computer Aided Creativity. [Citation Graph (0, 0)][DBLP ] Conf ] Manny Rayner , Åsa Hugosson , Martin Aronsson , Annika Wærn Formal Reasoning about Plan-Controlled Vehicles. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Asbjørn Andersen , Klaus Heje Munch DOCSY: A System for Automatic Document Writing. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Kulikov , Harri Jäppinen Automatic Translation of a Highly Constrained Language. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Olli Bloberg Machine Translation from a Natural Sublanguage to Another. [Citation Graph (0, 0)][DBLP ] Conf ] Mark T. Maybury Rhetorical Variance in Natural Language Descriptions. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Eero Lassila Parsing Finnish Sentences by Performing Functionally Defined Sequential Subtasks. [Citation Graph (0, 0)][DBLP ] Conf ] Jouko Suokas , P. Heino , Roar A. Fjellheim , R. Wennersten Knowledge Based Risk Management System for Process Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Roar A. Fjellheim , J. Fiksel Knowledge-Based Support for Event Tree Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Enn Tyugu Propositional Logic Programming and Type Thoeries. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Tamás Gergely , Zoltan Szabo Quasi-Equations for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Éric Rutten , Lionel Marcé Temporal Logics and Structured Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Nossum Belief without Omniscience. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Zell , Thomas Bräunl Iterative-Deepening Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Sundin Asking about Negative Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Éric Grégoire Reducing Inheritance Theories to Default Logic and Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 