This carefully arranged book is mainly based on work done by the Intelligent Systems Research Group at BT Laboratories, essentially in cooperation with internationally leading scientists from outside BT. It opens with a detailed introduction surveying the area and putting the work presented in context. Conceptual issues surrounding intelligent agents and multi-agent systems are investigated and the practical and industrial applicability of this exciting new technology is demonstrated. One section is devoted to the rationale, philosophy, and techniques of the emerging area of soft computing. The final section outlines the broader context in dealing with machine intelligence in general and intelligent software systems in particular.

The Internet is revolutionizing retail merchandising and shopping. Software agents are capable of automating the more routine, tedious and time-consuming tasks involved in the trading process. Internet Commerce and Software Agents: Cases, Technologies and Opportunities addresses some major Internet commerce issues and the challenges to be met in achieving automated and secure Internet trading.

Agent technology has recently become one of the most vibrant and fastest growing areas in information technology. This is the first systematic introduction to software agents with the goal of exploiting them in future communication systems. The coherently written chapters provide complementary coverage of the relevant issues. Multi-agent systems and mobile agent approaches are presented and applied to important topics in future communication systems.

This book provides an overview of multi-agent systems and several applications that have been developed for real-world problems. Multi-agent systems is an area of distributed artificial intelligence that emphasizes the joint behaviors of agents with some degree of autonomy and the complexities arising from their interactions. Multi-agent systems allow the subproblems of a constraint satisfaction problem to be subcontracted to different problem solving agents with their own interest and goals. This increases the speed, creates parallelism and reduces the risk of system collapse on a single point of failure. Different multi-agent architectures, that are tailor-made for a specific application are possible. They are able to synergistically combine the various computational intelligent techniques for attaining a superior performance. This gives an opportunity for bringing the advantages of various techniques into a single framework. It also provides the freedom to model the behavior of the system to be as competitive or coordinating, each having its own advantages and disadvantages.

The Database and Expert Systems Applications (DEXA) conferences bring together researchers and practitioners from all over the world to exchange ideas, experiences and opinions in a friendly and stimulating environment. The papers are at once a record of what has been achieved and the first steps towards shaping the future of information systems. DEXA covers a broad field, and all aspects of database, knowledge base and related technologies and their applications are represented. Once again there were a good number of submissions: 241 papers were submitted and of these the programme committee selected 103 to be presented. DEXA’99 took place in Florence and was the tenth conference in the series, following events in Vienna, Berlin, Valencia, Prague, Athens, London, Zurich, Toulouse and Vienna. The decade has seen many developments in the areas covered by DEXA, developments in which DEXA has played its part. I would like to express thanks to all the institutions which have actively supported and made possible this conference, namely: • University of Florence, Italy • IDG CNR, Italy • FAW – University of Linz, Austria • Austrian Computer Society • DEXA Association In addition, we must thank all the people who have contributed their time and effort to make the conference possible. Special thanks go to Maria Schweikert (Technical University of Vienna), M. Neubauer and G. Wagner (FAW, University of Linz). We must also thank all the members of the programme committee, whose careful reviews are important to the quality of the conference.

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.