You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Provides a unified, coherent account of machine interaction at the level of the machine designers (the society of designers) and the level of the machine interaction itself (the resulting artificial society). Rules of Encounter applies the general approach and the mathematical tools of game theory in a formal analysis of rules (or protocols) governing the high-level behavior of interacting heterogeneous computer systems. It describes a theory of high-level protocol design that can be used to constrain manipulation and harness the potential of automated negotiation and coordination strategies to attain more effective interaction among machines that have been programmed by different entities t...
This book offers state-of-the-art developments in the collision and grounding of ship and offshore structures. The topics covered by the contributions include: dynamics of vessels in collision and grounding; collision and grounding in Arctic conditions; collision and grounding statistics and measures of the probability of incidents; risk assessment of collision and grounding; measures for reduction of collision and grounding, machine learning methods for the evaluation of probabilistic collision and grounding risk; new designs for improvement of structural resistance to collisions; analysis of ultimate strength of damaged ship structures; design of buffer bows to reduce collision consequence...
This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in March 1999. The 51 revised full papers presented were selected from a total of 146 submissions. Also included are three invited papers. The volume is divided in topical sections on complexity, parallel algorithms, computational geometry, algorithms and data structures, automata and formal languages, verification, algorithmic learning, and logic in computer science.
In this book we present a collection of papers around the topic of Agent-Mediated Electronic Commerce. Most of the papers originate from the third workshop on Agent{Mediated Electronic Commerce held in conjunction with the Autonomous Agents conference in June 2000. After two previous workshops, one during the Autonomous Agents conference in 1998 in Minneapolis and the second one in conjunction with the International Joint Conference On Arti cial Intelligence in 1999, this workshop continued the tradition of the previous ones by setting the scene for the assessment of the challenges that Agent-Mediated Electronic Commerce faces as well as the opportunities it creates. By focusing on age- medi...
This book constitutes the refereed proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002, held in Tokyo, Japan in August 2002. The 57 revised full papers presented together with 5 invited contributions and 26 posters were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on logic and AI foundations, representation and reasoning of actions, constraint satisfaction, foundations of agents, foundations of learning, reinforcement learning, knowledge acquisition and management, data mining and knowledge discovery, neural network learning, learning for robots, multi-agent applications, document analysis, Web intelligence, bioinformatics, intelligent learning environments, face recognition, and multimedia and emotion.
A systematic and powerful method for organizing and accessing business knowledge.
Software -- Programming Languages.
This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on “Agent Theories, Architectures, and L- guages” have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci?cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the...
This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy. The book opens with an introductory survey by the volume editors not only on the collection of papers but also on the history and present situation of Distributed Artificial Intelligence (DAI) and its interdisciplinary relations to social sciences, artificial life, and economics. The 19 technical papers are organized into sections on artificial life and reactive systems, economics and game theory, coordination and multi-agent planning, and DAI tools and applications.
Intelligent agent and distributed AI (DAI) approaches attach specific conditions to cooperative exchanges between intelligent systems, that go far beyond simple functional interoperability. Ideally, systems that pursue local or global goals, coordinate their actions, share knowledge, and resolve conflicts during their interactions within groups of similar or dissimilar agents can be viewed as cooperative coarse-grained systems. The infrastructure of telecommunications is a world in transition. There are a number of trends that contribute to this: convergence of traditional telephony and data network worlds, blurring of boundaries between public and private networks, complementary evolution o...