Walt Truszkowski

Diana F. Gordon-Spears

Christopher Rouff

Michael Hinchey

James Rash

The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS '00, '02 & '04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.

Agent Technology from a Formal Perspective

Mike Hinchey

Chris Rouff

This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16–18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA. Over the past few years, agent technologyhas emerged as a powerful force in computing. Agent technology may well form the foundation for the next gen- ation of computing systems. New and innovative agent concepts and techniques may bring further developments to this exploding area of research. Such work is often strongly inspired by theoretical or empirical studies of human behavior, social intelligence, psychology, arts, biology, computer science and philosophy. Thisworkshopaimedatbringingtogether,inaninterdisciplinaryevent,or- inal thinkers, practitioners and academics with an interest in radical (very - novative) concepts for agent-based systems. The workshop provided a forum to present the latest research?ndings in many aspects of agent technology. The - ganizers welcomed participation by those working in agent architectures, agent communities, agent communications, agent modeling, agent applications and other agent-related areas. We were particularly seeking papers on novel and - novative ideas, pushing the envelope of current agent technology. Contributions without a prototype or working system, i.e., purely conceptual contributions, were welcomed, and ”out-of-the-box” thinkers were especially encouraged to participate. The workshop was structured so as to allow the participants adequate time for discussion and interaction, to exchange ideas and re?ect on the motivations, scienti?c grounds and practical consequences of the concepts presented.

First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Innovative Concepts for Agent-Based Systems

Karin Breitman

Marco Antonio Casanova

The Web is growing at an astounding pace surpassing the 8 billion page mark. However, most pages are still designed for human consumption and cannot be processed by machines. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web Services and software agents) to more formal aspects (logic and inference). It includes: real-world (and complete) examples of the application of Semantic Web concepts; how the technology presented and discussed throughout the book can be extended to other application areas.

Semantic Web: Concepts, Technologies and Applications

James L. Rash

Christopher A. Rouff

Michael G. Hinchey

Patricia Rago

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD, USA in September 2005. The 27 full papers presented are fully revised to incorporate reviewers' comments and discussions at the workshop. Topics addressed are social aspects of agents, agent architectures, autonomic systems, agent communities, and agent intelligence.

Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers

Innovative Concepts for Autonomic and Agent-Based Systems

Walt Truszkowski

Books

Your next favorite book is out there