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

by Michael Wooldridge (editor)

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 A logic for agents embedded in the real world.- Time, knowledge, and choice.- Learning routines.- Conflict detection and resolution in collaborative planning.- Games servers 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.- An implementation of motivated agency.- The architecture of an agent building shell.- 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_ A toolkit for exploring agent designs.- Agent theories, architectures, and A bibliography.

464 pages, Paperback

First published January 17, 1996