TY  - BOOK
AU  - 
AU  - 
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Programming Multi-Agent Systems: 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540790433
AV  - Q334-342 
U1  - 006.3 23
PY  - 2008///
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  - Invited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods -- The Goal Oriented Teams (GORITE) Framework -- Regular Papers -- Agents Do It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions -- Interoperability for Bayesian Agents in the Semantic Web -- The A&A Programming Model and Technology for Developing Agent Environments in MAS -- A Practical Agent Programming Language -- A Common Semantic Basis for BDI Languages -- Adding Structure to Agent Programming Languages -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL -- Specifying and Verifying a MAS:The Robots on Mars Case Study -- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs -- Hybrid Multiagent Systems with Timed Synchronization  Specification and Model Checking -- Agent Contest Competition -- Agent Contest Competition: 3rd Edition -- Developing a Team of Gold Miners Using Jason -- Going for Gold with 2APL -- Collecting Gold -- JIAC IV in Multi-Agent Programming Contest 2007 -- An Agent Team Based on FLUX for the ProMAS Contest 2007; ZDB-2-SCS; ZDB-2-LNC
UR  - http://dx.doi.org/10.1007/978-3-540-79043-3
ER  -