Artificial intelligence III : methodology, systems, applications : proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '88), Varna, Bulgaria, 20-23 September, 1988

Bibliographic Information

Artificial intelligence III : methodology, systems, applications : proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '88), Varna, Bulgaria, 20-23 September, 1988

edited by T. O'Shea and V. Sgurev

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Col., 1988

Available at  / 22 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Description and Table of Contents

Description

Mainstream AI research directions are reflected in the majority of the papers presented in this volume. Automatic reasoning and knowledge representation problems, inferencing, action planning and coordination, temporal reasoning, truth maintenance systems and machine learning are all represented. Other papers are concerned with logic and object-oriented programming, conceptual and implementation problems of AI programming, natural language processing, architectures and systems. The applications of AI are also considered, in the fields of software engineering, industry and the humanities, e.g. education, law.

Table of Contents

Invited Papers: Knowledge, Belief and User Modelling (J.A. Self). Shifting the Belief Engine into Higher Gear (Y. Wilks and A. Balim). Modeling a Theory of Human Plausible Reasoning (M.H. Burstein and A.M. Collins). Creative Data Analysis: Rules Generation Based on ID 3 Philosophy (M. Dabrowski, M. Michalewicz, S. Wierzschon). EXTRACT: Integration of Factual and Procedural Description through Object-Oriented Programming (I. Popchev, I. Popov, V. Tadjer, G. Simov, V. Bonchev). A Data Tracing System for Prolog Novices (C. Dichev, B. du Boulay). A Legal Expert Model for Business Processes (L. Dakovski, H. Vassilev, I. Momchev, P. Trampov, B. Filipov). Problems of Diagnostic Knowledge Processing (V. Sgurev, D. Dochev, Ch. Dichev, G. Agre, Z. Markov). LATOR - a Database Management System for Local Networks (J. Demetrovics, G. Gyepesi, L. Hannak, T. Remzsoe, F. Urbanszki). Plus 41 Contributed Papers.

by "Nielsen BookData"

Details

Page Top