Logic programming : proceedings of the Fourth International Conference
Author(s)
Bibliographic Information
Logic programming : proceedings of the Fourth International Conference
(MIT Press series in logic programming)
MIT Press, c1987
- v. 1
- v. 2
- : pbk
- : set
Available at 30 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
-
Ibaraki University Library, Hitachi Branch分
v. 1007.64:Log:1111700531,
v. 2007.64:Log:2111700679 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
v. 1C-P||Melbourne||1987.587057796,
v. 2C-P||Melbourne||1987.587057797
Note
"Papers presented at the Fourth International Conference on Logic Programming, held at Melbourne University May 25-29, 1987"--Foreword
Includes bibliographies and index
Description and Table of Contents
- Volume
-
: set ISBN 9780262121255
Description
The 45 contributions in this book consider all aspects of logic programming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; knowledge representation, reasoning, and expert systems; and relations to other computation models, programming languages, and programming methodologies. There are chapters on novel applications and on applications that address the unique character of logic programming.Invited speakers are Keith Clark (Imperial College, London), Herve Gallaire (ECRC, Munich), Fernando Pereira, (SRI International), K. R. Rao (University of Melbourne), J. Alan Robinson (Syracuse University), and Masahiko Sato (Tohoku University)."Logic Programming: Proceedings of the Fourth International Conference" is included in the series Logic Programming (Research Reports and Notes), edited by Ehud Shapiro.Two-volume set
- Volume
-
: pbk ISBN 9780262620581
Description
Methods of recursive identification deal with the problem of building mathematical models of signals and systems on-line, at the same time as data is being collected. Such methods, which are also known as adaptive algorithms or sequential parameter estimation methods, may be applied to a wide spectrum of online adaptive systems, such as devices for signal processing, prediction, or control and are useful for modeling systems in general. For example, they can be used to analyze the demand for power on an electric generating grid and help the grid adjust to continually changing power needs, or applied to the changing conditions of a papermaking plant, or to monitoring pollution in a river. This book provides a comprehensive and systematic framework for developing, describing, and analyzing such recursive algorithms. It has been carefully designed and organized to meet the needs of readers with different objectives. With a myriad of algorithms now in use, it provides a simple and coherent frame of reference for understanding the subject and will serve as a guide to the large number of choices made available by the advent of inexpensive, powerful digital processors. Readers primarily interested in theory will find a detailed development of convergence analysis and asymptotic distribution results. For graduate students it is a basic introduction to the subject. And for engineers interested in practical applications, the book's earlier theory-oriented chapters are equipped with "user's summaries" that provide direct access to the discussion of practical aspects developed in the final three chapters on implementation and applications. The authors are both affiliated with Swedish universities.Lennart Ljung is Professor and Head of the Electrical Engineering Department at Linkoping University, and Torsten Soderstrom is Professor in the Department of Automatic Control and Systems Analysis at Uppsala University. Their book is fifth in The MIT Press Signal Processing, Optimization, and Control Series, edited by Alan S. Willsky.
by "Nielsen BookData"