Intelligent Agents II: Agent Theories, Architectures, and Languages IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings

This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995.
The 26 papers are revised final versions of the workshop presentations selected from a total of 54 submissions; also included is a comprehensive introduction, a detailed bibliography listing 355 relevant publications, and a subject index. The book is structured into seven sections, reflecting the most current major directions in agent-related research. Together with its predecessor, Intelligent Agents, published as volume 890 in the LNAI series, this book provides a timely and comprehensive state-of-the-art report.

The rights of agents.- Formalising motivational attitudes of agents.- Decision procedures for prepositional linear-time belief-desire-intention logics.- Semantical considerations on some primitives for agent specification.- Reasoning about acting, sensing and failure handling: A logic for agents embedded in the real world.- Time, knowledge, and choice.- Learning routines.- Conflict detection and resolution in collaborative planning.- Games servers play: A procedural approach.- On reasoning about other agents.- Architectures for agents that track other agents in multi-agent worlds.- Using recursive agent models effectively.- Experiences with an architecture for intelligent, reactive agents.- A pragmatic BDI architecture.- Alarms: An implementation of motivated agency.- The architecture of an agent building shell.- MIX: A general purpose multiagent architecture.- Cognition based multi-agent architecture.- Some issues in the design of market-oriented agents.- Cooperating logical agents.- Open reflective agents.- Foundations of a logical approach to agent programming.- Evaluation of KQML as an agent communication language.- Consistency and context management in a multi-agent belief revision testbed.- A markovian model for interaction among behavior-based agents.- SIM_AGENT: A toolkit for exploring agent designs.- Agent theories, architectures, and languages: A bibliography.