TY - BOOK AU - Dastani,Mehdi M. AU - Dix,Jürgen AU - El Fallah-Seghrouchni,Amal ED - SpringerLink (Online service) TI - Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers T2 - Lecture Notes in Computer Science, SN - 9783540259367 AV - Q334-342 U1 - 006.3 23 PY - 2004/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Software Engineering KW - Logics and Meanings of Programs KW - Programming Languages, Compilers, Interpreters N1 - Section I: Programming Multiagent Systems -- A Vision for Multi-agent Systems Programming -- Implementing Industrial Multi-agent Systems Using JACKTM -- Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective -- Section II: Languages for Multiagent Systems -- Verifiable Multi-agent Programs -- CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents -- A Programming Language for Cognitive Agents Goal Directed 3APL -- Section III: Principles and Tools for Multiagent Systems -- Team Oriented Programming and Proxy Agents: The Next Generation -- Developing Agent Interaction Protocols Using Graphical and Logical Methodologies -- Norm Adoption and Consistency in the NoA Agent Architecture -- A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems -- SPACE: A Method to Increase Tracability in MAS Development N2 - Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm. This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Programming of the First International Workshop on Programming Multi-Agent Systems, PROMAS 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. Besides 8 workshop papers, the volume contains 3 invited papers to complete coverage of the relevant aspects. The papers are organized in topical sections on programming multi-agent systems, languages for multi-agent systems, and principles and tools for multi-agent systems UR - http://dx.doi.org/10.1007/b98149 ER -