Conferences in DBLP
Lincoln A. Wallen Automated Theorem Proving in Non-Classical Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Dag Diesen Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. Eklund Modelling Configuration Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir B. Britkov , V. R. Aleyev An Intelligent User Interface for an Environmental Information System. [Citation Graph (0, 0)][DBLP ] Conf ] I. B. Hansen , K. B. Hansen IANI: Intelligent Access to Nordic Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Jönsson , Nils Dahlbäck Talking to a Computer Is Not like Talking to Your Best Friend. [Citation Graph (0, 0)][DBLP ] Conf ] Erling A. Woods On the Combination of Algorithmic and Symbolic Computation for Monitoring Industrial Processes. [Citation Graph (0, 0)][DBLP ] Conf ] S. Zeuthen SEMAID: A Knowledge-Based System for the Conceptual Design of Terminal Structures (Offshore Loading Systems - OLS). [Citation Graph (0, 0)][DBLP ] Conf ] S. I. Sagatun , Bernt A. Bremdal NAVPLAN: Tactical Routeplanning for Seagoing Vessels Based on Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Gunnar Hartvigsen Knowledge-Based Systems: A New Stage in Banking and Finance. [Citation Graph (0, 0)][DBLP ] Conf ] S. Akelsen , Gunnar Hartvigsen , Per Wiggo Richardsen Knowledge-Based Systems for Commercial Line Insurance: An Exciting Application of AI-Techniques in the Service Sector. [Citation Graph (0, 0)][DBLP ] Conf ] Manny Rayner , Åsa Hugosson , Göran Hagert Using a Logic Grammar to Learn a Lexicon. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Wirén A Control-Strategy-Independent Parser for PATR. [Citation Graph (0, 0)][DBLP ] Conf ] Magne Reitan Situation Semantics and the Speech Act of Informing. [Citation Graph (0, 0)][DBLP ] Conf ] Les Gasser Distribution and Coordination of Tasks Among Intelligent Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström A Representation of Coordinated Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Ole Fogh Kirkeby Parallel Distributed Procesing and the Logical Categories of Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Nossum Design Elements for a Better AI-Language. [Citation Graph (0, 0)][DBLP ] Conf ] Kari P. Saarinen , Pirkko Nykänen , Kerttu Irjala , Jorma Viikari , Matti Välimäki Interpretation of Test Results in Clinical Chemistry: A Protosystem for Thyroid Function Diagnostics. [Citation Graph (0, 0)][DBLP ] Conf ] Pirkko Nykänen , Pekka Kaatiala , Jukka Rantanen , Jukka Lumio , Paul Grönroos MICROBE: A Prototype Expert System for Treatment Planning in Bacterial Infections. [Citation Graph (0, 0)][DBLP ] Conf ] A. Andersen , A. D. Karbaek Automatic Generation of Natural Language Descriptions of Technical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Steinebach Intelligent Knowledge Based Systems for Diagnosis of Machinery. [Citation Graph (0, 0)][DBLP ] Conf ] M. Bouteldja , P. Lepistö On Some Problems in Applying Artificial Intelligence in Large Industrial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Aistrup , P. Meersohn Task-Modelling: A Structured Methodology for Knowledge Elicitation. [Citation Graph (0, 0)][DBLP ] Conf ] G. Haugen Evaluation of Two Knowledge Acquisition Methods. [Citation Graph (0, 0)][DBLP ] Conf ] A. Byttner Alternative Roles for Knowledge Engineers. [Citation Graph (0, 0)][DBLP ] Conf ] Bjørnar Tessem , L. J. Ersland Handling Uncertainty in a System for Text-Symbol Context Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Herrestad Some Problems Concercing the Representation of Legal Norms. [Citation Graph (0, 0)][DBLP ] Conf ] H. F. Berg , M. Theisen Mass Administration Law as a Basis for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Wilkins Machine Learning Techniques for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] S. K. Dulin , A. I. Ehrlich Structural Contradictions in Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Nossum Deductive Planning Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] 