Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance. More...

In the last thirty years the researchers involved in the design of smart systems have continuously provided methodologies and technologies t...

This book is the seventh in the successful line of Intelligent Agents volumes published in LNAI. It is based on the seventh workshop on Agen...

Future software will not merely respond to requests for information, but will anticipate the user's needs and actively seek ways to support ...

This book, along with its companion volume, discusses the research needs, institutional modifications, and legislative changes that must be ...

Peer-to-peer (P2P) computing is currently attracting enormous public attention, spurred by the popularity of file-sharing systems such as Na...

This book aims to stimulate and promote the wide-ranging aspects of green chemistry and its major role in ensuring sustainable development. ...

This self-contained book provides three fundamental and generic approaches (logical, probabilistic, and modal) to representing and reasoning...