Foundations, theory and applications
Author(s)
Bibliographic Information
Foundations, theory and applications
(Frontiers in artificial intelligence and applications, . Information modelling and knowledge bases ; 3)
IOS Press, 1992
- Other Title
-
Information modelling and knowledge bases lll
Foundations theory and applications
Available at 4 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and author index
Description and Table of Contents
Description
This third volume in a sub-series based on the joint effort of Nordic and Japanese scientists in the field of information modelling and knowledge bases contains 45 contributions. The work is a continuation of an effort to study foundations and applications of conceptual modelling in various environments. The motivation of these efforts is the fact that conceptual modelling and knowledge representation, together with various kinds of inference systems are important subfields in the design and use of information systems. They are becoming more and more important in nearly all fields of engineering, too. The modelling is essential in many disciplines, such as database design, knowledge engineering, logic, artificial intelligence, cognitive science, philosophy and linguistics.
Table of Contents
- Part 2 Theory of concepts, concept modelling and conceptual modelling: a geometric model of concept formation, Peter Gardenfors
- on the concept of concept for conceptual modelling and concept detection, H. Kangassalo
- conceptual modelling based on conceptual modelling, T. Catarzi and M. Lenzerini
- knowledge modelling based on object model, an approach to multi-use engineering knowledge base, H. Ueno et al
- visual logic programming, H. Olason and L.F. Pau
- the problem of abstractness in conceptual modelling, E. Marjomas
- from theory of concept to concept theory, J. Palomaki
- formalization of intention of observers and foundations of intellectual communication, T. Kitahashi and N. Babaguchi
- modelling the essential activities of an organization, J. Dietz
- relationships, aggregations and complex objects, J. Livari
- modelling objects by extensions and intensions - a theoretical background of KAUS, H. Yamauchi and S. Ohauga. Part 2 Acquisition and elicitation of modelling knowledge: interrogative model of knowledge acquisition as a framework of concept identification, Jaakko Hintikka
- word space processor for assisting the articulation of the mental world, K. Hori and S. Ohsuga
- modelling and accumulating noun concepts for machine tractable dictionaries, N. Okada
- logic of belief and belief sets - an approach to autoepistemic logic, Ono Hiroakira
- first order logic - on formal semantics of first-order theories, P. Sibelius
- normal form of function-free deductive databases, I. Shioya. Part 4 Knowledge representation I: independence-friendly logic as a framework for information modelling and reasoning about knowledge, Jaakko Hintikka
- knowing, believing and ignorance representation, R.A. Girle
- on intelligent computer-aided designability of a structured based kowledge system, P. Morizet-Mahoudeaux. Part 5 Languages, tools and methods for conceptual modelling I: modular modelling of temporal behaviours, R. Kurki-Suonio
- graphic support for the database design with user-defined modeling concepts, K. Radermacher
- a stream oriented parallel processing strategy for databases and knowledge bases, Y. Kiyoki and M. Namiuchi. Part 6 Data base design, knowledge base design, software engineering: an object-oriented approach to conceptual data modelling, M.H. Haav
- environments of small knowledge-based CAD systems, A. Kalija
- PROV - a case-approach for developing knowledge based systems for constructive problems, Peter Nordin and Sundin Ulf
- computer aided requirements engineering, G. Grosz and C. Rolland
- data dictionaries - structure and design, C. Batini et al
- refinements of ossadic IS specification tools, V. Savolaine and H. Saastamoinen (Part Contents).
by "Nielsen BookData"