Page 2
Page 2
Agent-oriented software engineering VI ; 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and 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 and e-Health
Multi-agent systems are one of the most exciting research areas in Artificial Intelligence. This book reports on the results achieved in this area, discusses the benefits (and drawbacks) that agent-based systems may bring to medical domains and society.
Advances in Learning Classifier Systems ; 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers
The Fourth International Workshop on Learning Classifier Systems (IWLCS2001) was held July 7-8, 2001, in San Francisco, California, during the Geneticand Evolutionary Computation Conference (GECCO 2001). We have includedin this volume revised and extended versions of eleven of the papers presentedat the workshop.The volume is organized into two main parts. The first is dedicated to importanttheoretical issues of learning classifier systems research including the influenceof exploration strategy, a model of self-adaptive classifier systems, and the useof classifier systems for social simulation. The second part contains papers dis-cussing applications of learning classifier systems such as data mining, stocktrading, and power distribution networks.An appendix contains a paper presenting a formal description of ACS, a rapidlyemerging learning classifier system model.
Advances in Artificial Intelligence ; 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002 Calgary, Canada, May 27-29, 2002 Proceedings
The AI conference series is the premier event sponsored by the Canadian - ciety for the Computational Studies of Intelligence / Soci´et´e canadienne pour l’´etude d’intelligence par ordinateur. Attendees enjoy our typically Canadian - mosphere –hospitable and stimulating. The Canadian AI conference showcases the excellent research work done by Canadians, their international colleagues, and others choosing to join us each spring. International participation is always high; this year almost 40% of the submitted papers were from non-Canadian - searchers. We accepted 24 papers and 8 poster papers from 52 full-length papers submitted. We also accepted eight of ten abstracts submitted to the Graduate Student Symposium. All of these accepted papers appear in this volume.
Advanced Autonomic Networking and Communication
This book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication.
