ECAI 92 PDF Download

Author: Bernd Neumann
Publisher: Wiley
ISBN: 9780471936084
Category : Computers
Languages : en
Pages : 930

View

Book Description
ECAI 92 August 3-7, 1992, Vienna, Austria Proceedings Edited by Bernd Neumann University of Hamburg, Germany The 10th European Conference on Artificial Intelligence, held in Austria, August 1992, attracted an unusually large number of contributed papers, reflecting the scope and strength of current Al research. Almost 200 selected papers, covering essential areas of Al, are presented in this volume. Such core subjects as Automated Reasoning and Knowledge Representation are given extensive treatment. Attention is also focused on important application issues and real-world problems.

Author: John-Jules Ch. Meyer
Publisher: Springer Science & Business Media
ISBN: 9401717435
Category : Mathematics
Languages : en
Pages : 385

View

Book Description
This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics", but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. We have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.

Author: Michael J. Wooldridge
Publisher: Springer Science & Business Media
ISBN: 9783540588559
Category : Computers
Languages : en
Pages : 1144

View

Book Description
This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is currently considerable interest, from both the AI and the mainstream CS communities, in conceptualizing and building complex computer systems as collections of intelligent agents. This book is devoted to theoretical and practical aspects of architectural and language-related design and implementation issues of software agents. Particularly interesting is the comprehensive survey by the volume editors, which outlines the key issues and indicates, via a comprehensive bibliography, topics for further reading. In addition, a glossary of key terms in this emerging field and a comprehensive subject index is included.

Author:
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 7289

View

Book Description

Author: Laurent Fribourg
Publisher: Springer Science & Business Media
ISBN: 9783540587927
Category : Computers
Languages : en
Pages : 468

View

Book Description
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Author: Gerhard Lakemeyer
Publisher: Springer Science & Business Media
ISBN: 9783540581079
Category : Computers
Languages : en
Pages : 372

View

Book Description
The papers collected in this book cover a wide range of topics in asymptotic statistics. In particular up-to-date-information is presented in detection of systematic changes, in series of observation, in robust regression analysis, in numerical empirical processes and in related areas of actuarial sciences and mathematical programming. The emphasis is on theoretical contributions with impact on statistical methods employed in the analysis of experiments and observations by biometricians, econometricians and engineers.

Author: Ramon López de Mántaras
Publisher: IOS Press
ISBN: 9781586034528
Category : Artificial intelligence
Languages : en
Pages : 1184

View

Book Description
This is the Golden Age for Artificial Intelligence. The world is becoming increasingly automated and wired together. This also increases the opportunities for AI to help people and commerce. Almost every sub field of AI had now been used in substantial applications. Some of the fields highlighted in this publication are: CBR Technology; Model Based Systems; Data Mining and Natural Language Techniques. Not only does this publication show the activities, capabilities and accomplishments of the sub fields, it also focuses on what is happening across the field as a whole.

Author: Rui Neves-Silva
Publisher: Springer
ISBN: 3319198572
Category : Technology & Engineering
Languages : en
Pages : 664

View

Book Description
This book presents the 57 papers accepted for presentation at the Seventh KES International Conference on Intelligent Decision Technologies (KES-IDT 2015), held in Sorrento, Italy, in June 2015. The conference consists of keynote talks, oral and poster presentations, invited sessions and workshops on the applications and theory of intelligent decision systems and related areas. The conference provides an opportunity for the presentation and discussion of interesting new research results, promoting knowledge transfer and the generation of new ideas. The book will be of interest to all those whose work involves the development and application of intelligent decision systems.

Author: Thierry Vieville
Publisher: Springer Science & Business Media
ISBN: 3642608426
Category : Technology & Engineering
Languages : en
Pages : 251

View

Book Description
T. Viéville: A Few Steps Towards 3D Active Vision appears as Vol. 33 in the Springer Series in Information Sciences. A specific problem in the field of active vision is analyzed, namely how suitable is it to explicitly use 3D visual cues in a reactive visual task? The author has collected a set of studies on this subject and has used these experimental and theoretical developments to propose a synthetic view on the problem, completed by some specific experiments. With this book scientists and graduate students will have a complete set of methods, algorithms, and experiments to introduce 3D visual cues in active visual perception mechanisms, e.g. autocalibration of visual sensors on robotic heads and mobile robots. Analogies with biological visual systems provide an easy introduction to this subject.

Author: Manton Matthews
Publisher: CRC Press
ISBN: 100067455X
Category : Technology & Engineering
Languages : en
Pages : 516

View

Book Description
This book presents the Proceedings of the Tenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, focusing on the theoretical aspects of intelligent systems research as well as extensions of theory of intelligent thinking machines.