Author: A. G. Cohn
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 856
Get Book
Book Description
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
Author: A. G. Cohn
Publisher:
ISBN:
Category :
Languages : en
Pages : 832
Get Book
Book Description
Author: European Conference on Artificial Life Staff
Publisher:
ISBN: 9780608009889
Category :
Languages : en
Pages : 848
Get Book
Book Description
Author: Michael J. Wooldridge
Publisher: Springer Science & Business Media
ISBN: 9783540588559
Category : Computers
Languages : en
Pages : 1144
Get Book
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: Asko Riitahuhta
Publisher: Springer
ISBN: 0387349251
Category : Computers
Languages : en
Pages : 296
Get Book
Book Description
Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
Author: Michael Jampel
Publisher: Springer Science & Business Media
ISBN: 9783540614791
Category : Computers
Languages : en
Pages : 58
Get Book
Book Description
This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.
Author: Denis Bouyssou
Publisher: John Wiley & Sons
ISBN: 1118619528
Category : Business & Economics
Languages : en
Pages : 671
Get Book
Book Description
This book provides an overview of the main methods and results in the formal study of the human decision-making process, as defined in a relatively wide sense. A key aim of the approach contained here is to try to break down barriers between various disciplines encompassed by this field, including psychology, economics and computer science. All these approaches have contributed to progress in this very important and much-studied topic in the past, but none have proved sufficient so far to define a complete understanding of the highly complex processes and outcomes. This book provides the reader with state-of-the-art coverage of the field, essentially forming a roadmap to the field of decision analysis. The first part of the book is devoted to basic concepts and techniques for representing and solving decision problems, ranging from operational research to artificial intelligence. Later chapters provide an extensive overview of the decision-making process under conditions of risk and uncertainty. Finally, there are chapters covering various approaches to multi-criteria decision-making. Each chapter is written by experts in the topic concerned, and contains an extensive bibliography for further reading and reference.
Author: Antonis C. Kakas
Publisher: Springer
ISBN: 3540456325
Category : Computers
Languages : en
Pages : 628
Get Book
Book Description
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.
Author: Luc Steels
Publisher: Springer Science & Business Media
ISBN: 9783540584872
Category : Computers
Languages : en
Pages : 438
Get Book
Book Description
In the last few years rapid advances have been made in reproductive medicine, making it necessary for those involved to regularly update their knowledge. The purpose of this book is to describe the state of the art in this field, making it possible for the reader to gain an orientation among all the diagnostic and therapeutic potentials of modern reproductive medicine in order to advise patients fully. Chapters from the fields of gynecology, and reproductive medicine in a specific sense provide knowledge about these subjects. Authors of international standing have contributed chapters on their specialties. These chapters together form a book describing the state of the art in the diagnosis and therapy of sterility in gynecology and andrology.
Author: Christophe Lecoutre
Publisher: John Wiley & Sons
ISBN: 1118617916
Category : Computers
Languages : en
Pages : 461
Get Book
Book Description
A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem to be solved or the type of constraints involved, making it an extremely user-friendly resource for those involved in this field.
